diff --git a/02-Use_the_Tools_Available.md b/02-Use_the_Tools_Available.md
index 83e8cb8..d6b87c3 100644
--- a/02-Use_the_Tools_Available.md
+++ b/02-Use_the_Tools_Available.md
@@ -269,6 +269,11 @@ The source code is [available on GitHub](https://github.com/NASA-SW-VnV/ikos).
 
 [codespell](https://github.com/codespell-project/codespell) is a spell checker for your source code.
 
+### infer
+
+[infer](https://github.com/facebook/infer) A static analyzer for Java, C, C++, and Objective-C
+
+
 ## Runtime Checkers
 
 ### Code Coverage Analysis