Alternatives and similar repositories for lya

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

• Kyle-Kyle / top4grep
  find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)
  ☆186Updated 11 months ago
• cristianstaicu / SecBench.js
  ☆33Updated 10 months ago
• UniCodeSphere / Creal
  ☆33Updated 9 months ago
• n132 / ARVO-Meta
  ☆75Updated last month
• vandaltool / vandalir
  ☆25Updated 2 years ago
• arichardson / juliet-test-suite-c
  ☆84Updated 4 months ago
• Aurore54F / DoubleX
  Statically Detecting Vulnerable Data Flows in Browser Extensions at Scale
  ☆75Updated 3 years ago
• purs3lab / Argus
  ☆48Updated last year
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆96Updated 3 weeks ago
• neu-se / CONFETTI
  ☆22Updated 2 years ago
• rindPHI / isla
  The ISLa (Input Specification Language) language & solver.
  ☆68Updated last year
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆25Updated last year
• shao-hua-li / UBGen
  UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
  ☆60Updated 2 months ago
• 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…
  ☆42Updated last year
• s3c2 / vfcfinder
  VFCFinder: Searching for the Missing Vulnerability Fixing Commits
  ☆29Updated last year
• sslab-gatech / autofz
  autofz: Automated Fuzzer Composition at Runtime
  ☆79Updated last year
• lzto / pex
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆77Updated 3 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 years ago
• JordanSamhi / AndroSpecter
  A library to facilitate the static analysis of Android apps
  ☆15Updated 3 weeks ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆62Updated 2 years ago
• PurCL / RepoAudit
  An autonomous LLM-agent for large-scale, repository-level code auditing
  ☆201Updated 3 weeks ago
• ylya / horndroid
  A Static Analysis Tool For Android Apps
  ☆20Updated last week
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆82Updated 5 years ago
• cxreet / razor
  ☆39Updated 4 years ago
• RiS3-Lab / kubo
  Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…
  ☆25Updated 3 years ago
• vusec / einstein
  Practical Data-Only Attack Generation
  ☆40Updated last year
• parasol-aser / UFO
  UFO: Predictive Detection of Concurrency Use-After-Free Vulnerabilities
  ☆33Updated 5 years ago
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆24Updated 4 years ago
• Aurore54F / JStap
  Modular static malicious JavaScript detection system
  ☆71Updated 4 years ago
• UTD-FAST-Lab / RevBugBench
  ☆32Updated last year