Alternatives and similar repositories for lya

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

• cuhk-s3 / Creal
  ☆36Updated 4 months ago
• Practical-Formal-Methods / queryFuzz
  QueryFuzz implements a metamorphic testing approach to test Datalog engines.
  ☆36Updated 4 years ago
• testsmt / yinyang
  A fuzzing framework for SMT solvers
  ☆194Updated 2 weeks ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆72Updated last year
• 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
• neil-kulkarni / arvada
  Grammar synthesis algorithm using a black box oracle
  ☆37Updated last year
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• cristianstaicu / SecBench.js
  ☆36Updated last year
• zouyonghao / DistFuzz
  Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning
  ☆12Updated 9 months ago
• andromeda / mir
  Module-level RWX permissions for Node.js
  ☆37Updated last year
• jayhorn / jayhorn
  Static checker for Java
  ☆88Updated 11 months ago
• cs-au-dk / goat
  ☆22Updated 2 years ago
• yuntongzhang / vulnfix
  Program Vulnerability Repair via Inductive Inference
  ☆20Updated last year
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆185Updated 4 years ago
• ltlfuzzer / LTL-Fuzzer
  Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
  ☆56Updated last year
• julianthome / smtlibv2-grammar
  ANTLR SMT-LIB v2 Grammar
  ☆25Updated 3 years ago
• uuverifiers / ostrich
  An SMT Solver for string constraints
  ☆47Updated 3 weeks ago
• MagpieBridge / MagpieBridge
  MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration
  ☆81Updated 5 months ago
• lisa-analyzer / lisa
  📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
  ☆66Updated last week
• Microsvuln / Awesome-Grammar-Fuzzing
  A curated list of Grammar based fuzzing research papers, codes, tutorials
  ☆128Updated 3 years ago
• wei-le / programanalysiscourse
  COM S 413/513 and CPR E 513 Program Analysis @ Iowa State University
  ☆30Updated 2 years ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆80Updated 5 months ago
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆19Updated last year
• focs-lab / rapid
  Dynamic Analysis for Concurrent Programs
  ☆27Updated last year
• vlab-cs-ucsb / ABC
  ☆28Updated 6 months ago
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆60Updated last year
• arichardson / juliet-test-suite-c
  ☆99Updated 8 months ago
• UTD-FAST-Lab / RevBugBench
  ☆32Updated 2 years ago
• neu-se / CONFETTI
  ☆22Updated 3 years ago