Infer might be added to the static code analyzer section

[materigoprecitec]

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!

[lefticus]

Feel free to make a PR adding it!