InferredBugs: a metadata-rich dataset of bugs and fixes in Java and C# programming languages extracted with the Infer static analyzer
☆40Nov 30, 2023Updated 2 years ago
Alternatives and similar repositories for InferredBugs
Users that are interested in InferredBugs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Jan 24, 2023Updated 3 years ago
- PROSE Public Benchmark Suite☆34Sep 15, 2025Updated 9 months ago
- ☆31Dec 11, 2022Updated 3 years ago
- This repository provides the code and guidance for reproducing the results in our ESEC/FSE 2023 submission "Pre-training Code Representat…☆27Jan 24, 2024Updated 2 years ago
- An automated smart contract vulnerability repair tool☆12Aug 15, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆133Jun 15, 2026Updated 3 weeks ago
- 操作系统相关实验，包括分页式分段式存储管理，银行家算法，页面置换算法，以及进程调度和作业调度相关算法的c/c++题解☆12Nov 7, 2022Updated 3 years ago
- ☆21Jun 29, 2024Updated 2 years ago
- ☆60Dec 21, 2022Updated 3 years ago
- Dataset from Tip of the Tongue Known-Item Retrieval (2021) paper.☆12Nov 4, 2021Updated 4 years ago
- SeqTrans: Automatic Vulnerability Fix via Sequence to Sequence Learning☆17Mar 9, 2022Updated 4 years ago
- A project to automatically generate program repair recommendation in the field of smart contracts for given code snippets with their cont…☆16Aug 30, 2025Updated 10 months ago
- MODIT: On Multi-Modal Learning of Editing Source Code.☆20Apr 24, 2021Updated 5 years ago
- A Python package that demontrates arbitrary code execution during the install process of a Python package.☆11Sep 28, 2014Updated 11 years 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.
- ☆10May 14, 2024Updated 2 years ago
- Code for evaluating AI systems on the MASK honesty benchmark.☆23Mar 6, 2025Updated last year
- Code that accompanies the PyData New York (2022) talk: Addressing the sensitivity of Large language models☆13Nov 7, 2022Updated 3 years ago
- mcp wrapper for openai built-in tools☆12Mar 13, 2025Updated last year
- 用codeql分析grafana最新任意文件读取☆11Dec 10, 2021Updated 4 years ago
- A Reproducible Benchmark of Recent Java Bugs☆51Aug 19, 2025Updated 10 months ago
- The dataset in the paper "Detecting '0-Day' Vulnerability: An Empirical Study of Secret Security Patch in OSS", which appears in the 2019…☆14Aug 9, 2023Updated 2 years ago
- For our ISSTA23 paper "How Effective are Neural Networks for Fixing Security Vulnerabilities?" by Yi Wu, Nan Jiang, Hung Viet Pham, Thiba…☆42Nov 13, 2023Updated 2 years ago
- MetricEval: A framework that conceptualizes and operationalizes four main components of metric evaluation, in terms of reliability and va…☆12Nov 6, 2023Updated 2 years 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.
- ☆13Jun 27, 2025Updated last year
- ☆15Oct 30, 2024Updated last year
- About Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects …☆66Jul 19, 2023Updated 2 years ago
- Sign and verify digital signatures in native Python with RSA☆30Nov 10, 2011Updated 14 years ago
- Implementation of "Towards Understanding Mixture of Experts in Deep Learning", NeurIPS 2022☆10Jan 6, 2023Updated 3 years ago
- Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts.☆10Sep 1, 2021Updated 4 years ago
- ☆12Nov 14, 2021Updated 4 years ago
- A symbolic execution engine for Python☆44Dec 4, 2012Updated 13 years ago
- Simple setup for personal dotfiles☆11Mar 29, 2026Updated 3 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.
- ☆15Nov 22, 2023Updated 2 years ago
- The source code of [CCS'25] BACScan: Automatic Black-Box Detection of Broken-Access-Control Vulnerabilities in Web Applications☆47Apr 11, 2026Updated 2 months ago
- A Soul-grounded Minecraft social simulation runtime where Mineflayer actors pursue LifeGoals through evidence-backed action skills and tr…☆24Jul 2, 2026Updated last week
- Program Slicing. Experimental library.☆14Feb 2, 2022Updated 4 years ago
- Neural Program Repair with Execution-based Backpropagation http://arxiv.org/pdf/2105.04123☆25Dec 19, 2022Updated 3 years ago
- Ranking LLM-Generated Loop Invariants for Program Verification.☆13Aug 20, 2024Updated last year
- Code and scripts for NAACL 2022 industry track paper "Fast and Light-weight Answer Text Retrieval in Dialogue Systems". Built on top of C…☆13Sep 17, 2025Updated 9 months ago