...
To the greatest extent feasible, an analyzer should be both complete and sound with respect to enforceable guidelines. An analyzer is considered sound complete with respect to a specific guideline if it cannot give a false-negative result, meaning it finds all violations of the guideline within the entire program. An analyzer is considered complete sound if it cannot issue false-positive results, or false alarms. The possibilities for a given guideline are outlined in the following figure.
...