Soundness in Static Analysis

It's backwards. And I think it's wrong.

Definition of Soundness and Completeness

Soundness refers to the lack of false positives; completeness, false negatives.

x