Alternatives and similar repositories for deadstores

Users that are interested in deadstores are comparing it to the libraries listed below

• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆40Updated 2 years ago
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆55Updated 11 months ago
• frdwarf / dwarf-synthesis
  ☆29Updated 6 years ago
• hardenedapple / gdb-walkers
  Bring mdb walkers to gdb, also add other helpful commands.
  ☆34Updated 11 months ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆79Updated 2 weeks ago
• marxin / cvise
  Super-parallel Python port of the C-Reduce
  ☆313Updated last month
• regehr / ub-canaries
  collection of C/C++ programs that try to get compilers to exploit undefined behavior
  ☆184Updated 6 years ago
• androm3da / optviewer-demo
  Demonstration of LLVM's opt-viewer tool
  ☆71Updated 8 years ago
• pkolbus / compiler-warnings
  A list of compiler warning flags for different GCC and clang versions
  ☆68Updated 4 months ago
• SNSystems / sn-llvm-project-prepo
  Fork of LLVM with modifications to support a program repository
  ☆25Updated 3 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆107Updated last year
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆67Updated 4 years ago
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆116Updated 2 months ago
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆98Updated 3 years ago
• zwegner / x86-info-term
  A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses
  ☆128Updated 3 years ago
• davidmalcolm / gcc-newbies-guide
  An unofficial guide to contributing to GCC, aimed at newbies
  ☆124Updated last year
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆93Updated 7 years ago
• asmjit / cult
  CPU Ultimate Latency Test.
  ☆117Updated 4 months ago
• travisdowns / page-info
  Programatically obtain information about the pages backing a given memory region
  ☆82Updated 4 years ago
• terminaldweller / cgrep
  grep for C/C++ source files.
  ☆30Updated 4 months ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• marcin-osowski / cmov
  Measuring cmov vs branch-mov performance
  ☆90Updated 7 years ago
• rcorcs / llvm-heat-printer
  LLVM Profiling Visualization
  ☆84Updated 3 years ago
• jfbastien / jit-talk
  ☆48Updated 5 years ago
• mgehre / llvm-project
  The home of the clang-based implementation of lifetime safety warnings.
  ☆41Updated 4 years ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 3 years ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆184Updated last month
• yugr / libdebugme
  Automatically spawn gdb on error.
  ☆69Updated 3 years ago
• pmachata / dwgrep
  a tool for querying Dwarf (debuginfo) graphs
  ☆58Updated last year