DIvanov503

Pinned Repositories

BatteryUtilizationAnalysis
Battery utilization analysis implemented in CPAchecker
Language:Java0 0 00
Dat3M
A verification tool for many memory models
Language:Java0 0 00
KiBaM-Solver
A KiBaM solver that allows one to extend Uppaal SMC output with available and bound charge traces and to estimate the battery lifetime.
Language:Java0 0 00
mockoto
Simple C mock generator with Racket bindings
Language:C++0 0 00
owasp-mastg
The Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes the technical processes for verifying the controls listed in the OWASP Mobile Application Security Verification Standard (MASVS).
Language:Python0 0 00
SpreadsheetEditor
A minimalistic spreadsheet editor
Language:Java0 1 00
www-community
OWASP Community Pages are a place where OWASP can accept community contributions for security-related content.
Language:HTML0 0 00
proguard-core
Library to read, write, analyze, and process java bytecode
Language:Java286 20 2565
owasp-mastg
The Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes the technical processes for verifying the controls listed in the OWASP Mobile Application Security Verification Standard (MASVS).
Language:Python11.9k 423 1.2k2.4k
www-community
OWASP Community Pages are a place where OWASP can accept community contributions for security-related content.
Language:HTML1.2k 185 101698

DIvanov503's Repositories

DIvanov503/BatteryUtilizationAnalysis
Battery utilization analysis implemented in CPAchecker
Language:Java0 0 00
DIvanov503/Dat3M
A verification tool for many memory models
Language:Java0 0 00
DIvanov503/KiBaM-Solver
A KiBaM solver that allows one to extend Uppaal SMC output with available and bound charge traces and to estimate the battery lifetime.
Language:Java0 0 00
DIvanov503/mockoto
Simple C mock generator with Racket bindings
Language:C++0 0 00
DIvanov503/owasp-mastg
The Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes the technical processes for verifying the controls listed in the OWASP Mobile Application Security Verification Standard (MASVS).
Language:Python0 0 00
DIvanov503/SpreadsheetEditor
A minimalistic spreadsheet editor
Language:Java0 1 00
DIvanov503/www-community
OWASP Community Pages are a place where OWASP can accept community contributions for security-related content.
Language:HTML0 0 00