Alternatives and similar repositories for CrashTuner

Users that are interested in CrashTuner are comparing it to the libraries listed below

• lujiefsi / NPEDetector
  Finding the potential null pointer exception
  ☆28Updated 4 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆18Updated 4 years ago
• Graspan / graspan-java
  This is java implementation of Graspan.
  ☆20Updated last year
• timmyyuan / build-whole-program-into-LLVM-IR
  some notes for how to build projects into a single LLVM bitcode file.
  ☆18Updated 6 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆110Updated 2 years ago
• wcventure / PERIOD
  [ICSE 2022] Controlled Concurrency Testing via Periodical Scheduling
  ☆32Updated 2 years ago
• april1989 / Incremental_Points_to_Analysis
  This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
  ☆25Updated 2 years ago
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆52Updated last month
• xlab-uiuc / cdep-fse-ae
  Configuration dependency analysis for cloud software
  ☆23Updated 3 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• QilinPTA / Qilin
  Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
  ☆135Updated 3 months ago
• JZuming / TxCheck
  A fuzzing framework for finding transactional bugs in DBMSs
  ☆52Updated 2 years ago
• PSU-Security-Universe / sqlright
  Coveraged-based fuzzer for finding DBMS logical bugs
  ☆53Updated 2 years ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆31Updated last year
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆221Updated 6 years ago
• stan6 / se-paper
  ☆74Updated 2 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆34Updated 9 months ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆56Updated 4 months ago
• SVF-tools / Teaching-Software-Analysis
  Teaching and Learning Software Analysis via SVF
  ☆203Updated last month
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆153Updated last week
• Graspan / graspan-cpp
  This is a C++ implementation of Graspan.
  ☆32Updated last year
• UniCodeSphere / Creal
  ☆33Updated 8 months ago
• whichbug / SVF-UAF
  A use-after-free checker based on SVF.
  ☆21Updated 7 years ago
• YuanchengJiang / GraphGenie
  To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.
  ☆35Updated last year
• ZJU-Automated-Reasoning-Group / lotus
  Program analysis and verification framework
  ☆25Updated this week
• SVF-tools / SVF-Teaching
  Learning and Teaching Software Analysis and Verification via SVF
  ☆24Updated last year
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆72Updated last year
• harperchen / SEAL
  ☆11Updated last month
• chengpeng-wang / LLMDFA
  LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)
  ☆130Updated last month