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!

Lokalisieren Sie den Abschnitt zu statischen Code-Analyzern in der Projektdokumentation und prüfen Sie, wie vorhandene Tools aufgelistet sind. Fügen Sie Infer hinzu, wobei das verknüpfte Projekt als Referenz dient, und überprüfen Sie anschließend, dass der Abschnitt die neue Empfehlung und den Link enthält.

Vom Indexierungsmodell aus dem Issue-Text verfasst.