kristerw / pysmtgcc
Some experiments with SMT solvers and GIMPLE IR
☆36Updated last year
Alternatives and similar repositories for pysmtgcc:
Users that are interested in pysmtgcc are comparing it to the libraries listed below
- llvm opt fuzzer and bounded exhaustive test generator☆39Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Decompose source code into templates and fragments for any language.☆21Updated 2 years ago
- UB-aware interpreter for LLVM debugging☆26Updated 2 weeks ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated 2 months ago
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 5 years ago
- ☆22Updated 3 months ago
- ALLVM Tools☆56Updated 2 years ago
- A verification tool for many memory models☆83Updated this week
- ☆13Updated 6 years ago
- The website for freeCompilerCamp's classroom tutorials, using Github Pages.☆32Updated 3 years ago
- Generic model checker for concurrent C programs (mirror repository)☆141Updated 2 weeks ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 6 months ago
- Pure-Rust libraries for parsing, interpreting, and analyzing LLVM☆80Updated last year
- Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was …☆139Updated 4 years ago
- ☆16Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Floating-Point Scalar Evolution☆12Updated 5 years ago
- ☆28Updated 5 years ago
- A Simple Abstract Interpreter, built for teaching purposes☆18Updated 4 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- Lower Size Bounds for Sorting Networks☆44Updated 4 years ago
- A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …☆15Updated 6 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated last week
- Symbolic execution tool for Sail ISA specifications☆66Updated last month
- Example implementation of Arm's Architecture Specification Language (ASL)☆115Updated 5 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- ☆86Updated 2 years ago
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago