Alternatives and similar repositories for StarSmith:

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

• TruX-DTF / DL4PatchCorrectness
  An empirical study on patch correctness
  ☆15Updated 2 years ago
• dbgbench / dbgbench.github.io
  DBGBench Website:
  ☆18Updated 4 years ago
• mboehme / corebench
  CoREBench: Errors in Find, Grep, Make
  ☆13Updated 9 years ago
• hub-se / BeDivFuzz
  ☆16Updated 2 months ago
• gaoxiang9430 / Fix2Fit
  ☆19Updated 3 years ago
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 6 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆17Updated 4 years ago
• karineek / CsmithEdge
  A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and …
  ☆16Updated 7 months ago
• MCFuzzer / MCFuzz
  Finding and Understanding Bugs in Software Model Checkers
  ☆8Updated 6 years ago
• caballa / wrapped-intervals
  Precise and Signedness Agnostic Interval Analysis for LLVM IR -- This website is obsolete. However, the wrapped interval domain is now im…
  ☆12Updated 7 years ago
• thierry-tct / mart
  LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM
  ☆25Updated 2 years ago
• yannicnoller / hydiff
  ☆25Updated 3 years ago
• bingseclab / piecewise
  Piecewise debloating toolchain
  ☆15Updated 5 years ago
• swtv-kaist / MUSIC
  MUSIC: MUtation analySIs tool with High Configurability and Extensibility
  ☆17Updated last year
• hbgit / Map2Check
  Map2Check: Finding Software Vulnerabilities
  ☆28Updated 4 years ago
• havrikov / covering-input-structure
  Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019
  ☆9Updated last year
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year
• cmu-pasta / mu2
  Mutation-guided mutation-based fuzz testing
  ☆45Updated 9 months ago
• DeepseaPlatform / coastal
  Concolic analysis tool for Java
  ☆21Updated last year
• patchloc / VulnLoc
  ☆11Updated 3 years ago
• squaresLab / BugZoo
  Keep your bugs contained. A platform for studying historical software bugs.
  ☆69Updated 3 months ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆32Updated 6 months ago
• neu-se / CONFETTI
  ☆22Updated 2 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆45Updated 5 years ago
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆32Updated 5 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 4 months ago
• UniCodeSphere / Creal
  ☆32Updated 5 months ago
• staticafi / sbt-instrumentation
  Configurable instrumentation of LLVM bitcode
  ☆34Updated 3 weeks ago
• SecurityLab-UCD / IRFuzzer
  [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation
  ☆13Updated last month
• batchenRothenberg / AllRepair
  ☆11Updated 4 years ago