SophieHYe / PreciseBugsView external linksLinks
☆28Mar 18, 2024Updated last year
Alternatives and similar repositories for PreciseBugs
Users that are interested in PreciseBugs are comparing it to the libraries listed below
Sorting:
- The RunBugRun dataset of executable bugs☆23Sep 24, 2025Updated 4 months ago
- ☆11May 14, 2024Updated last year
- Open-science repository on KTH's program repair experiment on the Quixbugs benchmark☆12May 23, 2022Updated 3 years ago
- RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair http://arxiv.org/pdf/2312.15698☆39Sep 5, 2025Updated 5 months ago
- AIBugHunter: A Practical Tool for Predicting, Classifying and Repairing Software Vulnerabilities☆43Apr 10, 2024Updated last year
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆119Sep 2, 2025Updated 5 months ago
- ☆23Nov 10, 2023Updated 2 years ago
- repo of "SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics" (ASE 22) https://oadoi.org/10.1145/3551349.3556926☆27Mar 4, 2024Updated last year
- cinspector - a static C source code analysis framework☆29Jun 20, 2024Updated last year
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆136Jan 12, 2025Updated last year
- ☆26Sep 21, 2022Updated 3 years ago
- A Novel Benchmark evaluating the Deep Capability of Vulnerability Detection with Large Language Models☆32Apr 25, 2025Updated 9 months ago
- For our ICSE23 paper "KNOD: Domain Knowledge Distilled Tree Decoder for Automated Program Repair" by Nan Jiang, Thibaud Lutellier, Yiling…☆33Sep 28, 2023Updated 2 years ago
- ☆39Jan 27, 2024Updated 2 years ago
- Investigating Large Language Models for Code Vulnerability Detection: An Experimental Study☆37Mar 20, 2025Updated 10 months ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- ☆14Aug 18, 2025Updated 5 months ago
- A small tool to patch PE files' import address table with an external payload DLL.☆14Feb 7, 2026Updated last week
- An implementation of Tare.☆12Feb 23, 2024Updated last year
- LLM Security Guard for Code☆20Sep 8, 2024Updated last year
- A fork of HumanEval-Java from the paper "Impact of Code Language Models on Automated Program Repair"☆13Dec 11, 2024Updated last year
- Stronger types for a few Typed Racket operators☆11Jan 25, 2024Updated 2 years ago
- An extra light, extra simple Objective-C hooking framework☆16Jun 18, 2025Updated 7 months ago
- Python bot to automate Quillbot without Buying Premium☆11Oct 22, 2020Updated 5 years ago
- IDA scripts that facilitate reverse engineering☆16Aug 10, 2016Updated 9 years ago
- This repository contains the replication package of our paper "Assessing the Security of GitHub Copilot’s Generated Code - A Targeted Rep…☆10Nov 16, 2023Updated 2 years ago
- CVE-2015-2231 POC☆10Sep 8, 2015Updated 10 years ago
- ☆12Mar 15, 2020Updated 5 years ago
- ☆14Nov 23, 2016Updated 9 years ago
- Official repo of the paper Deep Regression Unlearning accepted in ICML 2023☆14Jun 14, 2023Updated 2 years ago
- Some tools☆10Dec 5, 2017Updated 8 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- C++14 automated code test infrastructure with permutation, fuzzing, sanitising and edge coverage☆12Dec 16, 2025Updated last month
- ADK apps for Product Engineers☆25Jan 8, 2026Updated last month
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- Leaderboard of Frontier Models for Program Repair https://repairbench.github.io/☆11Oct 26, 2025Updated 3 months ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆10Jul 31, 2025Updated 6 months ago
- Repository for PrimeVul Vulnerability Detection Dataset☆217Sep 7, 2024Updated last year