StaticBugCheckers is an empirical study of the recall (i.e., how many of known bugs can we find) of state-of-the art static bug finding tools including Google's Error Prone, Facebook's Infer, and Spotbugs.
☆11Nov 12, 2018Updated 7 years ago
Alternatives and similar repositories for StaticBugCheckers
Users that are interested in StaticBugCheckers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tool of collecting patch-related commits and parsing patches.☆13Dec 2, 2018Updated 7 years ago
- This is a repackaging of a version of the snowball-stemmer found at http://snowball.tartarus.org/ so that it's available on Maven Central…☆18Aug 24, 2020Updated 5 years ago
- ☆14Jul 23, 2020Updated 5 years ago
- Summary of static analysis in Java and C/C++☆18Aug 11, 2022Updated 3 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Static analysis for llvm☆20Mar 31, 2015Updated 11 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 10 years ago
- Rnalytica: An R package of JIRA defect datasets and tool suites for actionable software analytics☆12Aug 12, 2020Updated 5 years ago
- This is the project repository for the paper "Understanding the Automated Parameter Optimization on Transfer Learning for Cross-Project D…☆10Mar 26, 2020Updated 6 years ago
- ☆12Jun 8, 2021Updated 4 years ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆31Nov 7, 2015Updated 10 years ago
- AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations☆26Apr 26, 2021Updated 4 years ago
- Deadline countdowns for academic conferences relevant to the SSE chair.☆13Feb 10, 2026Updated 2 months ago
- Accurate Condition Synthesis☆20Aug 3, 2022Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Sep 11, 2020Updated 5 years ago
- ☆14Oct 11, 2017Updated 8 years ago
- Machine Learning (ML) research within medicine and healthcare represents one of the most challenging domains for both engineers and medic…☆16Aug 1, 2020Updated 5 years ago
- The dataset and source code for CugLM☆15Sep 1, 2020Updated 5 years ago
- Website of the course Sustainable Software Engineering☆23Apr 2, 2026Updated last week
- AutoML library for Accurat, based on AutoKeras and Scikit-Learn.☆14Jun 21, 2022Updated 3 years ago
- Flow graphs for Python☆27Sep 21, 2022Updated 3 years ago
- ☆12Dec 26, 2017Updated 8 years ago
- Sample solution for MLOps Marathon 2023☆29Jun 25, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- GUI for GHRepoSearcher. It allows to search online repositories on github.☆10May 20, 2022Updated 3 years ago
- ☆25Apr 8, 2016Updated 10 years ago
- "Take care of your car in the garage, and the car will take care of you on the road." ― Amit Kalantri☆12Jul 3, 2020Updated 5 years ago
- ☆14Sep 6, 2019Updated 6 years ago
- This is the official implementation of paper "AST-Trans: Code Summarization with Efficient Tree-StructuredAttention" acceptted in ICSE 20…☆26May 4, 2024Updated last year
- Hardware-assisted Data-flow Isolation☆29Jan 28, 2018Updated 8 years ago
- Modified Nexus 9 kernel for Kenali Project☆30Aug 5, 2019Updated 6 years ago
- This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.☆29Jun 21, 2022Updated 3 years ago
- Example of code coverage instrumentation in Rust☆19Mar 28, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆28Jan 20, 2026Updated 2 months ago
- A template for writing your Bachelor, Master or PhD thesis.☆11Sep 25, 2023Updated 2 years ago
- This is a script that crawls the Holland2stay housing website every certain seconds and alerts the information that matches the criteria …☆21Aug 1, 2023Updated 2 years ago
- [ICFEM2017 / IEEE Transactions on Reliability] Learning Type for Binary / Type Learning for Binaries and its Applications☆15Sep 14, 2018Updated 7 years ago
- Networks meet Finance in Python - July 27 2014☆23Oct 2, 2014Updated 11 years ago
- Topic and project suggestions for ScalaxHack 2016.☆10Dec 11, 2016Updated 9 years ago
- Build Docker images for unibench☆17Jan 1, 2021Updated 5 years ago