Correct SAL for static analysis.