hephaestus-compiler-project / hephaestusLinks
A framework for testing compilers' type checkers
☆55Updated last year
Alternatives and similar repositories for hephaestus
Users that are interested in hephaestus are comparing it to the libraries listed below
Sorting:
- The ISLa (Input Specification Language) language & solver.☆69Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 5 months ago
- Dynamic Analysis for Concurrent Programs☆26Updated 10 months ago
- A tool for analyzing LLVM bitcode using Datalog.☆101Updated 4 years ago
- A framework for testing compilers' type checkers☆17Updated 9 months ago
- A fuzzing framework for SMT solvers☆191Updated 2 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆244Updated 10 months ago
- Public-facing course info for program analysis materials.☆42Updated last month
- Grammar synthesis algorithm using a black box oracle☆37Updated last year
- ☆53Updated 2 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆280Updated last year
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆63Updated this week
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆164Updated last year
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆57Updated 5 months ago
- ☆33Updated last week
- SymDiff-Differential-Program-Verifier☆36Updated last month
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- Semantic program repair system for C programs☆100Updated 2 years ago
- Dynamic detection of likely invariants☆229Updated last week
- A high-performance, parallel, compilation-based symbolic execution engine☆136Updated this week
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆17Updated last year
- A compiler from TIP to llvm bitcode☆69Updated 8 months ago
- ☆65Updated last week
- Static program analysis for TIP☆295Updated 3 months ago
- Symbolic Program Slicing with LLVM☆82Updated 5 years ago
- A verification tool for many memory models☆99Updated last week
- Map2Check: Finding Software Vulnerabilities☆29Updated 4 years ago
- UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities☆33Updated 5 years ago
- The Ultimate program analysis framework.☆227Updated this week
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆81Updated last month