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
- An automated smart contract vulnerability repair tool☆12Aug 15, 2023Updated 2 years ago
- Vul4J: A Dataset of Reproducible Java Vulnerabilities☆132Jun 2, 2026Updated 2 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Jan 14, 2025Updated last year
- ✨ Solidity Language Lexer and Parser, generated by official ANTLR4 grammar.☆18Feb 2, 2024Updated 2 years ago
- Archer2.0 evolves from its predecessor by introducing ASPO, which overcomes fundamental PPO-Clip limitations to prevent premature converg…☆31Oct 10, 2025Updated 8 months ago
- ☆21Jun 29, 2024Updated last year
- 卡尔开放平台-提供第三方接入解决方案☆10Feb 26, 2018Updated 8 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 9 months ago
- For our ICSE21 paper "CURE: Code-Aware Neural Machine Translation for Automatic Program Repair" by Nan Jiang, Thibaud Lutellier, and Lin …☆58Dec 8, 2022Updated 3 years ago
- ☆11Oct 11, 2016Updated 9 years ago
- ☆10May 14, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Code for evaluating AI systems on the MASK honesty benchmark.☆22Mar 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
- Indexing three datasets for GPTScan☆65Jun 11, 2024Updated 2 years ago
- AIBugHunter: A Practical Tool for Predicting, Classifying and Repairing Software Vulnerabilities☆42Apr 10, 2024Updated 2 years ago
- mcp wrapper for openai built-in tools☆12Mar 13, 2025Updated last year
- Clober Solidity Library☆10Jun 9, 2025Updated last year
- A Reproducible Benchmark of Recent Java Bugs☆50Aug 19, 2025Updated 10 months ago
- 刹那是永恒☆13Feb 26, 2020Updated 6 years ago
- The collections of MOE (Mixture Of Expert) papers, code and tools, etc.☆12Mar 15, 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.
- This is a campus navigation system, it was bulided by Qt.☆16May 28, 2022Updated 4 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
- For our ICSE22 paper "EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries" by Jiannan Wang, Thibaud Lutellier, Shangshu Qia…☆13Aug 16, 2023Updated 2 years ago
- ☆13Jun 27, 2025Updated 11 months ago
- ☆14Oct 30, 2024Updated last year
- Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts.☆11Sep 1, 2021Updated 4 years ago
- Sign and verify digital signatures in native Python with RSA☆30Nov 10, 2011Updated 14 years ago
- ☆13May 7, 2023Updated 3 years ago
- A basic pure pytorch implementation of flash attention☆16Oct 28, 2024Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☠️ Ground-truth dataset for vulnerability prediction (known research datasets and data sources included such as NVD, CVE Details and OSV)…☆107Apr 22, 2026Updated last month
- 基于Strom的实时流量分析防火墙系统☆12Jul 4, 2016Updated 9 years ago
- ☆12Nov 14, 2021Updated 4 years ago
- A symbolic execution engine for Python☆44Dec 4, 2012Updated 13 years ago
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆141Aug 29, 2022Updated 3 years ago
- Extensive time series analysis of chinese PM2.5 content, using models from ARMA and VAR to LSTMs and dynamic time warping clustering☆12Aug 17, 2019Updated 6 years ago
- Simple setup for personal dotfiles☆11Mar 29, 2026Updated 2 months ago