NullDeref A simple intra-procedural null-dereference checker for Java programs, based on the Soot analysis framework.