marxin / cvise
Super-parallel Python port of the C-Reduce
☆273Updated 2 months ago
Alternatives and similar repositories for cvise:
Users that are interested in cvise are comparing it to the libraries listed below
- 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…☆411Updated this week
- Yet Another Random Program Generator☆502Updated 7 months ago
- uops.info Code Analyzer☆262Updated last year
- Automatic verification of LLVM optimizations☆877Updated 2 weeks ago
- Generic model checker for concurrent C programs (mirror repository)☆144Updated last month
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker☆405Updated this week
- Rellic produces goto-free C output from LLVM bitcode☆554Updated 6 months ago
- An unofficial guide to contributing to GCC, aimed at newbies☆115Updated 5 months ago
- C-Reduce, a C and C++ program reducer☆1,557Updated 10 months ago
- A collection of out-of-tree Clang plugins for teaching and learning☆727Updated 4 months ago
- A clang tool for happy refactoring without source-code gymnastics☆249Updated 5 years ago
- User-oriented fork of LLVM's opt-viewer☆140Updated 6 months ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- A tool for running small microbenchmarks on recent Intel and AMD x86 CPUs.☆460Updated 3 weeks ago
- Companion Repository for the Lecture Slides for the Clang Libraries☆100Updated last week
- Clang with JIT extensions☆229Updated 2 years ago
- A static checker for identifying unstable code.☆361Updated 9 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆104Updated 7 months ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Assembly super-optimization via constraint solving☆183Updated this week
- ☆253Updated last year
- Peter's Amazing Syntax Tree Analyzer☆129Updated 6 months ago
- Csmith, a random generator of C programs☆1,075Updated last year
- An easy guide to Clang Static Analyzer extension.☆142Updated 5 years ago
- 💀 The former home of clangir, now part of the official LLVM incubator. See website below for details.☆157Updated 2 years ago
- Tools to process ARM's Machine Readable Architecture Specification☆126Updated 5 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆238Updated 5 months ago
- A fast, small C/C++ function call tracer for x86/Linux, supports clang & gcc, ftrace, threads, exceptions & shared libraries☆158Updated last week
- A new (MLIR based) high-level IR for clang.☆474Updated this week
- Alive: Automatic LLVM's Instcombine Verifier☆218Updated last year