CheckNullPointer: Update std.cfg and test that updates are correct