☆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 5 months ago
- ☆12Jun 27, 2025Updated 8 months ago
- 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 6 months ago
- A Reproducible Benchmark of Recent Java Bugs☆47Aug 19, 2025Updated 6 months ago
- ☆23Nov 10, 2023Updated 2 years ago
- cinspector - a static C source code analysis framework☆29Jun 20, 2024Updated last year
- repo of "SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics" (ASE 22) https://oadoi.org/10.1145/3551349.3556926☆27Mar 4, 2024Updated 2 years ago
- MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset☆139Jan 12, 2025Updated last year
- ☆26Sep 21, 2022Updated 3 years ago
- A Novel Benchmark evaluating the Deep Capability of Vulnerability Detection with Large Language Models☆33Apr 25, 2025Updated 10 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
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆72May 1, 2023Updated 2 years ago
- Investigating Large Language Models for Code Vulnerability Detection: An Experimental Study☆38Mar 20, 2025Updated 11 months ago
- 最稳定的ETH/ETC矿池代理，go语言编写，超高性能多线程多并发，系统占用极小。支持SSL/TCP代理，自定义抽水地址和比例。开发者费用恒定千分之一，保证用户抽水利益的最大化！可设置端口连接数，免疫一切CC攻击。一键脚本，快速上手，轻松搞定☆12Apr 3, 2022Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- DiverseVul: A New Vulnerable Source Code Dataset for Deep Learning Based Vulnerability Detection (RAID 2023) https://surrealyz.github.io/…☆175Oct 23, 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
- Various mechanized proof files for fun.☆13Aug 11, 2025Updated 6 months ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆10Jul 31, 2025Updated 7 months ago
- Some tools☆10Dec 5, 2017Updated 8 years ago
- LLM Security Guard for Code☆21Sep 8, 2024Updated last year
- Leaderboard of Frontier Models for Program Repair https://repairbench.github.io/☆11Oct 26, 2025Updated 4 months ago
- Official repo of the paper Deep Regression Unlearning accepted in ICML 2023☆14Jun 14, 2023Updated 2 years ago
- ☆13May 19, 2024Updated last year
- ☆14Nov 23, 2016Updated 9 years ago
- IDA scripts that facilitate reverse engineering☆16Aug 10, 2016Updated 9 years ago
- C++14 automated code test infrastructure with permutation, fuzzing, sanitising and edge coverage☆12Dec 16, 2025Updated 2 months ago
- ☆12Aug 16, 2022Updated 3 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- ☆14Aug 18, 2025Updated 6 months ago
- An extra light, extra simple Objective-C hooking framework☆16Jun 18, 2025Updated 8 months ago
- ADK apps for Product Engineers☆28Jan 8, 2026Updated last month
- CVE-2015-2231 POC☆10Sep 8, 2015Updated 10 years ago
- A small tool to patch PE files' import address table with an external payload DLL.☆16Feb 15, 2026Updated 2 weeks ago
- ☆13Mar 2, 2015Updated 11 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
- Python bot to automate Quillbot without Buying Premium☆12Oct 22, 2020Updated 5 years ago