csmith-project / creduceLinks
C-Reduce, a C and C++ program reducer
☆1,590Updated last year
Alternatives and similar repositories for creduce
Users that are interested in creduce are comparing it to the libraries listed below
Sorting:
- A superoptimizer for LLVM IR☆2,249Updated 9 months ago
- Csmith, a random generator of C programs☆1,092Updated last year
- Automatic verification of LLVM optimizations☆918Updated this week
- STOKE: A stochastic superoptimizer and program synthesizer☆782Updated last year
- Super-parallel Python port of the C-Reduce☆282Updated 2 months ago
- Yet Another Random Program Generator☆514Updated last month
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,816Updated 11 months ago
- A compiler frontend for the C programming language☆547Updated 3 weeks ago
- A collection of out-of-tree Clang plugins for teaching and learning☆736Updated last month
- PROPELLER: Profile Guided Optimizing Large Scale LLVM-based Relinker☆421Updated 2 weeks ago
- The CompCert formally-verified C compiler☆1,995Updated last week
- Message passing based allocator☆1,692Updated last month
- A C library that may be linked into a C/C++ program to produce symbolic backtraces☆1,074Updated 2 months ago
- nsync is a C library that exports various synchronization primitives, such as mutexes☆1,175Updated 2 months ago
- KLEE Symbolic Execution Engine☆2,786Updated last month
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,605Updated 3 years ago
- The X86 Encoder Decoder (XED), is a software library for encoding and decoding X86 (IA32 and Intel64) instructions☆1,483Updated last week
- Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries☆2,532Updated 2 years ago
- Optimize floating-point expressions for accuracy☆808Updated this week
- A benchmark for low-level CPU micro-architectural features☆731Updated 3 years ago
- A LLVM-based static analysis framework.☆988Updated this week
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆659Updated 3 months ago
- AutoFDO☆559Updated last month
- x86-64 assembler library☆481Updated 4 years ago
- Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …☆2,506Updated last week
- Heap Layers: An Extensible Memory Allocation Infrastructure☆398Updated last week
- Semantics of C in K☆314Updated 3 years ago
- Compile-time C Compiler implemented as C++14 constant expressions☆805Updated 4 years ago
- Dynamic Instrumentation Tool Platform☆2,843Updated 2 weeks ago
- resurrected LLVM "C Backend", with improvements☆904Updated 2 months ago