cuhk-seclab / LChecker

Related projects ⓘ

Alternatives and complementary repositories for LChecker

• cuhk-seclab / TChecker
  ☆35Updated last year
• seclab-fudan / RecurScan
  ☆21Updated 8 months ago
• WSP-LAB / HiddenCPG
  HiddenCPG: Large-Scale Vulnerable Clone Detection Using Subgraph Isomorphism of Code Property Graphs
  ☆39Updated 2 years ago
• puppet-meteor / MINER
  MINER provided by the paper "MINER: A Hybrid Data-Driven Approach for REST API Fuzzing"
  ☆37Updated last year
• sefcom / Witcher
  Witcher is the first framework for using AFL to fuzz web applications.
  ☆75Updated 11 months ago
• CGCL-codes / SCVDT
  Source Code Vulnerability Detection Tools（SCVDT）provides a vulnerable code database, vulnerability detection service for Java and C/C++ p…
  ☆110Updated 3 years ago
• WSP-LAB / FUGIO
  FUGIO: Automatic Exploit Generation for PHP Object Injection Vulnerabilities
  ☆90Updated 11 months ago
• SpringJasmine / Jasmine
  ☆20Updated 2 years ago
• CISPA-SysSec / atropos-legacy
  Atropos: Effective Fuzzing of Web Applications for Server-Side Vulnerabilities
  ☆50Updated 2 months ago
• seclab-ucr / GPT-Expr
  Assisting Static Analysis with Large Language Models: A ChatGPT Experiment
  ☆28Updated last year
• enferas / TestabilityTarpits
  Testability Tarpits: the Impact of Code Patterns on the Security Testing of Web Applications (NDSS 2022)
  ☆23Updated 8 months ago
• jackfromeast / BambooFuzz
  BambooFuzz: An IoT Firmware Vulnerability Mining System based on Static and Dynamic Analysis
  ☆52Updated 2 years ago
• fast-sp-2023 / fast
  ☆23Updated 8 months ago
• d1tto / Rengar
  Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation
  ☆12Updated 10 months ago
• occia / fuzzdrivergpt
  A GPT-Based Fuzz Driver Generator
  ☆46Updated 11 months ago
• Anemone95 / MLDetectVuln
  Works about detecting vulnerable using ML.
  ☆83Updated 4 years ago
• a101e-lab / IoTFuzzBench
  ☆11Updated last year
• asmitaj08 / FuzzingBusyBox_LLM
  ☆8Updated 3 months ago
• OSUSecLab / TaintMini
  Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis
  ☆73Updated 7 months ago
• malteskoruppa / phpjoern
  Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.
  ☆34Updated 4 years ago
• HaHarden / CPGPractise
  Some test samples for CPG execution logic.
  ☆17Updated 6 months ago
• Song-Li / ObjLupAnsys
  ObjLupAnsys is a tool to detect prototype pollution vulnerabilities in Node.js packages. This project is written in Python and JavaScript…
  ☆22Updated 2 years ago
• fullwaywang / QlRules
  Auto-generated CodeQL rules for matching CVE vulnerabilities and variants.
  ☆150Updated last month
• botao21 / IOTScope
  ☆16Updated 2 years ago
• NUS-Curiosity / KernJC
  KernJC: Automated Vulnerable Environment Generation for Linux Kernel Vulnerabilities (Best Practical Paper Award of RAID 2024)
  ☆37Updated 3 weeks ago
• d1tto / IoT-vuln
  ☆21Updated 2 years ago
• FirmSecDataset / FirmSecDataset
  FirmSec Dataset
  ☆10Updated 3 years ago
• c01dkit / sec-papers-collection
  A collection of security papers on top-tier publications
  ☆35Updated last month
• SCUBSRGroup / BinaryDatabase
  Collate and collect binary related materials, including papers, tools, etc. Now,there are the following categories: 1、Fuzzing
  ☆56Updated 5 years ago