ymirsky / VulChecker
A deep learning model for localizing bugs in C/C++ source code (USENIX'23)
☆145Updated last year
Alternatives and similar repositories for VulChecker:
Users that are interested in VulChecker are comparing it to the libraries listed below
- The official repository of "GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics". The paper will appear in the IE…☆44Updated last year
- This is a benchmark for evaluating the vulnerability discovery ability of automated approaches including Large Language Models (LLMs), de…☆67Updated 4 months ago
- ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?☆29Updated last year
- HiddenCPG: Large-Scale Vulnerable Clone Detection Using Subgraph Isomorphism of Code Property Graphs☆42Updated 2 years ago
- The public dataset in the paper "PatchDB: A Large-Scale Security Patch Dataset". This paper appears in the 51st Annual IEEE/IFIP Interna…☆40Updated last year
- ☆95Updated 4 months ago
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆80Updated last year
- MINER provided by the paper "MINER: A Hybrid Data-Driven Approach for REST API Fuzzing"☆39Updated 2 years ago
- A GPT-Based Fuzz Driver Generator☆46Updated last year
- This repo list the core literature in the field of fuzzing test, large language model, and LLM-based fuzzer. Most of papers are selected …☆47Updated last year
- ☆50Updated 4 years ago
- This repository is to support contributions for tools and new data entries for the D2A dataset hosted in DAX☆66Updated 2 years ago
- Run fuzzing experiments in Docker☆100Updated 4 years ago
- VulTrigger is a tool to for identifying vulnerability-triggering statements across functions and investigating the effectiveness of funct…☆32Updated last year
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆46Updated 5 months ago
- ☆39Updated 4 months ago
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆34Updated last year
- ☆54Updated last year
- DeepWukong: Statically Detecting Software Vulnerabilities Using Deep Graph Neural Network☆95Updated 2 years ago
- Recent Paper About Bug Detection☆30Updated 5 years ago
- Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"☆35Updated 5 months ago
- ☆68Updated 8 months ago
- ☆104Updated last year
- ☆93Updated last year
- 20 benchmark programs☆46Updated 4 years ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆28Updated last week
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆63Updated 2 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆73Updated 2 years ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆115Updated last year
- open science repo of "Neural Transfer Learning for Repairing Security Vulnerabilities in C Code" https://arxiv.org/pdf/2104.08308☆60Updated last year