Alternatives and similar repositories for esbmc-ai

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

• ctrippel / checkmate
  ☆36Updated 6 years ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆34Updated 3 months ago
• googleinterns / hw-fuzzing
  ☆87Updated 2 years ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆40Updated last year
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 7 years ago
• ise-uiuc / neuri-artifact
  Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"
  ☆31Updated last year
• comparch-security / cpu-sec-bench
  Security Test Benchmark for Computer Architectures
  ☆21Updated last month
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆75Updated 2 months ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 5 years ago
• microsoft / loop-invariant-gen-experiments
  Loop invariant generation with LLMs
  ☆28Updated 7 months ago
• cascade-artifacts-designs / cascade-meta
  ☆12Updated 6 months ago
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆395Updated last week
• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings
  ☆100Updated 5 months ago
• facebookresearch / AutoCAT
  AutoCAT: Reinforcement Learning for Automated Exploration of Cache-Timing Attacks
  ☆46Updated 2 years ago
• haoyang9804 / HirGen
  A Computational Graph Generator for AI Compiler Fuzzing
  ☆14Updated 2 years ago
• shijy16 / ACETest
  For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
  ☆12Updated last year
• ise-uiuc / FreeFuzz
  Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)
  ☆80Updated 3 years ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆71Updated 4 years ago
• rzhang2285 / Coppelia
  Code repository for Coppelia tool
  ☆23Updated 4 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…
  ☆72Updated 11 months ago
• cuhk-s3 / Creal
  ☆34Updated 2 months ago
• ise-uiuc / NablaFuzz
  Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)
  ☆26Updated last year
• vinci-grape / ThinkRepair
  This is the repository for the paper titled "ThinkRepair: Self-Directed Automated Program Repair" accepted by ISSTA'24.
  ☆26Updated 4 months ago
• hernanponcedeleon / Dat3M
  A verification tool for many memory models
  ☆103Updated this week
• jyao15 / G-CLN
  ☆12Updated 2 years ago
• PL97 / LLVM-CFG-DFG-pass
  Simple passes for CFG and DFG analysis
  ☆45Updated 6 years ago
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆23Updated 2 years ago
• SecurityLab-UCD / UniTSyn
  [ISSTA'24] A Large-Scale Dataset Capable of Enhancing the Prowess of Large Language Models for Program Testing
  ☆11Updated 9 months ago
• JunjieChen / HiCOND
  ☆10Updated 6 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆56Updated last year