AbstractJimpleBasedICFG (Soot API)

java.lang.Object
- soot.jimple.toolkits.ide.icfg.AbstractJimpleBasedICFG

All Implemented Interfaces:

heros.InterproceduralCFG<Unit,SootMethod>, BiDiInterproceduralCFG<Unit,SootMethod>

Direct Known Subclasses:

JimpleBasedInterproceduralCFG, OnTheFlyJimpleBasedICFG
```
public abstract class AbstractJimpleBasedICFG
extends java.lang.Object
implements BiDiInterproceduralCFG<Unit,SootMethod>
```

Field Summary

Fields
Modifier and Type	Field and Description
`protected com.google.common.cache.LoadingCache<Body,DirectedGraph<Unit>>`	`bodyToUnitGraph`
`protected boolean`	`enableExceptions`
`protected com.google.common.cache.LoadingCache<SootMethod,java.util.Set<Unit>>`	`methodToCallsFromWithin`
`protected com.google.common.cache.LoadingCache<SootMethod,java.util.List<Value>>`	`methodToParameterRefs`
`protected java.util.Map<Unit,Body>`	`unitToOwner`

Constructor Summary

Constructors
Constructor and Description

AbstractJimpleBasedICFG()

AbstractJimpleBasedICFG(boolean enableExceptions)

Constructors
Constructor and Description
`AbstractJimpleBasedICFG()`
`AbstractJimpleBasedICFG(boolean enableExceptions)`

Method Summary

Methods
Modifier and Type	Method and Description
`java.util.Set<Unit>`	`allNonCallEndNodes()`
`java.util.Set<Unit>`	`allNonCallStartNodes()`
`java.util.Set<Unit>`	`getCallsFromWithin(SootMethod m)`
`java.util.Collection<Unit>`	`getEndPointsOf(SootMethod m)`
`SootMethod`	`getMethodOf(Unit u)`
`DirectedGraph<Unit>`	`getOrCreateUnitGraph(Body body)`
`DirectedGraph<Unit>`	`getOrCreateUnitGraph(SootMethod m)`
`java.util.List<Value>`	`getParameterRefs(SootMethod m)`
`java.util.List<Unit>`	`getPredsOf(Unit u)`
`java.util.List<Unit>`	`getPredsOfCallAt(Unit u)`
`java.util.Collection<Unit>`	`getReturnSitesOfCallAt(Unit u)`
`java.util.Collection<Unit>`	`getStartPointsOf(SootMethod m)`
`java.util.List<Unit>`	`getSuccsOf(Unit u)`
`boolean`	`isBranchTarget(Unit u, Unit succ)`
`boolean`	`isCallStmt(Unit u)`
`boolean`	`isExitStmt(Unit u)`
`boolean`	`isFallThroughSuccessor(Unit u, Unit succ)`
`boolean`	`isReturnSite(Unit n)` Gets whether the given statement is a return site of at least one call
`boolean`	`isStartPoint(Unit u)`
`protected DirectedGraph<Unit>`	`makeGraph(Body body)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface heros.InterproceduralCFG
getCalleesOfCallAt, getCallersOf

- Field Detail
  - enableExceptions
```
protected final boolean enableExceptions
```
  - unitToOwner
```
protected final java.util.Map<Unit,Body> unitToOwner
```
  - bodyToUnitGraph
```
protected final com.google.common.cache.LoadingCache<Body,DirectedGraph<Unit>> bodyToUnitGraph
```
  - methodToParameterRefs
```
protected final com.google.common.cache.LoadingCache<SootMethod,java.util.List<Value>> methodToParameterRefs
```
  - methodToCallsFromWithin
```
protected final com.google.common.cache.LoadingCache<SootMethod,java.util.Set<Unit>> methodToCallsFromWithin
```
- Constructor Detail
  - AbstractJimpleBasedICFG
```
public AbstractJimpleBasedICFG()
```
  - AbstractJimpleBasedICFG
```
public AbstractJimpleBasedICFG(boolean enableExceptions)
```
- Method Detail
  - getMethodOf
```
public SootMethod getMethodOf(Unit u)
```
    Specified by:
    
    getMethodOf in interface heros.InterproceduralCFG<Unit,SootMethod>
  - getSuccsOf
```
public java.util.List<Unit> getSuccsOf(Unit u)
```
    Specified by:
    
    getSuccsOf in interface heros.InterproceduralCFG<Unit,SootMethod>
  - getOrCreateUnitGraph
```
public DirectedGraph<Unit> getOrCreateUnitGraph(SootMethod m)
```
    Specified by:
    
    getOrCreateUnitGraph in interface BiDiInterproceduralCFG<Unit,SootMethod>
  - getOrCreateUnitGraph
```
public DirectedGraph<Unit> getOrCreateUnitGraph(Body body)
```
  - makeGraph
```
protected DirectedGraph<Unit> makeGraph(Body body)
```
  - isExitStmt
```
public boolean isExitStmt(Unit u)
```
    Specified by:
    
    isExitStmt in interface heros.InterproceduralCFG<Unit,SootMethod>
  - isStartPoint
```
public boolean isStartPoint(Unit u)
```
    Specified by:
    
    isStartPoint in interface heros.InterproceduralCFG<Unit,SootMethod>
  - isFallThroughSuccessor
```
public boolean isFallThroughSuccessor(Unit u,
                             Unit succ)
