Detailed description of the levels of certainty and sets of diagnostic rules is given in the documentation section "Getting Acquainted with the PVS-Studio Static Code Analyzer".
This is exactly the case when a reply to a comment turned into a small blog post. The power of ...