AliveToolkit / alive2Links
Automatic verification of LLVM optimizations
☆943Updated last month
Alternatives and similar repositories for alive2
Users that are interested in alive2 are comparing it to the libraries listed below
Sorting:
- Yet Another Random Program Generator☆522Updated this week
- A new (MLIR based) high-level IR for clang.☆516Updated this week
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆419Updated 3 months ago
- Csmith, a random generator of C programs☆1,109Updated last year
- A collection of out-of-tree Clang plugins for teaching and learning☆738Updated 3 months ago
- C-Reduce, a C and C++ program reducer☆1,603Updated last year
- A guide that explains how high level programming language constructs are mapped to the LLVM intermediate language.☆626Updated 9 months ago
- Super-parallel Python port of the C-Reduce☆287Updated this week
- example LLVM pass☆592Updated 4 months ago
- STOKE: A stochastic superoptimizer and program synthesizer☆787Updated last year
- A curated list of awesome LLVM (including Clang, etc) related resources.☆645Updated 8 months ago
- A LLVM-based static analysis framework.☆993Updated this week
- A superoptimizer for LLVM IR☆2,265Updated 11 months ago
- SeaHorn Verification Framework☆455Updated 2 months ago
- C Bounded Model Checker☆937Updated this week
- ROSE is an open-source compiler framework engineered by LLNL supporting program analysis and transformation at both the source and binary…☆645Updated last week
- an educational compiler intermediate representation☆683Updated 3 weeks ago
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker☆432Updated 2 weeks ago
- llvm-mctoll☆854Updated last year
- A listing of compiler, language and runtime teams for people looking for jobs in this area☆602Updated 2 months ago
- ☆196Updated last week
- SMACK Software Verifier and Verification Toolchain☆439Updated 3 months ago
- Library for lifting machine code to LLVM bitcode☆1,436Updated last week
- A wrapper script to build whole-program LLVM bitcode files☆715Updated 7 months ago
- Symbolic execution of LLVM IR with an engine written in Rust☆559Updated last year
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆156Updated 2 years ago
- Whole Program LLVM: wllvm ported to go☆321Updated last year
- ☆377Updated last week
- A Simple showcase for the Sea-of-Nodes compiler IR☆700Updated this week
- Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.☆709Updated this week