66676869707172737475767778
RTLStatement newStmt = stmt.copy().evaluate(substCtx); //logger.info("New stmt: " + newStmt); if (newStmt != null) { return newStmt.evaluate(new Context()); } else { RTLSkip skip = new RTLSkip(); skip.setLabel(stmt.getLabel()); skip.setNextLabel(stmt.getNextLabel()); return skip; } } return stmt; }
596061626364656667
throw new RuntimeException("CFA has no sink!"); } else { // Generate artificial exit node sink = new Location(new AbsoluteAddress(0xFFFFFF01L)); for (Location l : sinks) { reverseCFA.put(sink, new CFAEdge(l, sink, new RTLSkip())); } } }