```
    Specified by:
    
    isFallThroughSuccessor in interface heros.InterproceduralCFG<Unit,SootMethod>
  - isBranchTarget
```
public boolean isBranchTarget(Unit u,
                     Unit succ)
```
    Specified by:
    
    isBranchTarget in interface heros.InterproceduralCFG<Unit,SootMethod>
  - getParameterRefs
```
public java.util.List<Value> getParameterRefs(SootMethod m)
```
    Specified by:
    
    getParameterRefs in interface BiDiInterproceduralCFG<Unit,SootMethod>
  - getStartPointsOf
```
public java.util.Collection<Unit> getStartPointsOf(SootMethod m)
```
    Specified by:
    
    getStartPointsOf in interface heros.InterproceduralCFG<Unit,SootMethod>
  - isCallStmt
```
public boolean isCallStmt(Unit u)
```
    Specified by:
    
    isCallStmt in interface heros.InterproceduralCFG<Unit,SootMethod>
  - allNonCallStartNodes
```
public java.util.Set<Unit> allNonCallStartNodes()
```
    Specified by:
    
    allNonCallStartNodes in interface heros.InterproceduralCFG<Unit,SootMethod>
  - allNonCallEndNodes
```
public java.util.Set<Unit> allNonCallEndNodes()
```
    Specified by:
    
    allNonCallEndNodes in interface BiDiInterproceduralCFG<Unit,SootMethod>
  - getReturnSitesOfCallAt
```
public java.util.Collection<Unit> getReturnSitesOfCallAt(Unit u)
```
    Specified by:
    
    getReturnSitesOfCallAt in interface heros.InterproceduralCFG<Unit,SootMethod>
  - getCallsFromWithin
```
public java.util.Set<Unit> getCallsFromWithin(SootMethod m)
```
    Specified by:
    
    getCallsFromWithin in interface heros.InterproceduralCFG<Unit,SootMethod>
  - getPredsOf
```
public java.util.List<Unit> getPredsOf(Unit u)
```
    Specified by:
    
    getPredsOf in interface heros.InterproceduralCFG<Unit,SootMethod>
    
    Specified by:
    
    getPredsOf in interface BiDiInterproceduralCFG<Unit,SootMethod>
  - getEndPointsOf
```
public java.util.Collection<Unit> getEndPointsOf(SootMethod m)
```
    Specified by:
    
    getEndPointsOf in interface BiDiInterproceduralCFG<Unit,SootMethod>
  - getPredsOfCallAt
```
public java.util.List<Unit> getPredsOfCallAt(Unit u)
```
    Specified by:
    
    getPredsOfCallAt in interface BiDiInterproceduralCFG<Unit,SootMethod>
  - isReturnSite
```
public boolean isReturnSite(Unit n)
```
    Description copied from interface: BiDiInterproceduralCFG
    
    Gets whether the given statement is a return site of at least one call
    
    Specified by:
    
    isReturnSite in interface BiDiInterproceduralCFG<Unit,SootMethod>
    
    Parameters:
    n - The statement to check
    
    Returns:
    True if the given statement is a return site, otherwise false

Class AbstractJimpleBasedICFG

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface heros.InterproceduralCFG

Field Detail

enableExceptions

unitToOwner

bodyToUnitGraph

methodToParameterRefs

methodToCallsFromWithin

Constructor Detail

AbstractJimpleBasedICFG

AbstractJimpleBasedICFG

Method Detail

getMethodOf

getSuccsOf

getOrCreateUnitGraph

getOrCreateUnitGraph

makeGraph

isExitStmt

isStartPoint

isFallThroughSuccessor

isBranchTarget

getParameterRefs

getStartPointsOf

isCallStmt

allNonCallStartNodes

allNonCallEndNodes

getReturnSitesOfCallAt

getCallsFromWithin

getPredsOf

getEndPointsOf

getPredsOfCallAt

isReturnSite