@Override
public void caseAssignStmt(AssignStmt stmt) {
Value lvalue = stmt.getLeftOp();
ValueBox rbox = stmt.getRightOpBox();
if (lvalue instanceof JInstanceFieldRef) {
JInstanceFieldRef ref = (JInstanceFieldRef)lvalue;
SootField field = ref.getField();
if (fieldAutomatonMap.containsKey(field)) {
Automaton automaton = fieldAutomatonMap.get(field);
createHotspot(stmt, rbox, automaton);
}
}