Alternatives and similar repositories for esbmc-ai

Users that are interested in esbmc-ai are comparing it to the libraries listed below

• googleinterns / hw-fuzzing
  ☆87Updated 2 years ago
• cascade-artifacts-designs / cascade-meta
  ☆12Updated 7 months ago
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 7 years ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆40Updated last year
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆62Updated 6 months ago
• CVC4 / CVC4-archived
  CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
  ☆20Updated 4 years ago
• batchenRothenberg / AllRepair
  ☆11Updated 4 years ago
• pfnet-research / ATPG4SV
  A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
  ☆19Updated 6 years ago
• microsoft / loop-invariant-gen-experiments
  Loop invariant generation with LLMs
  ☆29Updated 8 months ago
• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings
  ☆100Updated 6 months ago
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆25Updated 5 months ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆74Updated 4 years ago
• microsoft / sca-fuzzer
  Revizor - a fuzzer to search for microarchitectural leaks in CPUs
  ☆166Updated last week
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆405Updated this week
• jyao15 / G-CLN
  ☆12Updated 2 years ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆34Updated 4 months ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 5 years ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated last month
• comsec-group / cellift-meta
  All the tools you need to reproduce the CellIFT paper experiments
  ☆23Updated 9 months ago
• UnitTestBot / klee
  KLEEF Symbolic Execution Engine
  ☆20Updated 3 months ago
• thufv / Deagle
  ☆22Updated last week
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆53Updated 6 months ago
• compsec-snu / difuzz-rtl
  ☆99Updated last year
• ctrippel / checkmate
  ☆36Updated 6 years ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆76Updated 3 months ago
• cuhk-s3 / Creal
  ☆34Updated 3 months ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆104Updated this week
• PL97 / LLVM-CFG-DFG-pass
  Simple passes for CFG and DFG analysis
  ☆45Updated 6 years ago
• HWSec-UNC / Sylvia
  ☆18Updated 5 months ago
• SecurityLab-UCD / IRFuzzer
  [ICSE'25] Specialized Fuzzing for LLVM Backend Code Generation
  ☆17Updated 8 months ago