@joxean I usually think of "sound" in SAST as "no false negatives" (for what you are modelling, of course).

Now wrap your head around what a "soundy" analysis is...

#ProgramAnalysis #SoundAnalysis #soundy #SAST