Alternatives and similar repositories for lya

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

• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆194Updated 2 years ago
• cuhk-s3 / Creal
  ☆34Updated 2 months ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆71Updated last year
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆45Updated last week
• andromeda / mir
  Module-level RWX permissions for Node.js
  ☆37Updated last year
• neu-se / CONFETTI
  ☆22Updated 3 years ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆64Updated last week
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆84Updated last week
• jayhorn / jayhorn
  Static checker for Java
  ☆89Updated 9 months ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆85Updated 5 years ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆81Updated 3 months ago
• Practical-Formal-Methods / queryFuzz
  QueryFuzz implements a metamorphic testing approach to test Datalog engines.
  ☆36Updated 4 years ago
• vlab-cs-ucsb / ABC
  ☆28Updated 5 months ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆35Updated last year
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆185Updated 4 years ago
• hub-se / BeDivFuzz
  ☆16Updated 3 months ago
• thufv / Deagle
  ☆21Updated 11 months ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆33Updated 5 years ago
• staticafi / symbiotic
  Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
  ☆330Updated this week
• cristianstaicu / SecBench.js
  ☆34Updated last year
• formalsec / graphjs
  MDG-based static vulnerability scanner specialized in analyzing npm packages and detecting taint-style and prototype pollution vulnerabil…
  ☆21Updated last month
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆18Updated 4 years ago
• TQRG / secbench
  🪐 A Database of Existing Security Vulnerabilities Patches to Enable Evaluation of Techniques (single-commit; multi-language)
  ☆42Updated 6 months ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆138Updated 7 months ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆18Updated 11 months ago
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆37Updated last year
• seahorn / clam
  Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…
  ☆283Updated last year
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆25Updated last year