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!

Localize a seção de analisadores de código estático na documentação do projeto e revise como as ferramentas existentes estão listadas. Adicione Infer usando o projeto vinculado como referência e, em seguida, verifique se a seção contém a nova recomendação e o link.

Escrita pelo modelo de indexação a partir do texto da issue.