From 06c7ae047c4146c51204fbd41decff500b9dbdeb Mon Sep 17 00:00:00 2001 From: Moshe-Immerman Date: Sat, 27 May 2017 19:21:08 +0200 Subject: [PATCH] Add Facebook infer --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index f116fce..538a0ca 100644 --- a/README.md +++ b/README.md @@ -151,6 +151,7 @@ A curated list of awesome Java frameworks, libraries and software. * [Checkstyle](https://github.com/checkstyle/checkstyle) - Static analysis of coding conventions and standards. * [Error Prone](https://github.com/google/error-prone) - Catches common programming mistakes as compile-time errors. * [FindBugs](http://findbugs.sourceforge.net/) - Static analysis of bytecode to find potential bugs. +* [Infer](https://github.com/facebook/infer) - Modern static analysis tool for verifying the correctness of code. * [jQAssistant](http://jqassistant.org/) - Static code analysis with Neo4J-based query language. * [PMD](https://github.com/pmd/pmd) - Source code analysis for finding bad coding practices. * [Spoon](https://github.com/INRIA/spoon/) - Library for analyzing and transforming Java source code.