csienslab-PCC / PathConstraintClassifierLinks
☆9Updated 6 years ago
Alternatives and similar repositories for PathConstraintClassifier
Users that are interested in PathConstraintClassifier are comparing it to the libraries listed below
Sorting:
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- The Binary Mutation code based on Uroboros☆14Updated 6 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Updated 4 years ago
- ☆11Updated 6 years ago
- A stateful fuzzing engine.☆45Updated 6 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 7 years ago
- Malware analysis tool based on taint analysis.☆14Updated 3 years ago
- ☆22Updated 7 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 5 years ago
- CVE-2018-4330 POC for iOS☆18Updated 6 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆17Updated 3 years ago
- A introductory workshop to getting started with fuzzing using american fuzzy lop (AFL)☆23Updated 5 years ago
- Code for my blog post on using S2E for malware analysis☆25Updated 5 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Updated 5 years ago
- Symbolic debugging tool using JonathanSalwan/Triton☆25Updated 6 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆30Updated 7 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- ☆31Updated 4 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆20Updated 5 years ago
- ☆18Updated 3 years ago
- expansion of afl-unicorn using c++☆28Updated 5 years ago
- IDAPython compatibility library. idasix aims to create a smooth ida development process and allow a single codebase to function with mult…☆25Updated 6 years ago
- ROP Payload Compiler☆11Updated 8 years ago
- PoC for the taint-based ROP approach☆14Updated last year
- everyone can fuzz h2☆24Updated 6 years ago
- QuickPatch: A patching tool☆13Updated 5 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆19Updated 2 years ago
- keynote I gave at GreHack 2019☆18Updated 5 years ago
- Ghidra loader module for the Mobicore trustlet and driver binaries☆27Updated 5 years ago
- Exploits for YARA 3.7.1 & 3.8.1☆31Updated 6 years ago