Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code
☆50Jan 19, 2016Updated 10 years ago
Alternatives and similar repositories for loop
Users that are interested in loop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Android port of the general purpose honggfuzz fuzzer☆19Aug 20, 2015Updated 11 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆23Jul 30, 2016Updated 10 years ago
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 8 years ago
- ☆18Sep 22, 2017Updated 9 years ago
- Experimental opaque predicate detection for IDA Pro☆83Dec 22, 2017Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Infrastructure for Reassembleable Disassembling and Transformation☆219Oct 9, 2026Updated 3 weeks ago
- Symbolic Simplification with PAttern Matching☆108Feb 22, 2017Updated 9 years ago
- ☆21Oct 2, 2018Updated 8 years ago
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆344Jan 4, 2024Updated 2 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Aug 3, 2020Updated 6 years ago
- A set of programs used for benchmarking the strength of obfuscation☆100Feb 25, 2018Updated 8 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆11Aug 3, 2017Updated 9 years ago
- Bootloader research tools (very much a work in progress)☆37Apr 5, 2019Updated 7 years ago
- An Obfuscation Approach using Probabilistic Control Flows☆31Jan 18, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- TaintAll, a taint analysis and concolic execution tool☆32Jan 2, 2017Updated 9 years ago
- Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"☆322Jun 11, 2020Updated 6 years ago
- Design documents related to the decompilation pipeline.☆30Aug 25, 2025Updated last year
- Linux group_info refcounter overflow use afer free☆13May 4, 2014Updated 12 years ago
- MapGuard is a library that enforces a security policy for mmap based page allocations.☆21Dec 14, 2025Updated 10 months ago
- An OsmocomBB clone with additional sniffing features☆12Dec 29, 2018Updated 7 years ago
- DEPRECATED avatar-panda repository; please use https://github.com/panda-re/panda☆13Mar 19, 2021Updated 5 years ago
- Plugin for IDA Pro to convert assembler to LLVM IR☆20Nov 15, 2016Updated 9 years ago
- Code from MSc thesis on combining learning and fuzzing☆20Jul 30, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Modified Nexus 9 kernel for Kenali Project☆30Aug 5, 2019Updated 7 years ago
- IDAPython compatibility library. idasix aims to create a smooth ida development process and allow a single codebase to function with mult…☆25Aug 2, 2018Updated 8 years ago
- A blanket execution/min hash semantic hash tool for binary function identification☆19Apr 22, 2016Updated 10 years ago
- QEmu backend for avatar²☆23Mar 29, 2025Updated last year
- obfuscation that aims to not stand out☆22Mar 27, 2022Updated 4 years ago
- Basic x86 Symbolic Execution for educational purposes☆18May 8, 2017Updated 9 years ago
- Binary Ninja plugin for ROP gadget calculation☆28Jul 6, 2019Updated 7 years ago
- Diablo is a retargetable link-time binary rewriting framework☆83Dec 21, 2020Updated 5 years ago
- Use cpp-httplib with mbedtls☆15Feb 20, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆183Nov 25, 2018Updated 7 years ago
- Fuzzing framework written in OCaml☆33Aug 23, 2016Updated 10 years ago
- A Generalized Dynamic Opaque Predicate Obfuscator☆43Sep 7, 2016Updated 10 years ago
- Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.☆33Oct 1, 2014Updated 12 years ago
- The dataset used in the experiments for Esh (http://binsim.com)☆21Sep 8, 2016Updated 10 years ago
- Processes and metrics for assessing obfuscation effectiveness☆55Jan 26, 2017Updated 9 years ago
- ART☆17Aug 4, 2017Updated 9 years ago