liveInSinks = new SetOfVariables();
liveInSinks.addAll(program.getArchitecture().getRegisters());
}
private boolean isDeadEdge(CFAEdge edge) {
StateTransformer t = edge.getTransformer();
if (t instanceof RTLVariableAssignment) {
RTLVariableAssignment a = (RTLVariableAssignment)edge.getTransformer();
RTLVariable lhs = a.getLeftHandSide();
if (!liveVars.get(edge.getTarget()).contains(lhs))
return true;