Correct SAL annotations for static analysis.