aspire-fp7 / framework
The central ASPIRE framework repository, start here if you want to use our tools (this contains all tools and documentation)
☆12Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for framework
- suite of binaries used to test function identification☆28Updated 7 years ago
- ☆30Updated 4 years ago
- KLEE-TAINT - Klee with taint analysis support☆72Updated 7 years ago
- Tutorial for Building Program Reasoning Tools using LLVM and Z3☆19Updated 4 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 5 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆13Updated 2 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆27Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Inspector-gadget (a.k.a. PSHAPE - Practical Support for Half-Automated Program Exploitation) is an open source tool which assists analyst…☆23Updated 4 years ago
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- ☆9Updated 5 years ago
- ☆39Updated 3 years ago
- Pretty printer from GTIRB to assembly code☆48Updated last month
- Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks☆46Updated 7 years ago
- Concolic Execution Fuzzer☆24Updated 3 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- REIL translation library☆36Updated 8 years ago
- Interactive Control Flow Graph Visualization.☆31Updated 3 years ago
- ☆42Updated 2 years ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆27Updated 3 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆45Updated 4 years ago
- Build your emulation environment as needed☆64Updated 3 years ago
- Dominator Tree LLVM Pass to Test Satisfiability☆47Updated 8 years ago
- Vine: The BitBlaze Static Analysis Component☆24Updated 10 years ago
- A blanked execution framework based on the Unicorn engine☆18Updated 7 years ago
- Evaluation of two binary mutation engines based on ddisasm and rev.ng☆18Updated 2 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago