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
• googleinterns / hw-fuzzing
  ☆86Updated 2 years ago
• spectector / spectector
  Automatic detection of speculative information flows
  ☆68Updated 4 years ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆60Updated 2 months ago
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 6 years ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆38Updated last year
• compsec-snu / difuzz-rtl
  ☆92Updated last year
• facebookresearch / AutoCAT
  AutoCAT: Reinforcement Learning for Automated Exploration of Cache-Timing Attacks
  ☆46Updated 2 years ago
• esbmc / esbmc
  The efficient SMT-based context-bounded model checker (ESBMC)
  ☆366Updated this week
• comparch-security / cpu-sec-bench
  Security Test Benchmark for Computer Architectures
  ☆21Updated 5 months ago
• cascade-artifacts-designs / cascade-meta
  ☆10Updated 4 months ago
• sslab-gatech / SNAP
  ☆14Updated 3 years ago
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆21Updated 6 years ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 5 years ago
• UniCodeSphere / Creal
  ☆33Updated 9 months ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆34Updated 3 weeks ago
• PL97 / LLVM-CFG-DFG-pass
  Simple passes for CFG and DFG analysis
  ☆44Updated 6 years ago
• batchenRothenberg / AllRepair
  ☆11Updated 4 years ago
• dynaroars / dig
  DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) progra…
  ☆50Updated 2 months ago
• CMU-program-analysis / CMU-program-analysis.github.io
  Public-facing course info for program analysis materials.
  ☆42Updated last month
• microsoft / sca-fuzzer
  Revizor - a fuzzer to search for microarchitectural leaks in CPUs
  ☆159Updated last week
• scy-phy / plumber
  Code for the CCS 2022 paper "Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels".
  ☆15Updated 2 years ago
• IITH-Compilers / IR2Vec
  Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings
  ☆100Updated 2 months ago
• martineberlein / avicenna
  Debugging Prototype Avicenna
  ☆10Updated 6 months ago
• rzhang2285 / Coppelia
  Code repository for Coppelia tool
  ☆23Updated 4 years ago
• adelie-kaslr / source
  Adelie's source code
  ☆12Updated 3 years ago
• mimicji / FlowMatrix
  FLOWMATRIX: GPU-Assisted Information-Flow Analysis through Matrix-Based Representation, USENIX Security'22
  ☆28Updated 2 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆54Updated last year
• ha0lyu / ChipFuzz
  Fuzz everything! Now let's fuzz chip!
  ☆19Updated this week
• shijy16 / ACETest
  For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
  ☆11Updated last year