void |
BetterCFGBuilder2.build() |
|
void |
CFGBuilder.build() |
Build the CFG.
|
BlockTypeDataflow |
ClassContext.getBlockTypeDataflow(org.apache.bcel.classfile.Method method) |
Get BlockType dataflow for given method.
|
CallListDataflow |
ClassContext.getCallListDataflow(org.apache.bcel.classfile.Method method) |
Get CallListDataflow for method.
|
CFG |
ClassContext.getCFG(org.apache.bcel.classfile.Method method) |
Get a CFG for given method.
|
CompactLocationNumbering |
ClassContext.getCompactLocationNumbering(org.apache.bcel.classfile.Method method) |
Get a CompactLocationNumbering for a method.
|
ConstantDataflow |
ClassContext.getConstantDataflow(org.apache.bcel.classfile.Method method) |
Get ConstantDataflow for method.
|
DefinitelyNullSetDataflow |
ClassContext.getDefinitelyNullSetDataflow(org.apache.bcel.classfile.Method method) |
Get DefinitelyNullSetDataflow for a method.
|
DepthFirstSearch |
ClassContext.getDepthFirstSearch(org.apache.bcel.classfile.Method method) |
Get a DepthFirstSearch for given method.
|
IsNullValueDataflow |
ClassContext.getIsNullValueDataflow(org.apache.bcel.classfile.Method method) |
Get an IsNullValueDataflow for given method.
|
LiveLocalStoreDataflow |
ClassContext.getLiveLocalStoreDataflow(org.apache.bcel.classfile.Method method) |
Get LiveLocalStoreAnalysis dataflow for given method.
|
LoadDataflow |
ClassContext.getLoadDataflow(org.apache.bcel.classfile.Method method) |
Get load dataflow.
|
LockChecker |
ClassContext.getLockChecker(org.apache.bcel.classfile.Method method) |
Get LockChecker for method.
|
LockDataflow |
ClassContext.getLockDataflow(org.apache.bcel.classfile.Method method) |
Get dataflow for LockAnalysis for given method.
|
DominatorsAnalysis |
ClassContext.getNonExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method) |
Get DominatorsAnalysis for given method,
where exception edges are ignored.
|
PostDominatorsAnalysis |
ClassContext.getNonExceptionPostDominatorsAnalysis(org.apache.bcel.classfile.Method method) |
Get PostDominatorsAnalysis for given method,
where exception edges are ignored.
|
PostDominatorsAnalysis |
ClassContext.getNonImplicitExceptionDominatorsAnalysis(org.apache.bcel.classfile.Method method) |
Get DominatorsAnalysis for given method,
where implicit exception edges are ignored.
|
ReturnPathDataflow |
ClassContext.getReturnPathDataflow(org.apache.bcel.classfile.Method method) |
Get ReturnPathDataflow for method.
|
ReturnPathTypeDataflow |
ClassContext.getReturnPathTypeDataflow(org.apache.bcel.classfile.Method method) |
Get ReturnPathTypeDataflow for a method.
|
ReverseDepthFirstSearch |
ClassContext.getReverseDepthFirstSearch(org.apache.bcel.classfile.Method method) |
Get a ReverseDepthFirstSearch for given method.
|
StoreDataflow |
ClassContext.getStoreDataflow(org.apache.bcel.classfile.Method method) |
Get store dataflow.
|
TypeDataflow |
ClassContext.getTypeDataflow(org.apache.bcel.classfile.Method method) |
Get a TypeDataflow for given method.
|
UnconditionalValueDerefDataflow |
ClassContext.getUnconditionalValueDerefDataflow(org.apache.bcel.classfile.Method method) |
Get the UnconditionalValueDerefDataflow for a method.
|
UsagesRequiringNonNullValues |
ClassContext.getUsagesRequiringNonNullValues(org.apache.bcel.classfile.Method method) |
Get a UsagesRequiringNonNullValues for given method.
|
ValueNumberDataflow |
ClassContext.getValueNumberDataflow(org.apache.bcel.classfile.Method method) |
Get a ValueNumberDataflow for given method.
|
void |
BetterCFGBuilder2.inline(edu.umd.cs.findbugs.ba.BetterCFGBuilder2.Context context) |
Inline a subroutine into a calling context.
|