From 7c9ef94aed76fdf4f223e72aaad39ab7146fbfce Mon Sep 17 00:00:00 2001
From: Mate Rigo <m.rigo@precitec-optronik.de>
Date: Thu, 27 Jun 2024 10:46:30 +0200
Subject: [PATCH] Add infer to static analyzers

---
 02-Use_the_Tools_Available.md | 5 +++++
 1 file changed, 5 insertions(+)

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