synacktiv / toy-wasm-symbexpLinks
A toy symbolic execution engine, supporting the blog article ...
☆18Updated 4 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
Sorting:
- Formalization of Typed Assembly Language (TAL) in Coq☆18Updated last year
- A linter for Soufflé Datalog☆16Updated last year
- Genetic program repair using GHC☆33Updated last year
- Stratified synthesis for learning machine code instruction semantics☆38Updated 2 months ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Updated 2 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Updated 4 years ago
- Haskell implementation of P4F Control-Flow Analysis☆21Updated 3 years ago
- Parser for the llvm bitcode format☆60Updated last week
- A formally verified bug finder☆13Updated last year
- Program analysis grad seminar at SU (2019)☆57Updated 5 years ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆55Updated 10 months ago
- A library for binary analysis and rewriting☆49Updated 2 years ago
- Sturdy is a library for developing sound static analyses in Haskell.☆62Updated 2 years ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Updated 9 months ago
- A tool for translating imperative programs to CSP.☆13Updated 8 years ago
- CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive program…☆19Updated 4 years ago
- Experimental MLIR based points-to analysis tool☆17Updated last week
- CodeHawk Abstract Interpretation Engine and Analyzers☆71Updated last week
- Staged Abstract Interpreters☆68Updated 2 years ago
- CS410 "Advanced Functional Programming"☆27Updated 6 months ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆77Updated last week
- A library for disassembling x86-64 binaries.☆44Updated 7 months ago
- ☆53Updated last month
- Pretty printer for LLVM AST to Textual IR☆70Updated 5 months ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆17Updated 2 years ago
- Symbolic execution engine for toy language.☆51Updated 7 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 7 years ago
- Incremental Program Analysis Framework☆93Updated 4 years ago
- GoNative project: formal machines models in Coq☆36Updated 8 years ago
- An SMT Solver for string constraints☆47Updated last week