Alternatives and similar repositories for lya

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

• n132 / ARVO-Meta
  ☆79Updated last month
• arichardson / juliet-test-suite-c
  ☆89Updated 6 months ago
• purs3lab / Argus
  ☆48Updated last year
• Kyle-Kyle / top4grep
  find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)
  ☆187Updated last year
• AIxCyberChallenge / sherpa
  Security Harness Engineering for Robust Program Analysis
  ☆90Updated last month
• PLSysSec / sys
  Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
  ☆232Updated 3 years ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆84Updated 5 years ago
• Microsvuln / Awesome-Grammar-Fuzzing
  A curated list of Grammar based fuzzing research papers, codes, tutorials
  ☆124Updated 3 years ago
• sola-st / DynaPyt
  Dynamic analysis framework for Python
  ☆76Updated 2 months ago
• s3c2 / vfcfinder
  VFCFinder: Searching for the Missing Vulnerability Fixing Commits
  ☆29Updated last year
• SunLab-GMU / PatchDB
  The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…
  ☆43Updated last year
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆71Updated last year
• UTD-FAST-Lab / RevBugBench
  ☆32Updated last year
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆61Updated 4 months ago
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆81Updated 2 years ago
• neu-se / CONFETTI
  ☆22Updated 3 years ago
• cuhk-s3 / Creal
  ☆34Updated last month
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆25Updated last year
• WOOSEUNGHOON / MOVERY-public
  ☆26Updated 2 years ago
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆96Updated last week
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• SVF-tools / Test-Suite
  PTABen: Micro-benchmark Suite for Pointer Analysis
  ☆79Updated last month
• aixcc-public / challenge-001-exemplar
  Challenge Problem #1 - Linux Kernel (NOTE: This code does not reflect the active state of what will be used at competition time, please r…
  ☆56Updated last year
• SVF-tools / Software-Security-Analysis
  Static Analysis Course
  ☆77Updated 2 weeks ago
• Aurore54F / HideNoSeek
  Static data flow-based analysis of JavaScript files to detect syntactic clones
  ☆23Updated 5 years ago
• HexHive / magma
  A ground-truth fuzzing benchmark suite based on real programs with real bugs.
  ☆319Updated 4 months ago
• vandaltool / vandalir
  ☆25Updated 3 years ago
• rohanpadhye / FuzzFactory
  Domain-Specific Fuzzing with Waypoints
  ☆237Updated 2 years ago
• carolemieux / afl-rb
  FairFuzz: AFL extension targeting rare branches
  ☆249Updated 6 years ago
• s3team / DeepFuzz
  ☆22Updated 4 years ago