Alternatives and similar repositories for lya:

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

• UniCodeSphere / Creal
  ☆27Updated 2 months ago
• xlab-uiuc / openctest
  Testing Configuration Changes in Context to Prevent Production Failures
  ☆30Updated last year
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆18Updated last year
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆62Updated 6 months ago
• emarteca / npm-filter
  Tool to determine metrics for specified npm packages and/or JavaScript github repos
  ☆13Updated last year
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆52Updated this week
• uw-pluverse / pluverse-latex-style-guide
  ☆23Updated this week
• SymbolicPathFinder / jpf-symbc
  Symbolic PathFinder
  ☆135Updated 3 months ago
• sosy-lab / benchexec
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
  ☆241Updated last week
• xlab-uiuc / cdep-fse-ae
  Configuration dependency analysis for cloud software
  ☆22Updated 3 years ago
• ModelInference / texada
  Efficient techniques for mining LTL formulae over linear input traces
  ☆19Updated last year
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated 2 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…
  ☆67Updated last month
• ecnusse / Kea
  Property-based Testing for Mobile GUI Apps
  ☆47Updated this week
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆64Updated 2 months ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• michaelpradel / LExecutor
  A learning-guided approach for executing arbitrary Python code snippets
  ☆15Updated 10 months ago
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆22Updated 10 months ago
• tuhh-softsec / vul4j
  Vul4J: A Dataset of Reproducible Java Vulnerabilities
  ☆75Updated 4 months ago
• FormAI-Dataset / FormAI-dataset
  ☆24Updated last week
• andromeda / mir
  Module-level RWX permissions for Node.js
  ☆34Updated 4 months ago
• codespecs / daikon
  Dynamic detection of likely invariants
  ☆215Updated last month
• csartifacts / resources
  Resources on the Artifact Evaluation (AE) Process
  ☆16Updated 3 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆16Updated 3 years ago
• cs-au-dk / goat
  ☆20Updated last year
• binpash / dish
  DiSh: Dynamic Shell-Script Distribution
  ☆25Updated last month
• ASSERT-KTH / VRepair
  open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308
  ☆57Updated 10 months ago
• bears-bugs / bears-benchmark
  An Extensible Java Bug Benchmark for Automatic Program Repair Studies
  ☆33Updated 10 months ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆73Updated this week
• kupl / PyTER
  ☆12Updated 11 months ago