public final class InterprocNullPointerAnalysis extends Object
Modifier and Type | Method and Description |
---|---|
static InterprocNullPointerAnalysis |
compute(TypeReference[] ignoredExceptions,
CallGraph cg,
MethodState defaultMethodState,
MonitorUtil.IProgressMonitor progress,
boolean optHasExceptions) |
InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock> |
getResult()
Returns the result of the interprocedural analysis.
|
public static InterprocNullPointerAnalysis compute(TypeReference[] ignoredExceptions, CallGraph cg, MethodState defaultMethodState, MonitorUtil.IProgressMonitor progress, boolean optHasExceptions) throws WalaException, GraphIntegrity.UnsoundGraphException, CancelException
public InterprocAnalysisResult<SSAInstruction,IExplodedBasicBlock> getResult()