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