| Package | Description |
|---|---|
| com.ibm.wala.cfg.exc | |
| com.ibm.wala.cfg.exc.intra |
| Modifier and Type | Method and Description |
|---|---|
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock> |
NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions,
IR ir,
ParameterState paramState,
MethodState mState) |
static ExceptionPruningAnalysis<SSAInstruction,IExplodedBasicBlock> |
NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(TypeReference[] ignoredExceptions,
IR ir,
ParameterState paramState,
MethodState mState,
boolean optHasException) |
static ExceptionPruningAnalysis<SSAInstruction,ISSABasicBlock> |
NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(TypeReference[] ignoredExceptions,
IR ir,
ParameterState paramState,
MethodState mState) |
| Modifier and Type | Method and Description |
|---|---|
static ParameterState |
ParameterState.createDefault(IMethod m) |
| Modifier and Type | Method and Description |
|---|---|
void |
ParameterState.copyState(ParameterState v) |
| Constructor and Description |
|---|
ExplodedCFGNullPointerAnalysis(TypeReference[] ignoredExceptions,
IR ir,
ParameterState paramState,
MethodState mState,
boolean optHasExceptions) |
SSACFGNullPointerAnalysis(TypeReference[] ignoredExceptions,
IR ir,
ParameterState paramState,
MethodState mState) |
Copyright © 2015. All rights reserved.