esbmc / esbmc-ai

Related projects ⓘ

Alternatives and complementary repositories for esbmc-ai

• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆54Updated 7 months ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆43Updated this week
• hmc-alpaqa / metrinome
  Create CFGs and compute complexity metrics for Python, C++, and Java code.
  ☆41Updated 6 months ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆36Updated 11 months 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
• UniCodeSphere / Creal
  ☆26Updated 3 weeks ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆11Updated this week
• srg-imperial / GrayC
  GrayC: Greybox Fuzzing of Compilers and Analysers for C
  ☆56Updated 11 months ago
• TestingResearchIllinois / srciror
  A mutation tool for source and IR
  ☆13Updated 6 years ago
• SVF-tools / Teaching-Software-Verification
  Teaching and Learning Software Verification via SVF
  ☆32Updated last month
• PL97 / LLVM-CFG-DFG-pass
  Simple passes for CFG and DFG analysis
  ☆40Updated 5 years ago
• ARISTODE / program-dependence-graph
  Program dependence graph in LLVM
  ☆34Updated 5 months ago
• 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 7 years ago
• ise-uiuc / neuri-artifact
  Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"
  ☆30Updated last year
• haoyang9804 / HirGen
  A Computational Graph Generator for AI Compiler Fuzzing
  ☆14Updated last year
• ise-uiuc / DeepREL
  Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)
  ☆34Updated last year
• rshariffdeen / FixMorph
  FixMorph is a morphing tool for C source codes which supports automated code-transfer
  ☆31Updated 2 months ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSE/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆49Updated last year
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• tud-ccc / compy-learn
  ComPy-Learn is a framework for exploring program representations for ML4CODE tasks.
  ☆22Updated last year
• googleinterns / hw-fuzzing
  ☆78Updated last year
• jyao15 / G-CLN
  ☆12Updated last year
• shaowei-cai-group / z3pp
  ☆47Updated 7 months ago
• Sophietje / Verification-Tool-Overview
  Information about verification tools. Browse the data at https://slebok.github.io/proverb/
  ☆23Updated 11 months ago
• ajwijs / GPUexplore
  GPU model checker
  ☆11Updated 5 years ago
• SanRazor-repo / SanRazor
  SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.
  ☆51Updated 3 years ago
• shijy16 / ACETest
  For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators
  ☆9Updated 7 months ago
• llm4code / 2024
  The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)
  ☆16Updated last month
• microsoft / sca-fuzzer
  Revizor - a fuzzer to search for microarchitectural leaks in CPUs
  ☆114Updated 3 weeks ago
• ShenQingchao / DLCstudy
  This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.
  ☆23Updated last year