Clang Static Analyzer checkers are sometimes only partially bound to Sonar CFamily rules.
We can find multiple ways to address this fact:
- purely ignore unbound messages
- explicitly match and handle all possible checkers messages and assert that. This could be a way to notice changes that could lead to FN and changes that could be mapped when upgrading llvm.