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!