The cpp static analysis tools are all wildly unsound. This is a core design principle behind all real world deployable static analysis systems, whether they are based on abstract interpretation or model checking or symbolic execution, or anything else.

Static analysis is a powerful technique. But sound formal methods have been failing to make a splash for nearly five decades.