kripken / Relooper
this repo is deprecated, see the binaryen repo
☆21Updated 4 years ago
Related projects: ⓘ
- Parser for the llvm bitcode format☆59Updated 3 weeks ago
- A library for binary analysis and rewriting☆47Updated 11 months ago
- Program analysis grad seminar at SU (2019)☆57Updated 4 years ago
- The elf-edit library provides a datatype suitable for reading and writing Elf files.☆36Updated last month
- Stratified synthesis for learning machine code instruction semantics☆35Updated last month
- Verified, Incremental, Binary Editing with Synthesis☆46Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 3 years ago
- Universal instruction selection☆12Updated 6 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆53Updated 2 weeks ago
- Generation of mutant programs☆21Updated 5 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 2 years ago
- A tool for testing C compilers automatically☆20Updated 8 years ago
- Linux kernel library functions formally verified.☆48Updated 3 years ago
- Symbolic execution engine for toy language.☆48Updated 6 years ago
- OCaml LLVM bindings tutorial☆22Updated 7 years ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆18Updated 10 months ago
- Automatic inference of a formal specification of the x86_64 instruction set☆65Updated 8 years ago
- Patches Assured up to Trace Equivalence☆15Updated last week
- A library of assemblers and disassemblers derived from LLVM TableGen data☆25Updated last month
- Semantic model for aspects of ELF static linking and DWARF debug information☆42Updated last year
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆14Updated 4 years ago
- Dynamically discover the commands used to create a piece of software☆45Updated 3 months ago
- Match compilation algorithm in OCaml☆23Updated last year
- 😇 Wholly Adaptive LLVM Optimizer☆26Updated 4 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆39Updated last month
- CodeHawk Abstract Interpretation Engine and Analyzers☆54Updated this week
- Extracting high level semantic information from binary code☆62Updated 5 years ago
- Datalog engine with extensions for integrating analyses☆38Updated 6 years ago
- SWORD: A Whole Program Race Detector for Java☆12Updated 3 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆38Updated last year