csmith-project / creduceLinks
C-Reduce, a C and C++ program reducer
☆1,630Updated 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,141Updated last year
- STOKE: A stochastic superoptimizer and program synthesizer☆838Updated 2 years ago
- Super-parallel Python port of the C-Reduce☆311Updated 3 weeks ago
- A superoptimizer for LLVM IR☆2,308Updated last year
- Automatic verification of LLVM optimizations☆1,019Updated 3 weeks ago
- Yet Another Random Program Generator☆542Updated last month
- C Bounded Model Checker☆996Updated last week
- A compiler frontend for the C programming language☆559Updated last month
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆701Updated 3 weeks ago
- UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools☆1,189Updated 7 years ago
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker☆472Updated this week
- A collection of out-of-tree Clang plugins for teaching and learning☆754Updated 3 months ago
- Official git repository for libdivide: optimized integer division☆1,272Updated this week
- resurrected LLVM "C Backend", with improvements☆937Updated 3 weeks ago
- nsync is a C library that exports various synchronization primitives, such as mutexes☆1,235Updated last month
- Practical mutation testing and fault injection for C and C++☆789Updated last week
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,837Updated 3 weeks ago
- A LLVM-based static analysis framework.☆1,022Updated last week
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries☆2,530Updated 2 years ago
- KLEE Symbolic Execution Engine☆2,873Updated this week
- Semantics of C in K☆320Updated 3 years ago
- The CompCert formally-verified C compiler☆2,085Updated last week
- ROSE is an open-source compiler framework engineered by LLNL supporting program analysis and transformation at both the source and binary…☆662Updated this week
- Optimize floating-point expressions for accuracy☆830Updated last week
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆662Updated this week
- Heap Layers: An Extensible Memory Allocation Infrastructure☆406Updated this week
- x86-64 assembler library☆487Updated 4 years ago
- Compile-time C Compiler implemented as C++14 constant expressions☆806Updated 4 years ago
- AutoFDO☆580Updated last month
- A C library that may be linked into a C/C++ program to produce symbolic backtraces☆1,147Updated last month