Alternatives and similar repositories for ProbDD

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

• aspire-project / chisel
  A System for Debloating C/C++ Programs
  ☆31Updated 4 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆72Updated last year
• cuhk-s3 / Creal
  ☆36Updated 4 months ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆48Updated 4 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated last month
• bstee615 / tree-climber
  Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).
  ☆60Updated last month
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆84Updated 5 years ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆61Updated 2 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆19Updated 4 years ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆61Updated 7 months ago
• eth-sri / learch
  ☆41Updated 2 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆33Updated 5 years ago
• DeadCodeProductions / dead
  ☆53Updated 2 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆56Updated last year
• test-jitcomp / Artemis
  A JIT compiler validator for JVMs via CSX/JoNM introduced in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆60Updated 9 months ago
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆50Updated last year
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆38Updated last month
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆67Updated 9 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆84Updated last week
• vrthra / mimid
  Replication package for Mining Input Grammars From Dynamic Control Flow
  ☆25Updated 5 years ago
• rindPHI / islearn
  ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
  ☆16Updated last year
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 5 months ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆19Updated last year
• spcl / ncc
  Neural Code Comprehension: A Learnable Representation of Code Semantics
  ☆215Updated last year
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆36Updated last year
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆55Updated 4 years ago
• brenocfg / AnghaBench
  A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.
  ☆121Updated 6 years ago
• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 3 years ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆194Updated 3 weeks ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆240Updated this week