kristerw / deadstoresLinks
A Valgrind tool for finding redundant loads/stores
☆21Updated 5 years ago
Alternatives and similar repositories for deadstores
Users that are interested in deadstores are comparing it to the libraries listed below
Sorting:
- Some experiments with SMT solvers and GIMPLE IR☆39Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆78Updated last week
- Super-parallel Python port of the C-Reduce☆304Updated last week
- ☆29Updated 6 years ago
- CLang Plugin for calculating AST hashes☆15Updated 6 years ago
- Markup source code showing optimizations☆36Updated 5 years ago
- Demonstration of LLVM's opt-viewer tool☆71Updated 8 years ago
- Dynamic runtime inlining with LLVM☆64Updated 4 years ago
- Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.☆55Updated 10 months ago
- Tool for locating internal symbols unnecessarily exported from shared libraries.☆42Updated 2 years ago
- Bring mdb walkers to gdb, also add other helpful commands.☆34Updated 9 months ago
- Reworking of Agner Fog's performance test programs for Linux☆114Updated 2 weeks ago
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆184Updated 6 years ago
- Programatically obtain information about the pages backing a given memory region☆80Updated 4 years ago
- The home of the clang-based implementation of lifetime safety warnings.☆41Updated 4 years ago
- Fork of LLVM with modifications to support a program repository☆25Updated 3 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- Generic model checker for concurrent C programs (mirror repository)☆160Updated last week
- Very low-overhead timer/counter interfaces for C on Intel 64 processors.☆136Updated last month
- An unofficial guide to contributing to GCC, aimed at newbies☆124Updated last year
- grep for C/C++ source files.☆30Updated 3 months ago
- Proof-of-concept tool for checking signal handlers for reentrancy issues.☆19Updated 5 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆46Updated 3 years ago
- A list of compiler warning flags for different GCC and clang versions☆64Updated 2 months ago
- selectively remove C preprocessor conditionals☆183Updated last year
- LLVM Profiling Visualization☆84Updated 3 years ago
- ☆55Updated last year
- Automatically spawn gdb on error.☆69Updated 3 years ago
- Poireau: a sampling allocation debugger☆98Updated 3 years ago
- ☆48Updated 5 years ago