Alternatives and similar repositories for koala

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

• andromeda / lya
  A Coarse-grained Dynamic Analysis Framework
  ☆21Updated 2 years ago
• andromeda / mir
  Module-level RWX permissions for Node.js
  ☆35Updated 10 months ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 7 months ago
• UniCodeSphere / Creal
  ☆34Updated 8 months ago
• martineberlein / avicenna
  Debugging Prototype Avicenna
  ☆10Updated 4 months ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆16Updated 2 years ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆262Updated this week
• lorisdanto / symbolicautomata
  Library for symbolic automata and symbolic visibly pushdown automata
  ☆69Updated last week
• microsoft / loop-invariant-gen-experiments
  Loop invariant generation with LLMs
  ☆23Updated 3 months ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆127Updated 3 months ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆62Updated this week
• chengpeng-wang / LLMSAN
  LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)
  ☆78Updated 2 weeks ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆34Updated 8 months ago
• xqyww123 / phi-system
  ☆9Updated 3 months ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆31Updated last year
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 4 years ago
• uw-pluverse / pluverse-latex-style-guide
  ☆26Updated 2 months ago
• Lingzhi-Ouyang / Remix
  ☆12Updated 2 months ago
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆40Updated 2 weeks ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆27Updated 3 months ago
• ezaffanella / PPLite
  PPLite: convex polyhedra library for Abstract Interpretation
  ☆26Updated 3 months ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆183Updated 3 years ago
• michaelpradel / LExecutor
  A learning-guided approach for executing arbitrary Python code snippets
  ☆18Updated last year
• binpash / dish
  DiSh: Dynamic Shell-Script Distribution
  ☆28Updated 6 months ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated last year
• ChunghaSung / intAbs
  Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".
  ☆11Updated 6 years ago
• rkthomps / coq-modeling
  Language models for Coq based on data collected from the coq lsp.
  ☆16Updated 3 weeks ago
• binpash / shasta
  A shell AST library in Python
  ☆10Updated 5 months ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆63Updated 11 months ago
• secure-foundations / human-eval-verus
  ☆18Updated 2 months ago