Finished NullPointer checker. Added StrictAliasing checker.