More static analysis stuff.