☆28Mar 18, 2024Updated 2 years ago
Alternatives and similar repositories for PreciseBugs
Users that are interested in PreciseBugs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Open-science repository on KTH's program repair experiment on the Quixbugs benchmark☆12May 23, 2022Updated 4 years ago
- The RunBugRun dataset of executable bugs☆27Sep 24, 2025Updated 11 months ago
- ☆10May 14, 2024Updated 2 years ago
- ☆13Jun 27, 2025Updated last year
- A Dataset of 600k Java Source Code Changes Categorized by Diff Size http://arxiv.org/pdf/2108.04631☆23Mar 22, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- AIBugHunter: A Practical Tool for Predicting, Classifying and Repairing Software Vulnerabilities☆42Apr 10, 2024Updated 2 years ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆17Mar 2, 2026Updated 6 months ago
- A Reproducible Benchmark of Recent Java Bugs☆53Aug 19, 2025Updated last year
- 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
- ☆24Nov 10, 2023Updated 2 years ago
- All source code for the QuAC tool proposed in the OOPSLA 2024 paper "QuAC: Quick Attribute-Centric Type Inference for Python." NOTE: This…☆11Oct 3, 2024Updated last year
- A Novel Benchmark evaluating the Deep Capability of Vulnerability Detection with Large Language Models☆38Apr 25, 2025Updated last year
- Data and code for "Chain-of-Thought in Neural Code Generation: From and For Lightweight Language Models", which accepted in TSE.☆15Jul 3, 2024Updated 2 years ago
- Neural Program Repair with Execution-based Backpropagation http://arxiv.org/pdf/2105.04123☆25Dec 19, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆41Jan 27, 2024Updated 2 years ago
- An implementation of the ACL 2024 Findings paper "Generalization-Enhanced Code Vulnerability Detection via Multi-Task Instruction Fine-Tu…☆79Oct 29, 2025Updated 10 months ago
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆72May 1, 2023Updated 3 years ago
- A Practical Tool for Reducing Python Dependency Bloat☆18Nov 3, 2025Updated 10 months ago
- ☆28Sep 21, 2022Updated 4 years ago
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆141Jul 8, 2026Updated 2 months ago
- [ACL'24 Oral] Code for 'Rewriting the Code: A Simple Method for Large Language Model Augmented Code Search'☆18Sep 30, 2024Updated last year
- Semi-automated modelling and Model-Based Testing for CosmWasm contracts☆17Jun 28, 2024Updated 2 years ago
- ☆11May 19, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An implementation of Tare.☆12Feb 23, 2024Updated 2 years ago
- Repository for PrimeVul Vulnerability Detection Dataset☆274Sep 7, 2024Updated 2 years ago
- SeamFuzz Artifact repository for ICSE 2023☆14Feb 10, 2023Updated 3 years ago
- Various mechanized proof files for fun.☆16Updated this week
- ☆13Jul 6, 2023Updated 3 years ago
- Python bot to automate Quillbot without Buying Premium☆10Oct 22, 2020Updated 5 years ago
- ⚙️ Program slicer based on the Mozilla Lithium Tool for Java (also dubbed as Tandem-FL).☆11Oct 21, 2024Updated last year
- ☆17Aug 16, 2023Updated 3 years ago
- Graphviz DOT grammar for tree-sitter.☆21Oct 21, 2025Updated 11 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Using SVF in Python Projects☆22Updated this week
- ☆12Oct 10, 2014Updated 11 years ago
- ☆20May 27, 2020Updated 6 years ago
- ☆12Apr 12, 2024Updated 2 years ago
- ☆15Mar 17, 2025Updated last year
- IDAPython project for Hex-Ray's IDA Pro☆12Jul 2, 2015Updated 11 years ago
- Reproducing BugsInPy: Benchmarking Bugs in Python Projects☆13Sep 4, 2023Updated 3 years ago