csienslab-PCC / PathConstraintClassifier
☆9Updated 6 years ago
Alternatives and similar repositories for PathConstraintClassifier:
Users that are interested in PathConstraintClassifier are comparing it to the libraries listed below
- The Binary Mutation code based on Uroboros☆14Updated 6 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 5 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆21Updated 4 years ago
- Version of Binnavi used for the thesis "Finding the needle in the heap : combining binary analysis techniques to trigger use-after-free"☆10Updated 6 years ago
- ☆14Updated 2 years ago
- Concolic Execution Fuzzer☆24Updated 3 years ago
- A stateful fuzzing engine.☆46Updated 6 years ago
- Symbolic debugging tool using JonathanSalwan/Triton☆25Updated 6 years ago
- Malware analysis tool based on taint analysis.☆14Updated 3 years ago
- ☆18Updated 3 years ago
- A introductory workshop to getting started with fuzzing using american fuzzy lop (AFL)☆22Updated 5 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- Simulate afl-fuzz☆16Updated 5 years ago
- keynote I gave at GreHack 2019☆18Updated 5 years ago
- QEMU to drcov trace file☆11Updated 4 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆18Updated 3 years ago
- PoC for the taint-based ROP approach☆13Updated last year
- Kernel Cache Decryption for iOS☆14Updated 3 years ago
- Code for my blog post on using S2E for malware analysis☆25Updated 5 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- collection of used Tools for CTFs☆15Updated 3 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated last year
- Code Coverage client for DynamoRIO☆12Updated 6 years ago
- Signedness-Agnostic Strided-Interval☆35Updated 5 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Updated 2 years ago
- Ditto.☆17Updated 4 years ago
- ☆16Updated 4 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago