kripken / RelooperLinks
this repo is deprecated, see the binaryen repo
☆26Updated 6 years ago
Alternatives and similar repositories for Relooper
Users that are interested in Relooper are comparing it to the libraries listed below
Sorting:
- Parser for the llvm bitcode format☆60Updated this week
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆74Updated this week
- Next-generation JavaScript analysis tooling☆122Updated last month
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 11 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆82Updated this week
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆80Updated last week
- A tool for analyzing x86-64 binaries.☆337Updated last year
- A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…☆218Updated last year
- A high-performance, parallel, compilation-based symbolic execution engine☆143Updated last week
- Simple grammar-based test case generator☆39Updated last week
- DebugIR: Debugging LLVM-IR Files☆145Updated last year
- Scope VM: Javascript Virtual Machine☆40Updated 7 years ago
- Open source binary analysis tools.☆248Updated last week
- An interactive tool for experimenting with LR(1) grammars☆20Updated 4 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Updated 3 years ago
- Extracting high level semantic information from binary code☆67Updated 6 years ago
- The Gillian Platform main repository☆95Updated 2 months ago
- A library for disassembling x86-64 binaries.☆44Updated 9 months ago
- Semantics of x86-64 in K☆168Updated 5 years ago
- Materials for the talk "Python already has a frontend for your compiler" at PiterPy 2023☆21Updated 2 years ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- OCaml LLVM bindings tutorial☆21Updated 8 years ago
- Program Analisys and Transformation survey and links (particular focus on SSA)☆171Updated 4 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- Dynamically discover the commands used to create a piece of software☆58Updated 3 months ago
- A tool for testing C compilers automatically☆21Updated 10 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Updated 3 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆34Updated last year