[ISSTA 2024] PatchFinder: A Two-Phase Approach to Security Patch Tracing for Disclosed Vulnerabilities in Open Source Software
☆26Sep 13, 2025Updated 5 months ago
Alternatives and similar repositories for PatchFinder
Users that are interested in PatchFinder are comparing it to the libraries listed below
Sorting:
- BGNN4VD: Constructing Bidirectional Graph Neural-Network for Vulnerability Detection☆10Oct 2, 2020Updated 5 years ago
- ☆13May 28, 2023Updated 2 years ago
- This is the replication package of V-SZZ, which has been accepted by ICSE2022☆16Jan 19, 2026Updated last month
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆26Feb 13, 2025Updated last year
- Research papers on Proot-of-Concepts☆107Feb 3, 2026Updated last month
- A GPT-Based Fuzz Driver Generator☆49Nov 19, 2023Updated 2 years ago
- ☆27Feb 19, 2024Updated 2 years ago
- tool of llm-based indirect-call analyzer☆31Feb 18, 2025Updated last year
- This repo contains code related to development of LLM based projects with Langchain and LLamaIndex. It uses RAG, Function calling, agents…☆11Jul 19, 2024Updated last year
- The source code of project "LLift" (Enhancing static analysis with LLM)☆85Mar 5, 2024Updated last year
- Assisting Static Analysis with Large Language Models: A ChatGPT Experiment☆37Aug 17, 2023Updated 2 years ago
- Vulnerable code clone detection technique. Published in EuroS&P2020☆10Sep 4, 2020Updated 5 years ago
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 11 years ago
- Python implementation of the Huffman Code compression algorithm.☆14Apr 18, 2013Updated 12 years ago
- VLESS-XTLS-uTLS-REALITY setup script.☆10May 3, 2023Updated 2 years ago
- HiddenCPG: Large-Scale Vulnerable Clone Detection Using Subgraph Isomorphism of Code Property Graphs☆43Oct 18, 2022Updated 3 years ago
- ☆11Aug 21, 2024Updated last year
- ☆11May 3, 2019Updated 6 years ago
- LLM-based approach to find regression bugs. It checks the behavioral changes introduced by a pull request against its title, description,…☆14Updated this week
- ☆11Oct 28, 2020Updated 5 years ago
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated last year
- Ranking LLM-Generated Loop Invariants for Program Verification.☆12Aug 20, 2024Updated last year
- ☆10Jul 8, 2015Updated 10 years ago
- SigTest is the tool for checking incompatibilities between different versions of the same API.☆10Feb 21, 2026Updated last week
- create concept map from textbook data☆11May 4, 2018Updated 7 years ago
- UpCy automatically finds compatible updates for Maven dependencies.☆12Feb 8, 2026Updated 3 weeks ago
- FIRE: Combining Multi-Stage Filtering with Taint Analysis for Scalable Recurring Vulnerability Detection.☆15Sep 27, 2024Updated last year
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- MoreFixes: A Large-Scale Dataset of CVE Fix Commits Mined through Enhanced Repository Discovery☆66Dec 13, 2025Updated 2 months ago
- OGHarn: Oracle-guided Fuzzing Harness Generation☆51Dec 9, 2025Updated 2 months ago
- TFA project for indirect call analysis☆10Mar 13, 2025Updated 11 months ago
- This repository contains information related to the Root Cause Mapping Working Group and its activities. CVE Numbering Authority (CNA) re…☆16Jan 29, 2025Updated last year
- Run large AI models in TEE environment☆14Sep 10, 2024Updated last year
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- 申论生成器☆14May 22, 2022Updated 3 years ago
- Fork from https://github.com/joxeankoret/mynav, works with IDA 7.0☆12Jan 24, 2018Updated 8 years ago
- Automated test generator to detectcache side channel leakages.☆11Jul 1, 2019Updated 6 years ago
- Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts.☆11Sep 1, 2021Updated 4 years ago
- ☆13Apr 26, 2023Updated 2 years ago