SPARTA
Error Prone
| SPARTA | Error Prone | |
|---|---|---|
| 1 | 16 | |
| 608 | 6,724 | |
| 0.2% | 0.4% | |
| 8.0 | 9.4 | |
| 2 months ago | 5 days ago | |
| C++ | Java | |
| MIT License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
SPARTA
Error Prone
-
Any library you would like to recommend to others as it helps you a lot? For me, mapstruct is one of them. Hopefully I would hear some other nice libraries I never try.
error-prone is good for some extra static analysis.
-
How to use Java Records
A special kind of validation is enforcing that record fields are not null. (Un)fortunately, records do not have any special behavior regarding nullability. You can use tools like NullAway or Error Prone to prevent null in your code in general, or you can add checks to your records:
- Prusti: Static Analyzer for Rust
-
Why is `suspend` a language keyword, but @Composable and @Serializable are annotations
I am all in favour to more third side libraries adding functionalities, like Lombok, Manifold and error prone. As well as smaller projects like this shameless plug and what appears in this list
-
Picnic loves Error Prone: producing high-quality and consistent Java code
If only Google didn't suck when it came to Java9+ support... https://github.com/google/error-prone/issues/2649
-
What does the future hold for Project Amber?
I haven't used it. I use Google's ErrorProne + Lombok to prevent NPEs in java.
-
Plans for Compile-time Null Pointer Safety?
Take a look at NullAway, a plugin for Error Prone.
-
What I miss in Java, the perspective of a Kotlin developer
For some of this stuff, there are compiler extensions that allow extra type checking to be added e.g. Google Error-Prone: https://github.com/google/error-prone with stuff like: https://errorprone.info/bugpattern/ReturnMissingNullable.
Doesn't help you with third party libraries, but across an org applying that rule (and others!) typically ensures some consistency.
-
A guide on how to improve your coding skills with static code analysis.
How to build a static analysis plugin. Google has a framework for Java with a good tutorial.
- Error Prone 2.11.0 Released. Requires JDK11+
What are some alternatives?
infer - A static analyzer for Java, C, C++, and Objective-C
Spotbugs - SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
MIRAI - Rust mid-level IR Abstract Interpreter
SonarQube - Continuous Inspection
prusti-dev - A static verifier for Rust, based on the Viper verification infrastructure.
PMD - An extensible multilanguage static code analyzer.
AdGuardDNS - Public DNS resolver that protects you from ad trackers
Checkstyle - Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.
gobra - Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
FindBugs - The new home of the FindBugs project
Lombok - Very spicy additions to the Java programming language.