Discovering vulnerabilities in firmware through concolic analysis and function c

Python463gpl-3.0

4 years ago

angrexploitfirmware

Symbolic/concolic execution of Android apps

Java53bsd-3-clause

8 years ago

a concolic testing engine for Java

Java94bsd-2-clause

6 years ago

Grey-box Concolic Testing on Binary Code (ICSE '19)

F#143mit

3 years ago

concolic-testingfsharpfuzzer

Discovering vulnerabilities in firmware through concolic analysis and function c

Python463gpl-3.0

4 years ago

angrexploitfirmware

a concolic testing engine for Java

Java94bsd-2-clause

6 years ago

Grey-box Concolic Testing on Binary Code (ICSE '19)

F#143mit

3 years ago

concolic-testingfsharpfuzzer