Alternatives and similar repositories for esbmc-ai:

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

• ssvlab / esbmc-gpu
  ESBMC-GPU is a context-bounded model checker based on the satisfiability modulo theories (SMT) to check for data race, deadlock, pointer …
  ☆8Updated 8 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…
  ☆69Updated 4 months ago
• jyao15 / G-CLN
  ☆12Updated 2 years ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• Xazax-hun / csa-testbench
  Toolset to do differential testing on the Clang Static Analyzer
  ☆22Updated 2 years ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated last month
• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings
  ☆92Updated 2 weeks ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆38Updated last year
• fatimahkj / EBF
  A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols
  ☆16Updated 10 months ago
• UniCodeSphere / Creal
  ☆32Updated 5 months ago
• thufv / Deagle
  ☆18Updated 4 months ago
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆58Updated last year
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 6 years ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆57Updated last week
• vinci-grape / ThinkRepair
  This is the repository for the paper titled "ThinkRepair: Self-Directed Automated Program Repair" accepted by ISSTA'24.
  ☆21Updated 9 months ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated this week
• batchenRothenberg / AllRepair
  ☆11Updated 4 years ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 4 months ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 5 years ago
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆23Updated last year
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆337Updated this week
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆55Updated 4 months ago
• yaohsiaopid / rtl2uspec
  ☆11Updated last year
• hmc-alpaqa / metrinome
  Create CFGs and compute complexity metrics for Python, C++, and Java code.
  ☆42Updated 11 months ago
• SMT-COMP / smt-comp
  Files and tools for SMT-COMP, the International Satisfiability Modulo Theories Competition.
  ☆28Updated last month
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆19Updated 7 months ago
• HuantWang / CONCOCTION
  CONCOCTION is an automated machine learning-based vulnerability detection framework that combines static source code information and dyna…
  ☆24Updated 7 months ago
• PL97 / LLVM-CFG-DFG-pass
  Simple passes for CFG and DFG analysis
  ☆43Updated 5 years ago
• ise-uiuc / NablaFuzz
  Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)
  ☆22Updated last year
• PLSysSec / swivel
  ☆16Updated last year