Class InterprocNullPointerAnalysis

java.lang.Object
com.ibm.wala.cfg.exc.inter.InterprocNullPointerAnalysis

public final class InterprocNullPointerAnalysis extends Object
Interprocedural NullPointer Analysis.

The interprocedural NullPointer analysis builds an implicit ICFG, visits all CFGs in reverse invocation order recursively and propagates all parameter states.

1st run: collect and propagate all parameters on ENTRY nodes. 2nd run: collect the results on the ENTRY nodes.

This class has been developed as part of a student project "Studienarbeit" by Markus Herhoffer. It has been adapted and integrated into the WALA project by Juergen Graf.

Author:
Markus Herhoffer <markus.herhoffer@student.kit.edu>, Juergen Graf <graf@kit.edu>