google/error-prone
Error Prone
Error Prone is a static code analyzer and Java compiler extension that identifies common programming mistakes during the build process. It functions as a compiler wrapper that flags potential errors as compile-time failures to prevent bugs from reaching execution.
The tool integrates directly into the Java compilation workflow to provide compile-time validation. It allows for the definition of custom linting rules and analysis checks to enforce specific coding standards and detect prohibited API usage.
The system utilizes abstract syntax tree analysis and type-aware pattern matching to inspect source code without executing the program. It supports incremental compilation and triggers standard compiler error messages to block builds when predefined bug patterns are detected.
Features
- Static Code Analysis - Provides automated static code analysis for Java to identify bugs and vulnerabilities during the build process.
- Static Code Analyzers - Identifies potential bugs and vulnerabilities through automated linting of source code.
- Source Code Analysis - Analyzes source code during compilation to identify and block frequent coding mistakes.
- Java Linters - Acts as a specialized tool for enforcing structural and stylistic consistency in Java source code.
- Compile-Time Correctness Verification - Ensures code correctness by rejecting inconsistent behavior and identifying errors during the compilation phase.
- Compiler Extensions - Integrates directly into the Java compilation process to enforce coding standards and prevent bugs.
- Compiler-Integrated Analysis - Hooks directly into the Java compiler to resolve symbols and type relationships during static analysis.
- Type-Aware Matching - Uses the compiler's symbol table to validate that flagged code matches specific Java types and signatures.
- Static Analysis Rule Engines - Provides a framework for defining custom code analysis rules that inspect source code and metadata.
- Static Logic Error Detection - Identifies potential logic flaws and syntax errors in source code via static analysis.
- Automated Code Quality Tools - Enforces coding standards by automatically detecting violations within the Java compilation workflow.
- Custom Rule Development - Allows the definition of bespoke validation logic to enforce project-specific coding standards.
- Compiler Error Emissions - Triggers standard compiler error messages to block builds when predefined bug patterns are detected.
- Incremental Analysis Engines - Optimizes analysis performance by re-examining only modified source files across builds.
- Code Analysis - Catches common programming mistakes at compile-time.
- Metaprogramming and Compilers - Catch common Java mistakes at compile-time.
