Generative-Program-Analysis / GenSym
A high-performance, parallel, compilation-based symbolic execution engine
☆127Updated 2 weeks ago
Alternatives and similar repositories for GenSym:
Users that are interested in GenSym are comparing it to the libraries listed below
- A precise and scalable pointer analysis for LLVM, written in Ascent☆62Updated 2 weeks ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆65Updated this week
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆139Updated 3 weeks ago
- An approximate solver for concolic execution☆17Updated 2 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆164Updated 8 months ago
- LLVM pass☆22Updated 4 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- SLOT: SMT-LLVM Optimizing Translation☆54Updated last year
- CClyzer port to souffle lang☆18Updated last year
- Recent symbolic execution papers and tools.☆152Updated 3 months ago
- ☆54Updated this week
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- A data dependence analyzer for C program☆20Updated 3 years ago
- A Pointer Analysis Framework for Rust☆48Updated 2 weeks ago
- An awesome list of e-graph resources☆126Updated last month
- Staged Abstract Interpreters☆65Updated last year
- A fuzzer for SMT solvers☆19Updated last month
- Public-facing course info for program analysis materials.☆39Updated 2 months ago
- Indexing reachability for context-sensitive data flow analysis.☆11Updated 2 years ago
- Symbolic Program Slicing with LLVM☆77Updated 4 years ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 4 years ago
- TriCera: a model checker for C programs☆24Updated last week
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆32Updated 5 years ago
- Variation of american fuzzy lop for testing compilers☆122Updated 2 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆53Updated 10 months ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆14Updated 5 months ago
- An SMT Solver for string constraints☆37Updated this week