public class FlowSensitiveStaticFieldStrategy<W extends wpds.impl.Weight> extends Object implements StaticFieldStrategy<W>
| Constructor and Description |
|---|
FlowSensitiveStaticFieldStrategy() |
| Modifier and Type | Method and Description |
|---|---|
void |
handleBackward(ControlFlowGraph.Edge loadStatement,
Val loadedVal,
StaticFieldVal staticVal,
Set<wpds.interfaces.State> out) |
void |
handleForward(ControlFlowGraph.Edge storeStmt,
Val storedVal,
StaticFieldVal staticVal,
Set<wpds.interfaces.State> out) |
public void handleForward(ControlFlowGraph.Edge storeStmt, Val storedVal, StaticFieldVal staticVal, Set<wpds.interfaces.State> out)
handleForward in interface StaticFieldStrategy<W extends wpds.impl.Weight>public void handleBackward(ControlFlowGraph.Edge loadStatement, Val loadedVal, StaticFieldVal staticVal, Set<wpds.interfaces.State> out)
handleBackward in interface StaticFieldStrategy<W extends wpds.impl.Weight>Copyright © 2024. All rights reserved.