Infer might be added to the static code analyzer section

I have recently discovered infer:
https://github.com/facebook/infer
which has found a possible null pointer dereferencing in my c++ codebase, which both clang-tidy and cppcheck did not find.
So I am confident, that it could be included to the list of suggested tools.

Cheers!

Individua la sezione relativa agli analizzatori di codice statico nella documentazione del progetto e verifica come sono elencati gli strumenti esistenti. Aggiungi Infer usando il progetto collegato come riferimento, quindi verifica che la sezione contenga la nuova raccomandazione e il link.

Scritto dal modello di indicizzazione a partire dal testo della issue.