Alternatives and similar repositories for bismon:

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

• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 7 months ago
• ForwardCom / bintools
  Binary tools: assembler, disassembler, linker, library manager, emulator
  ☆60Updated 2 months ago
• tromey / gdb-helpers
  GDB helper scripts
  ☆45Updated 4 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 2 years ago
• ChrisDodd / btyacc
  Backtracking yacc
  ☆20Updated last year
• caldwell / commit-patch
  Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS
  ☆21Updated last year
• yosefk / heapprof
  A 250 LOC heap profiler - easy to hack/port, works out of the box with dynamically linked Linux binaries
  ☆49Updated last month
• blucia0a / CTraps-gcc
  Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis
  ☆13Updated 10 years ago
• pmachata / reflection
  Library for Dwarf-based reflection in C
  ☆34Updated 11 years ago
• dsw / oink-stack
  Oink is a collaboration of C++ static analysis tools.
  ☆155Updated 2 years ago
• fraunhoferfokus / acsl-by-example
  Public snapshots of "ACSL by Example"
  ☆109Updated 3 years ago
• wbhart / bsdnt
  BSD Licensed Bignum Library
  ☆233Updated last year
• mcinglis / libpp
  Functional-programming macros for the C preprocessor.
  ☆63Updated 10 years ago
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 5 years ago
• mjsottile / sfsexp
  Small Fast S-Expression Library
  ☆77Updated 4 months ago
• jeffreykegler / libmarpa
  Marpa parse engine C library -- STABLE
  ☆98Updated last year
• tommythorn / fpgammix
  Partial implementation of Knuth's MMIX processor (FPGA softcore)
  ☆51Updated 5 years ago
• ilanschnell / perfect-hash
  Creating minimal perfect hash functions
  ☆60Updated last year
• ishiura-compiler / CF3
  "CF3" is a C compiler test suite targeting arithmetic optimization.
  ☆37Updated 7 years ago
• edwardcrichton / BToolkit
  The BToolkit, a toolkit supporting software development with the B-method.
  ☆36Updated last year
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• trolando / lace
  Lace - implementation of work-stealing in C
  ☆36Updated last year
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• skeeto / purgeable
  Purgeable memory allocations for Linux
  ☆30Updated 5 years ago
• gergoerdi / metafun
  Compile Haskell-like code into C++ template metaprograms
  ☆58Updated 8 years ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆27Updated 4 months ago
• sheredom / fpscev
  Floating-Point Scalar Evolution
  ☆12Updated 5 years ago
• axw / cmonster
  Python wrapper for the Clang C++ preprocessor and parser.
  ☆126Updated 10 years ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 3 years ago