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!