In week 4, the soundness vs completeness matrix is incorrect and not coherent with the logic presented in the previous slide.
Logic presented
| Property |
Definition |
| Soundness |
Analysis says no bugs -> No bugs && Analysis says bug -> It is a bug |
| Completeness |
No bugs -> Analysis says no bugs |
Current matrix
|
Complete |
Incomplete |
| Sound |
Reports all errors; no false alarms |
Reports all errors; may report false positives |
| Unsound |
May not report all errors; Reports no false alarms |
May not report all errors; may report false alarms |
Corrected matrix
|
Complete |
Incomplete |
| Sound |
Reports all errors; no false alarms |
May not report all errors; Reports no false alarms |
| Unsound |
Reports all errors; may report false positives |
May not report all errors; may report false alarms |
