Class MethodIRBuilder

src/main/java/pascal/taie/frontend/soot/MethodIRBuilder.java:59–918

Converts Jimple to Tai-e IR.

 * Converts Jimple to Tai-e IR.
 */
class MethodIRBuilder extends AbstractStmtSwitch<Void> {

    private static final Logger logger = LogManager.getLogger(MethodIRBuilder.class);

    private final JMethod method;

    private final Converter converter;

    private VarManager varManager;

    private Set<Var> returnVars;

    private List<Stmt> stmts;

    private List<ExceptionEntry> exceptionEntries;

    MethodIRBuilder(JMethod method, Converter converter) {
        this.method = method;
        this.converter = converter;
    }

    IR build() {
        SootMethod m = (SootMethod) method.getMethodSource();
        Body body = m.retrieveActiveBody();
        m.releaseActiveBody(); // release body to save memory
        varManager = new VarManager(method, converter);
        if (method.getReturnType().equals(VOID)) {
            returnVars = Set.of();
        } else {
            returnVars = Sets.newLinkedSet();
        }
        stmts = new ArrayList<>();
        if (!method.isStatic()) {
            buildThis(body.getThisLocal());
        }
        buildParams(body.getParameterLocals());
        preprocessTemps(body,
                tempToDef = Maps.newHybridMap(),
                unusedInvokeTempRets = Sets.newHybridSet());
        buildStmts(body);
        buildExceptionEntries(body);
        return new DefaultIR(method,
                varManager.getThis(), varManager.getParams(), returnVars,
                varManager.getVars(), stmts, exceptionEntries);
    }

    private void buildThis(Local thisLocal) {
        varManager.addThis(thisLocal);
    }

    private void buildParams(List<Local> params) {
        varManager.addParams(params);
    }

    private void buildStmts(Body body) {
        if (!body.getTraps().isEmpty()) {
            trapUnits = Sets.newSet();
            body.getTraps().forEach(trap -> {