angr / pysoot
Python bindings for Shimple/Jimple IR from Soot.
☆42Updated last month
Alternatives and similar repositories for pysoot:
Users that are interested in pysoot are comparing it to the libraries listed below
- COVA - A static analysis tool to compute path conditions☆32Updated 2 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 9 months ago
- Hybrid Interface Aware Fuzz for Android Kernel Drivers☆31Updated 3 years ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆120Updated 3 years ago
- ☆89Updated 2 years ago
- Modular And Compositional analysis with KLEE Engine☆114Updated 5 years ago
- Bug hunting through fuzzer/*-sanitizer/etc...☆132Updated 4 years ago
- Material and examples for a presentation on static binary analysis.☆41Updated 3 years ago
- Corpus set used by DIE☆39Updated 4 years ago
- ☆103Updated last year
- FANS: Fuzzing Android Native System Services☆248Updated 4 years ago
- aurora-d☆20Updated 2 years ago
- A new type of js fuzzer☆26Updated 5 years ago
- Advanced file format fuzzer based-on deep neural language models.☆41Updated last year
- Code Property Graph (CPG) frontend for binary applications and libraries.☆86Updated 3 years ago
- Tool to trace ARM Cortex-M assembly instructions and extract arguments to configuration APIs (supervisor calls or function calls).☆28Updated 3 years ago
- Sloth 🦥 is a coverage guided fuzzing framework for fuzzing Android Native libraries that makes use of libFuzzer and QEMU user-mode emula…☆121Updated last year
- Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app☆42Updated 4 years ago
- Recover mutation graph from an AFL seed☆59Updated 4 years ago
- This is the project of LearnAFL.☆27Updated 4 years ago
- Source-binary patch presence test system.☆27Updated 4 years ago
- fuzzing + concolic = fuzzolic :)☆119Updated 8 months ago
- AFLplusplus + libprotobuf-mutator☆55Updated 2 years ago
- A collection of user-space Linux kernel specific guided fuzzers based on LKL☆77Updated 6 months ago
- ☆93Updated 4 years ago
- Source code of MEUZZ fuzzer☆44Updated 3 years ago
- IoT Security Papers☆48Updated 5 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆98Updated 2 years ago
- Fuzz testing on JavaScriptCore and WebAssembly in WebKit☆4Updated 4 years ago
- A Coverage-Based fuzzing tools☆23Updated 3 years ago