All Projects → google → Error Prone

google / Error Prone

Licence: apache-2.0
Catch common Java mistakes as compile-time errors

Programming Languages

java
68154 projects - #9 most used programming language

Projects that are alternatives of or similar to Error Prone

Security Tools
Collection of small security tools, mostly in Bash and Python. CTFs, Bug Bounty and other stuff.
Stars: ✭ 509 (-91.22%)
Mutual labels:  static-analysis
Phpdoc Parser
Next-gen phpDoc parser with support for intersection types and generics
Stars: ✭ 569 (-90.19%)
Mutual labels:  static-analysis
Phpcs Calisthenics Rules
Object Calisthenics rules for PHP_CodeSniffer
Stars: ✭ 605 (-89.57%)
Mutual labels:  static-analysis
Svf
Static Value-Flow Analysis Framework for Source Code
Stars: ✭ 540 (-90.69%)
Mutual labels:  static-analysis
Security Code Scan
Vulnerability Patterns Detector for C# and VB.NET
Stars: ✭ 550 (-90.52%)
Mutual labels:  static-analysis
Phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
Stars: ✭ 5,194 (-10.43%)
Mutual labels:  static-analysis
Phasar
A LLVM-based static analysis framework.
Stars: ✭ 503 (-91.33%)
Mutual labels:  static-analysis
Andromeda
Andromeda - Interactive Reverse Engineering Tool for Android Applications
Stars: ✭ 627 (-89.19%)
Mutual labels:  static-analysis
Jsprime
a javascript static security analysis tool
Stars: ✭ 556 (-90.41%)
Mutual labels:  static-analysis
Rubocop Rspec
Code style checking for RSpec files
Stars: ✭ 603 (-89.6%)
Mutual labels:  static-analysis
Lazy importer
library for importing functions from dlls in a hidden, reverse engineer unfriendly way
Stars: ✭ 544 (-90.62%)
Mutual labels:  static-analysis
Shellcheck
ShellCheck, a static analysis tool for shell scripts
Stars: ✭ 27,211 (+369.24%)
Mutual labels:  static-analysis
Crosshair
An analysis tool for Python that blurs the line between testing and type systems.
Stars: ✭ 586 (-89.89%)
Mutual labels:  static-analysis
Jedi
Awesome autocompletion, static analysis and refactoring library for python
Stars: ✭ 5,037 (-13.14%)
Mutual labels:  static-analysis
Felix
The Felix Programming Language
Stars: ✭ 609 (-89.5%)
Mutual labels:  static-analysis
Cmake Examples
Useful CMake Examples
Stars: ✭ 7,220 (+24.5%)
Mutual labels:  static-analysis
Hadolint
Dockerfile linter, validate inline bash, written in Haskell
Stars: ✭ 6,284 (+8.36%)
Mutual labels:  static-analysis
Habomalhunter
HaboMalHunter is a sub-project of Habo Malware Analysis System (https://habo.qq.com), which can be used for automated malware analysis and security assessment on the Linux system.
Stars: ✭ 627 (-89.19%)
Mutual labels:  static-analysis
R2frida
Radare2 and Frida better together.
Stars: ✭ 610 (-89.48%)
Mutual labels:  static-analysis
Pyre Check
Performant type-checking for python.
Stars: ✭ 5,716 (-1.43%)
Mutual labels:  static-analysis

Error Prone

Error Prone is a static analysis tool for Java that catches common programming mistakes at compile-time.

public class ShortSet {
  public static void main (String[] args) {
    Set<Short> s = new HashSet<>();
    for (short i = 0; i < 100; i++) {
      s.add(i);
      s.remove(i - 1);
    }
    System.out.println(s.size());
  }
}
error: [CollectionIncompatibleType] Argument 'i - 1' should not be passed to this method;
its type int is not compatible with its collection's type argument Short
      s.remove(i - 1);
              ^
    (see https://errorprone.info/bugpattern/CollectionIncompatibleType)
1 error

Getting Started

Our documentation is at errorprone.info.

Error Prone works with Bazel, Maven, Ant, and Gradle. See our installation instructions for details.

Developing Error Prone

Developing and building Error Prone is documented on the wiki.

Links

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].