Alternatives and similar repositories for lya

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

• cuhk-s3 / Creal
  ☆34Updated last month
• andromeda / mir
  Module-level RWX permissions for Node.js
  ☆37Updated last year
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆71Updated last year
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆64Updated last week
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆193Updated 2 years ago
• jayhorn / jayhorn
  Static checker for Java
  ☆89Updated 9 months ago
• Practical-Formal-Methods / queryFuzz
  QueryFuzz implements a metamorphic testing approach to test Datalog engines.
  ☆36Updated 4 years ago
• sqlancer / bugs
  A list of bugs found by SQLancer
  ☆15Updated last year
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆37Updated last year
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆57Updated last year
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆18Updated 11 months ago
• ddsmt / ddSMT
  A delta debugger for SMT benchmarks in SMT-LIB v2.
  ☆56Updated 3 months ago
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆25Updated last year
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆84Updated 5 years ago
• gaoxiang9430 / Fix2Fit
  ☆20Updated 4 years ago
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆26Updated last year
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆45Updated 2 weeks ago
• wintered / ET
  Enumerative Testing and Bounded Validation of SMT Solvers
  ☆22Updated 3 months ago
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆61Updated 5 months ago
• microsoft / verus-proof-synthesis
  ☆50Updated 3 weeks ago
• vlab-cs-ucsb / ABC
  ☆28Updated 4 months ago
• rshariffdeen / CPR
  CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of r…
  ☆33Updated 2 years ago
• qingkaishi / canary
  A unification-based alias analysis and related tools
  ☆35Updated last year
• neu-se / CONFETTI
  ☆22Updated 3 years ago
• antoinemine / apron
  Apron Numerical Abstract Domain Library
  ☆137Updated 7 months ago
• pcminer-tools / pcminer
  PC-miner tool for program chairs
  ☆29Updated last month
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 3 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• plseddl / plse-deadlines
  PL/SE conference deadline countdowns
  ☆19Updated 4 years ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆59Updated 7 months ago