| Modifier and Type | Method and Description |
|---|---|
IterableSet<AugmentedStmt> |
DavaBody.get_MonitorFacts() |
IterableSet<AugmentedStmt> |
DavaBody.get_MonitorFacts() |
| Modifier and Type | Method and Description |
|---|---|
void |
DavaBody.consume_Condition(AugmentedStmt as) |
void |
DavaBody.consume_Condition(AugmentedStmt as) |
| Modifier and Type | Field and Description |
|---|---|
java.util.List<AugmentedStmt> |
AugmentedStmt.bpreds |
java.util.List<AugmentedStmt> |
AugmentedStmt.bpreds |
java.util.List<AugmentedStmt> |
AugmentedStmt.bsuccs |
java.util.List<AugmentedStmt> |
AugmentedStmt.bsuccs |
java.util.List<AugmentedStmt> |
AugmentedStmt.cpreds |
java.util.List<AugmentedStmt> |
AugmentedStmt.cpreds |
java.util.List<AugmentedStmt> |
AugmentedStmt.csuccs |
java.util.List<AugmentedStmt> |
AugmentedStmt.csuccs |
| Modifier and Type | Method and Description |
|---|---|
AugmentedStmt |
AugmentedStmtGraph.get_AugStmt(Stmt s) |
AugmentedStmt |
AugmentedStmtGraph.get_AugStmt(Stmt s) |
AugmentedStmt |
AugmentedStmtGraph.get_CloneOf(AugmentedStmt as) |
AugmentedStmt |
AugmentedStmtGraph.get_CloneOf(AugmentedStmt as) |
| Modifier and Type | Method and Description |
|---|---|
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody) |
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody) |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.get_BriefHeads() |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.get_BriefHeads() |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.get_BriefTails() |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.get_BriefTails() |
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.get_ChainView() |
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.get_ChainView() |
IterableSet<AugmentedStmt> |
AugmentedStmt.get_Dominators() |
IterableSet<AugmentedStmt> |
AugmentedStmt.get_Dominators() |
IterableSet<AugmentedStmt> |
AugmentedStmt.get_Reachers() |
IterableSet<AugmentedStmt> |
AugmentedStmt.get_Reachers() |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getHeads() |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getHeads() |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getPredsOf(AugmentedStmt s) |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getPredsOf(AugmentedStmt s) |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getPredsOf(Stmt s) |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getPredsOf(Stmt s) |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getSuccsOf(AugmentedStmt s) |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getSuccsOf(AugmentedStmt s) |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getSuccsOf(Stmt s) |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getSuccsOf(Stmt s) |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getTails() |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getTails() |
java.util.Iterator<AugmentedStmt> |
AugmentedStmtGraph.iterator() |
java.util.Iterator<AugmentedStmt> |
AugmentedStmtGraph.iterator() |
| Modifier and Type | Method and Description |
|---|---|
void |
AugmentedStmtGraph.add_AugmentedStmt(AugmentedStmt as) |
void |
AugmentedStmtGraph.add_AugmentedStmt(AugmentedStmt as) |
boolean |
AugmentedStmt.add_BPred(AugmentedStmt bpred) |
boolean |
AugmentedStmt.add_BPred(AugmentedStmt bpred) |
boolean |
AugmentedStmt.add_BSucc(AugmentedStmt bsucc) |
boolean |
AugmentedStmt.add_BSucc(AugmentedStmt bsucc) |
boolean |
AugmentedStmt.add_CPred(AugmentedStmt cpred) |
boolean |
AugmentedStmt.add_CPred(AugmentedStmt cpred) |
boolean |
AugmentedStmt.add_CSucc(AugmentedStmt csucc) |
boolean |
AugmentedStmt.add_CSucc(AugmentedStmt csucc) |
void |
AugmentedStmtGraph.add_StmtBinding(Stmt s,
AugmentedStmt as) |
void |
AugmentedStmtGraph.add_StmtBinding(Stmt s,
AugmentedStmt as) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
AugmentedStmt blocker,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
AugmentedStmt blocker,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
java.util.Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
java.util.Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources,
AugmentedStmt blocker,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources,
AugmentedStmt blocker,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources,
java.util.Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources,
java.util.Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
AugmentedStmt |
AugmentedStmtGraph.get_CloneOf(AugmentedStmt as) |
AugmentedStmt |
AugmentedStmtGraph.get_CloneOf(AugmentedStmt as) |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getPredsOf(AugmentedStmt s) |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getPredsOf(AugmentedStmt s) |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getSuccsOf(AugmentedStmt s) |
java.util.List<AugmentedStmt> |
AugmentedStmtGraph.getSuccsOf(AugmentedStmt s) |
boolean |
AugmentedStmtGraph.remove_AugmentedStmt(AugmentedStmt toRemove) |
boolean |
AugmentedStmtGraph.remove_AugmentedStmt(AugmentedStmt toRemove) |
boolean |
AugmentedStmt.remove_BPred(AugmentedStmt bpred) |
boolean |
AugmentedStmt.remove_BPred(AugmentedStmt bpred) |
boolean |
AugmentedStmt.remove_BSucc(AugmentedStmt bsucc) |
boolean |
AugmentedStmt.remove_BSucc(AugmentedStmt bsucc) |
boolean |
AugmentedStmt.remove_CPred(AugmentedStmt cpred) |
boolean |
AugmentedStmt.remove_CPred(AugmentedStmt cpred) |
boolean |
AugmentedStmt.remove_CSucc(AugmentedStmt csucc) |
boolean |
AugmentedStmt.remove_CSucc(AugmentedStmt csucc) |
| Modifier and Type | Method and Description |
|---|---|
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
java.util.Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(AugmentedStmt source,
java.util.Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources,
AugmentedStmt blocker,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources,
AugmentedStmt blocker,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources,
java.util.Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources,
java.util.Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources,
java.util.Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
void |
AugmentedStmtGraph.calculate_Reachability(java.util.Collection<AugmentedStmt> sources,
java.util.Set<AugmentedStmt> blockers,
AugmentedStmt dominator) |
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody) |
IterableSet<AugmentedStmt> |
AugmentedStmtGraph.clone_Body(IterableSet<AugmentedStmt> oldBody) |
void |
AugmentedStmt.set_Reachability(IterableSet<AugmentedStmt> reachers) |
void |
AugmentedStmt.set_Reachability(IterableSet<AugmentedStmt> reachers) |
| Modifier and Type | Field and Description |
|---|---|
protected AugmentedStmt |
SETNode.entryStmt |
protected AugmentedStmt |
SETNode.entryStmt |
| Modifier and Type | Method and Description |
|---|---|
void |
SETNode.find_SmallestSETNode(AugmentedStmt as) |
void |
SETNode.find_SmallestSETNode(AugmentedStmt as) |
protected void |
SETNode.remove_AugmentedStmt(AugmentedStmt as) |
protected void |
SETNode.remove_AugmentedStmt(AugmentedStmt as) |
| Modifier and Type | Method and Description |
|---|---|
AugmentedStmt |
FinalFieldDefinition.createDefaultStmt(java.lang.Object field) |
AugmentedStmt |
FinalFieldDefinition.createDefaultStmt(java.lang.Object field) |
AugmentedStmt |
SuperFirstStmtHandler.createStmtAccordingToType(Type tempType,
Value tempVal,
Local newLocal,
SootMethodRef getMethodRef) |
AugmentedStmt |
SuperFirstStmtHandler.createStmtAccordingToType(Type tempType,
Value tempVal,
Local newLocal,
SootMethodRef getMethodRef) |
| Constructor and Description |
|---|
InitializationDeclarationShortcut(AugmentedStmt ofInterest) |
InitializationDeclarationShortcut(AugmentedStmt ofInterest) |
InitializationDeclarationShortcut(boolean verbose,
AugmentedStmt ofInterest) |
InitializationDeclarationShortcut(boolean verbose,
AugmentedStmt ofInterest) |
| Modifier and Type | Method and Description |
|---|---|
AugmentedStmt |
SwitchNode.get_AugStmt() |
AugmentedStmt |
SwitchNode.get_AugStmt() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
ExceptionNode.add_TryStmt(AugmentedStmt as) |
boolean |
ExceptionNode.add_TryStmt(AugmentedStmt as) |
IterableSet<AugmentedStmt> |
ExceptionFinder.get_CatchBody(AugmentedStmt handlerAugmentedStmt) |
IterableSet<AugmentedStmt> |
ExceptionFinder.get_CatchBody(AugmentedStmt handlerAugmentedStmt) |
boolean |
ExceptionNode.remove(AugmentedStmt as) |
boolean |
ExceptionNode.remove(AugmentedStmt as) |
| Modifier and Type | Method and Description |
|---|---|
void |
ExceptionNode.add_CatchBody(IterableSet<AugmentedStmt> newCatchBody,
SootClass except) |
void |
ExceptionNode.add_CatchBody(IterableSet<AugmentedStmt> newCatchBody,
SootClass except) |
boolean |
ExceptionNode.add_TryStmts(java.util.Collection<AugmentedStmt> c) |
boolean |
ExceptionNode.add_TryStmts(java.util.Collection<AugmentedStmt> c) |
void |
SequenceFinder.find_StatementSequences(SETNode SETParent,
IterableSet body,
java.util.HashSet<AugmentedStmt> childUnion,
DavaBody davaBody) |
void |
SequenceFinder.find_StatementSequences(SETNode SETParent,
IterableSet body,
java.util.HashSet<AugmentedStmt> childUnion,
DavaBody davaBody) |
SootClass |
ExceptionNode.get_Exception(IterableSet<AugmentedStmt> catchBody) |
SootClass |
ExceptionNode.get_Exception(IterableSet<AugmentedStmt> catchBody) |
void |
SwitchNode.setup_Graph(java.util.HashMap<AugmentedStmt,SwitchNode> binding) |
void |
SwitchNode.setup_Graph(java.util.HashMap<AugmentedStmt,SwitchNode> binding) |
void |
ExceptionNode.splitOff_ExceptionNode(IterableSet<AugmentedStmt> newTryBody,
AugmentedStmtGraph asg,
IterableSet<ExceptionNode> enlist) |
void |
ExceptionNode.splitOff_ExceptionNode(IterableSet<AugmentedStmt> newTryBody,
AugmentedStmtGraph asg,
IterableSet<ExceptionNode> enlist) |
| Constructor and Description |
|---|
ExceptionNode(IterableSet<AugmentedStmt> tryBody,
SootClass exception,
AugmentedStmt handlerAugmentedStmt) |
ExceptionNode(IterableSet<AugmentedStmt> tryBody,
SootClass exception,
AugmentedStmt handlerAugmentedStmt) |
SwitchNode(AugmentedStmt as,
java.util.TreeSet<java.lang.Object> indexSet,
IterableSet body) |
SwitchNode(AugmentedStmt as,
java.util.TreeSet<java.lang.Object> indexSet,
IterableSet body) |
| Constructor and Description |
|---|
ExceptionNode(IterableSet<AugmentedStmt> tryBody,
SootClass exception,
AugmentedStmt handlerAugmentedStmt) |
ExceptionNode(IterableSet<AugmentedStmt> tryBody,
SootClass exception,
AugmentedStmt handlerAugmentedStmt) |