Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: I swapped the definitions of complete and sound in the text to match the diagram.

...

A static analysis tool is considered sound complete (with respect to a specific guideline) if it does not give a false-negative result, meaning it is able to find all violations of a guideline.

A static analysis tool is considered complete sound if it does not issue false-positive results, or false alarms. Too many such false alarms rapidly lead users to ignore the results of a tool, potentially missing serious issues.

...