codespecs / daikon

Related projects ⓘ

Alternatives and complementary repositories for daikon

• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆184Updated 3 years ago
• seahorn / crab
  A library for building abstract interpretation-based analyses
  ☆233Updated last month
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 4 months ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆50Updated 3 months ago
• sosy-lab / cpachecker
  CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
  ☆227Updated this week
• stephenfreund / RoadRunner
  ☆71Updated 7 years ago
• ksen007 / calfuzzer
  ☆24Updated 9 years ago
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆199Updated this week
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆130Updated last month
• pietrobraione / jbse
  A symbolic Java virtual machine for program analysis, verification and test generation
  ☆104Updated 2 weeks ago
• UniCodeSphere / Creal
  ☆26Updated 3 weeks ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆20Updated last month
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆185Updated last year
• parasol-aser / JMCR
  A stateless model checker powered by maximal causality reduction
  ☆38Updated 4 years ago
• srg-imperial / klee-float
  KLEE with floating point support (unmaintained)
  ☆18Updated 2 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆162Updated 5 months ago
• sameerreddy13 / rlcheck
  RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.
  ☆45Updated 3 years ago
• vlab-cs-ucsb / ABC
  ☆26Updated 2 months ago
• jirislaby / LLVMSlicer
  Static Slicer for LLVM
  ☆65Updated 8 years ago
• secure-software-engineering / boomerang
  Boomerang is a on-demand context and flow-sensitive pointer analysis for Java.
  ☆23Updated 4 years ago
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆21Updated 2 years ago
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation
  ☆277Updated 7 months ago
• jburnim / crest
  CREST is a concolic test generation tool for C.
  ☆159Updated 4 years ago
• petablox / petablox
  Main distribution of Petablox
  ☆36Updated 6 years ago
• plast-lab / cclyzer
  A tool for analyzing LLVM bitcode using Datalog.
  ☆98Updated 4 years ago
• smackers / smack
  SMACK Software Verifier and Verification Toolchain
  ☆432Updated last month
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆114Updated 3 months ago
• jayhorn / jayhorn
  Static checker for Java
  ☆84Updated last year
• psycopaths / jdart
  A dynamic symbolic analysis tool for Java
  ☆114Updated 5 years ago
• nus-apr / cerberus
  Research Acceleration Platform that provides interface to multiple state-of-the-art program analysis tools including but not limited to f…
  ☆66Updated this week