kripken / Relooper
this repo is deprecated, see the binaryen repo
☆21Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Relooper
- Parser for the llvm bitcode format☆60Updated 2 months ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- Various dominator tree algorithms☆22Updated 4 years ago
- Verified, Incremental, Binary Editing with Synthesis☆51Updated last year
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Updated 5 years ago
- Program analysis grad seminar at SU (2019)☆57Updated 4 years ago
- A library for binary analysis and rewriting☆47Updated last year
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 2 years ago
- Match compilation algorithm in OCaml☆23Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆57Updated 2 weeks ago
- Stratified synthesis for learning machine code instruction semantics☆35Updated 3 months ago
- Patches Assured up to Trace Equivalence☆14Updated this week
- Formally verified implementation of Alive in Lean☆35Updated last year
- A library for disassembling x86-64 binaries.☆37Updated 10 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 2 years ago
- Symbolic execution engine for toy language.☆51Updated 6 years ago
- Implementation of destination-driven code generation with control destinations. See [post.md](post.md)☆24Updated last week
- A tool for testing C compilers automatically☆20Updated 8 years ago
- OCaml LLVM bindings tutorial☆22Updated 7 years ago
- A library of assemblers and disassemblers derived from LLVM TableGen data☆25Updated 3 months ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆63Updated this week
- A Gallina compiler with C++17 as an intermediate representation☆42Updated 3 years ago
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆36Updated 3 months ago
- Generation of mutant programs☆21Updated 6 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Updated 4 years ago
- SSA vs ANF☆41Updated 9 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Updated last year
- ☆17Updated 4 years ago
- Linux kernel library functions formally verified.☆48Updated 3 years ago