Alternatives and similar repositories for pysmtgcc

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

• kristerw / smtgcc
  Some experiments with SMT solvers and GIMPLE IR
  ☆73Updated this week
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• pornin / cycle-counter
  ☆23Updated 7 months ago
• comby-tools / comby-decomposer
  Decompose source code into templates and fragments for any language.
  ☆22Updated 2 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 4 years ago
• lorin / futex-tla
  Modeling futexes in TLA+
  ☆20Updated 9 months ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆44Updated 2 years ago
• dtcxzyw / llvm-ub-aware-interpreter
  UB-aware interpreter for LLVM debugging
  ☆29Updated 3 weeks ago
• llvm / eudsl
  Embedded Universal DSL: a good DSL for us, by us
  ☆40Updated this week
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆57Updated 10 months ago
• frdwarf / dwarf-synthesis
  ☆29Updated 5 years ago
• woodruffw / mollusc
  Pure-Rust libraries for parsing, interpreting, and analyzing LLVM
  ☆80Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 10 months ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆109Updated 11 months ago
• yugr / sortcheck
  Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
  ☆53Updated 5 months ago
• securesystemslab / LLVM-MCA-Daemon
  ☆20Updated 3 months ago
• computersforpeace / model-checker
  CDSChecker: A Model Checker for C11 and C++11 Atomics
  ☆30Updated 11 years ago
• luhsra / chash
  CLang Plugin for calculating AST hashes
  ☆15Updated 6 years ago
• drepper / optmark
  Markup source code showing optimizations
  ☆36Updated 5 years ago
• vusec / LookUB
  ☆14Updated last year
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆57Updated 2 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆45Updated 3 weeks ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆81Updated 7 months ago
• MPI-SWS / genmc
  Generic model checker for concurrent C programs (mirror repository)
  ☆153Updated 3 months ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆102Updated 3 years ago
• slothy-optimizer / slothy
  Assembly super-optimization via constraint solving
  ☆206Updated this week
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• fitzgen / synth-loop-free-prog
  Synthesis of Loop-free Programs in Rust
  ☆66Updated 5 years ago
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated 2 years ago