Class NullPointerFrameWork<T extends ISSABasicBlock>

java.lang.Object
com.ibm.wala.cfg.exc.intra.NullPointerFrameWork<T>
All Implemented Interfaces:
IKilldallFramework<T,NullPointerState>

public class NullPointerFrameWork<T extends ISSABasicBlock> extends Object implements IKilldallFramework<T,NullPointerState>
Nullpointer analysis - NOT A REAL KILDALL framework instance, because the transfer functions are not distribute (similar to constant propagation). Therefore we remove back edges in the flow graph.
Author:
Juergen Graf <graf@kit.edu>