yellowbyte / opaque-predicates-detective
An approach to detect opaque predicates by identifying the damage caused by the obfuscation.
☆27Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for opaque-predicates-detective
- Binary Ninja plugin for visualizing coverage over time☆25Updated 2 years ago
- ☆30Updated 4 years ago
- ☆17Updated 2 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆51Updated 5 years ago
- Python based angr plug in for IDA Pro.☆34Updated 6 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 6 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 3 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- Signedness-Agnostic Strided-Interval☆35Updated 5 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- ☆38Updated 2 years ago
- A framework provides an interface to monitor and control fuzzers☆31Updated last year
- A stateful fuzzing engine.☆46Updated 6 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago
- QEMU to drcov trace file☆11Updated 4 years ago
- ☆31Updated 4 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 years ago
- Files for my solution to the SSTIC 2021 challenge☆15Updated 3 years ago
- ☆46Updated 2 years ago
- Futile attempt to solve the Tigress challenges using angr☆22Updated 5 years ago
- Slow llvm tracing for the masses☆14Updated 4 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 5 years ago
- ROP Benchmark is a tool to compare ROP compilers☆39Updated last year