csmith-project / creduceLinks
C-Reduce, a C and C++ program reducer
☆1,612Updated last year
Alternatives and similar repositories for creduce
Users that are interested in creduce are comparing it to the libraries listed below
Sorting:
- Csmith, a random generator of C programs☆1,127Updated last year
- A superoptimizer for LLVM IR☆2,302Updated last year
- STOKE: A stochastic superoptimizer and program synthesizer☆827Updated 2 years ago
- Super-parallel Python port of the C-Reduce☆299Updated last week
- Automatic verification of LLVM optimizations☆994Updated last week
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,826Updated last year
- Yet Another Random Program Generator☆529Updated 2 months ago
- C Bounded Model Checker☆975Updated this week
- A compiler frontend for the C programming language☆551Updated last month
- nsync is a C library that exports various synchronization primitives, such as mutexes☆1,220Updated last month
- Stabilizer: Rigorous Performance Evaluation☆580Updated 4 years ago
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker☆453Updated last week
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries☆2,528Updated 2 years ago
- A collection of out-of-tree Clang plugins for teaching and learning☆750Updated last month
- Official git repository for libdivide: optimized integer division☆1,250Updated 4 months ago
- Converts floating point numbers to decimal strings☆1,285Updated last year
- Practical mutation testing and fault injection for C and C++☆783Updated this week
- UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools☆1,189Updated 7 years ago
- Automated integer hash function discovery☆736Updated last year
- The CompCert formally-verified C compiler☆2,047Updated this week
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆691Updated last week
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆663Updated 3 weeks ago
- Message passing based allocator☆1,738Updated this week
- resurrected LLVM "C Backend", with improvements☆924Updated 3 weeks ago
- A LLVM-based static analysis framework.☆1,011Updated this week
- A C library that may be linked into a C/C++ program to produce symbolic backtraces☆1,122Updated 3 weeks ago
- Semantics of C in K☆316Updated 3 years ago
- Infrastructure to set up the public Compiler Explorer instances and compilers☆388Updated last week
- Heap Layers: An Extensible Memory Allocation Infrastructure☆402Updated last month
- KLEE Symbolic Execution Engine☆2,841Updated 3 months ago