Alternatives and similar repositories for optmark

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

• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆98Updated 3 years ago
• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆79Updated last week
• drepper / gcc-passes
  gcc plugin to discover optimization passes used during compilation
  ☆20Updated 4 years ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆55Updated last year
• zwegner / x86-info-term
  A terminal viewer for x86 instruction/intrinsic information using Python 3 + curses
  ☆128Updated 3 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• novt-vtable-less-compiler / novt-llvm
  NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.
  ☆50Updated 3 years ago
• mattgodbolt / agner
  Reworking of Agner Fog's performance test programs for Linux
  ☆116Updated 2 months ago
• frdwarf / dwarf-synthesis
  ☆29Updated 6 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
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆47Updated 3 years ago
• yugr / libdebugme
  Automatically spawn gdb on error.
  ☆69Updated 3 years ago
• kristerw / deadstores
  A Valgrind tool for finding redundant loads/stores
  ☆21Updated 5 years ago
• WojciechMula / man-intrinsics
  Create man pages from information used by Intel Intrinsics Guide and optionally uops.info
  ☆46Updated last year
• plasma-umass / memory-landscape
  The space of memory management research and systems produced by the PLASMA lab (https://plasma-umass.org).
  ☆20Updated 4 years ago
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 8 years ago
• drti / drti
  Dynamic runtime inlining with LLVM
  ☆67Updated 4 years ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• kristerw / pysmtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆40Updated 2 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆124Updated 2 weeks ago
• binsec / klee21-tina-artifact
  TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…
  ☆29Updated 4 years ago
• freeCompilerCamp / freecompilercamp.github.io
  The website for freeCompilerCamp's classroom tutorials, using Github Pages.
  ☆31Updated 4 years ago
• Wunkolo / Intriman
  Intriman is a documentation generator that retargets the Intel Intrinsics Guide to other documentation formats
  ☆28Updated 3 years ago
• nickgildea / z3_codegen
  A toy code generator (i.e. "program synthesis") using the Z3 solver
  ☆34Updated 8 years ago
• WojciechMula / ternary-logic
  Support for ternary logic in SSE, XOP, AVX2 and x86 programs
  ☆31Updated last year
• vusec / deltapointers
  Delta Pointers: Buffer Overflow Checks Without the Checks (EuroSys'18)
  ☆56Updated 3 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆55Updated 5 years ago
• deater / deterministic
  code for examining determinism of performance counters
  ☆21Updated 4 years ago
• rmmh / whomp
  reverse engineering branch predictors
  ☆18Updated 9 years ago
• jfbastien / jit-talk
  ☆48Updated 5 years ago