Alternatives and similar repositories for synthCT

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

• Baltoli / accsynt
  Program synthesis tools and utilities for LLVM.
  ☆20Updated last year
• season-lab / memsight
  MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)
  ☆23Updated 7 months ago
• dvorak42 / confuzzer
  Concolic Execution Fuzzer
  ☆24Updated 3 years ago
• haoxintu / FastKLEE
  FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers
  ☆20Updated 2 years ago
• ucsb-seclab / autofacts
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Updated 6 years ago
• toshipiazza / drcfg
  Dynamic Control Flow Recovery
  ☆24Updated 7 years ago
• winter2020 / oo7
  oo7, a binary analysis tool to defend against Spectre vulnerabilities
  ☆32Updated 4 years ago
• vusec / midfat
  ☆12Updated 4 years ago
• ntddk / vine
  Vine: The BitBlaze Static Analysis Component
  ☆25Updated 10 years ago
• buszk / drifuzz-concolic
  ☆12Updated 3 years ago
• seclab-ucr / KallGraph
  ☆11Updated 3 weeks ago
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated 2 years ago
• LL-MM / approxis-groundtruth
  ☆31Updated 4 years ago
• MSRSSP / hyperfuzzer-seeds
  ☆9Updated 3 years ago
• csienslab-PCC / PathConstraintClassifier
  ☆9Updated 6 years ago
• SRI-CSL / llvm2smt
  Experimental translation of llvm to smt.
  ☆56Updated 5 years ago
• HexHive / mitiGate
  Benchmark to test different stop the exploit mitigations
  ☆18Updated 6 years ago
• s3team / Abacus
  Side-channel Analysis
  ☆15Updated 3 years ago
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆33Updated 8 years ago
• vusec / dangzero
  ☆17Updated last year
• Systems-ShiftLab / pmfuzz
  A testcase generation tool for Persistent Memory Programs.
  ☆15Updated 3 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• ivicanikolicsg / SivoFuzzer
  Grey-box fuzzer SIVO
  ☆14Updated 3 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆56Updated 4 years ago
• petablox / popl2020-tutorial
  Tutorial for Building Program Reasoning Tools using LLVM and Z3
  ☆19Updated 5 years ago
• andreafioraldi / ConstrainedMemorySanitizer
  ☆13Updated 4 years ago
• martintrojer / symbolic-execution
  Applied Symbolic Execution with KLEE/LLVM
  ☆24Updated 12 years ago
• tum-i4 / munch
  Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs
  ☆38Updated 6 years ago
• eurecom-s3 / dissecting_afl
  Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
  ☆13Updated 2 years ago
• HexHive / HexVASAN
  ☆17Updated 6 years ago