csmith-project / creduce
C-Reduce, a C and C++ program reducer
☆1,557Updated 10 months ago
Alternatives and similar repositories for creduce:
Users that are interested in creduce are comparing it to the libraries listed below
- Csmith, a random generator of C programs☆1,075Updated last year
- A superoptimizer for LLVM IR☆2,213Updated 7 months ago
- STOKE: A stochastic superoptimizer and program synthesizer☆763Updated last year
- Super-parallel Python port of the C-Reduce☆273Updated 2 months ago
- Yet Another Random Program Generator☆502Updated 7 months ago
- Automatic verification of LLVM optimizations☆877Updated 2 weeks ago
- A compiler frontend for the C programming language☆541Updated 3 weeks ago
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,802Updated 8 months ago
- A C library that may be linked into a C/C++ program to produce symbolic backtraces☆1,044Updated last month
- x86-64 assembler library☆479Updated 4 years ago
- resurrected LLVM "C Backend", with improvements☆896Updated 3 months ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆647Updated 2 weeks ago
- Message passing based allocator☆1,643Updated last week
- A collection of out-of-tree Clang plugins for teaching and learning☆727Updated 4 months ago
- A LLVM-based static analysis framework.☆975Updated this week
- property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input☆618Updated 4 years ago
- KLEE Symbolic Execution Engine☆2,731Updated 2 months ago
- UNMAINTAINED: Examples of using the LLVM and Clang compilation libraries and tools☆1,192Updated 6 years ago
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker☆405Updated this week
- Heap Layers: An Extensible Memory Allocation Infrastructure☆393Updated this week
- Compile-time C Compiler implemented as C++14 constant expressions☆804Updated 3 years ago
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,462Updated 3 weeks ago
- nsync is a C library that exports various synchronization primitives, such as mutexes☆1,147Updated 8 months ago
- ☆280Updated last year
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries☆2,530Updated last year
- A static checker for identifying unstable code.☆361Updated 9 years ago
- Missed optimizations in C compilers☆341Updated 6 years ago
- SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstr…☆646Updated 3 months ago
- AutoFDO☆556Updated this week
- unfork(2) is the inverse of fork(2). sort of.☆1,473Updated 11 months ago