Skip to content
#

dynamic-analysis

Here are 59 public repositories matching this topic...

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).

  • Updated May 14, 2024
  • Python
dig

DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.

  • Updated May 2, 2024
  • Python

Improve this page

Add a description, image, and links to the dynamic-analysis topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the dynamic-analysis topic, visit your repo's landing page and select "manage topics."

Learn more