synacktiv / toy-wasm-symbexp
A toy symbolic execution engine, supporting the blog article ...
☆17Updated 3 years ago
Alternatives and similar repositories for toy-wasm-symbexp:
Users that are interested in toy-wasm-symbexp are comparing it to the libraries listed below
- Genetic program repair using GHC☆30Updated 11 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆66Updated last month
- Parser for the llvm bitcode format☆59Updated last month
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 2 years ago
- A library for binary analysis and rewriting☆47Updated last year
- A linter for Soufflé Datalog☆14Updated last year
- Experimental MLIR based points-to analysis tool☆16Updated last week
- Formalization of Typed Assembly Language (TAL) in Coq☆17Updated last year
- An SMT Solver for string constraints☆38Updated last month
- Stratified synthesis for learning machine code instruction semantics☆36Updated 8 months ago
- Verified, Incremental, Binary Editing with Synthesis☆54Updated 2 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆67Updated 3 weeks ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆67Updated this week
- ☆47Updated 2 months ago
- Sturdy is a library for developing sound static analyses in Haskell.☆61Updated last year
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Updated 2 years ago
- Formalization of C++ for verification purposes.☆80Updated this week
- A high-performance, parallel, compilation-based symbolic execution engine☆129Updated this week
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Updated 7 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated 3 months ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆18Updated 4 years ago
- GoNative project: formal machines models in Coq☆36Updated 7 years ago
- A library for disassembling x86-64 binaries.☆41Updated last week
- A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.☆19Updated 3 months ago
- OCaml LLVM bindings tutorial☆21Updated 8 years ago
- Pretty printer for LLVM AST to Textual IR☆68Updated 3 years ago
- Incremental Program Analysis Framework☆90Updated 3 years ago
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆20Updated last year
- Staged Abstract Interpreters☆66Updated 2 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 4 months ago