dynamic-analysis topic

List dynamic-analysis repositories

SecuSphere

47
Stars
6
Forks
Watchers

Efficient DevSecOps

verified publisher icon SecurityUniversalOrg

Dbgereum

24
Stars
3
Forks
Watchers

EVM debugger

verified publisher icon 0x0abd

btergm

16
Stars
10
Forks
Watchers

Temporal Exponential Random Graph Models by Bootstrapped Pseudolikelihood

verified publisher icon leifeld

DLint

35
Stars
1
Forks
Watchers

Runtime checker for JS coding practices

verified publisher icon Berkeley-Correctness-Group

mbsim

41
Stars
16
Forks
Watchers

A multi-body simulation software

verified publisher icon mbsim-env

AndroShield

17
Stars
5
Forks
Watchers

An ASP.NET web application that responsible of detecting and reporting vulnerabilities in android applications by static and dynamic analysis methodologies.

verified publisher icon AmrAshraf

hakbot-origin-controller

29
Stars
18
Forks
Watchers

Vendor-Neutral Security Tool Automation Controller (over REST)

verified publisher icon hakbot

taintflow

17
Stars
4
Forks
Watchers

TaintFlow, a framework for JavaScript dynamic information flow analysis.

verified publisher icon Invizory

dig

39
Stars
6
Forks
Watchers

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

verified publisher icon dynaroars

selogger

32
Stars
7
Forks
Watchers

(Near-)omniscient debugging/tracing/logging tool for Java

verified publisher icon takashi-ishio