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
  ☆22Updated 2 years ago
• andromeda / mir
  Module-level RWX permissions for Node.js
  ☆35Updated last year
• dspinellis / ai-cli-lib
  Add AI capabilities to any readline-enabled command-line program
  ☆191Updated 8 months ago
• uw-pluverse / perses
  language-agnostic program reducer.
  ☆192Updated 2 months ago
• binpash / dish
  DiSh: Dynamic Shell-Script Distribution
  ☆29Updated last month
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆31Updated last year
• EngineeringSoftware / gobash
  Bash function library
  ☆23Updated last year
• Lingzhi-Ouyang / Remix
  ☆12Updated 4 months ago
• cuhk-s3 / Creal
  ☆33Updated 2 weeks ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆269Updated 2 weeks ago
• OrderLab / Legolas
  Legolas: A Fault Injection Framework for Efficient Exposure of Partial Failures in Distributed Systems
  ☆12Updated last year
• acmsigsoft / EmpiricalStandards
  Tools and standards for conducting and evaluating research in software engineering
  ☆312Updated 3 weeks ago
• martineberlein / avicenna
  Debugging Prototype Avicenna
  ☆10Updated 6 months ago
• DavisPL / lhs
  Yet another Rust MIR analysis tool
  ☆13Updated 2 weeks ago
• JZuming / EET
  Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems
  ☆40Updated last month
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆70Updated last year
• anvil-verifier / anvil
  Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
  ☆128Updated this week
• acmsigsoft / submission-checker
  Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations
  ☆63Updated 3 years ago
• woc-hack / tutorial
  ☆55Updated 3 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…
  ☆71Updated 9 months ago
• microsoft / verus-proof-synthesis
  ☆45Updated last week
• atom-sw / fauxpy
  An automated fault localization tool for Python programs.
  ☆28Updated 2 months ago
• nus-test / clang-tool-template
  A basic repository for a Clang-based tool, with CMake integration.
  ☆10Updated last year
• bugcounting / software-analysis
  Material (mostly slides) for a graduate course on (formal) software analysis.
  ☆32Updated 6 years ago
• se-deadlines / se-deadlines.github.io
  Deadline countdowns for academic conferences in Software Engineering
  ☆46Updated this week
• xlab-uiuc / cdep-fse-ae
  Configuration dependency analysis for cloud software
  ☆23Updated 3 years ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 9 months ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆232Updated last week
• LGU-SE-Internal / GRev
  A lightweight tool for detecting bugs on Graph Database Management Systems
  ☆14Updated last year
• dspinellis / rdbunit
  Unit testing for SQL queries
  ☆24Updated last year