Method onFinish

src/main/java/pascal/taie/analysis/pta/plugin/Profiler.java:87–134

()

    }

    @Override
    public void onFinish() {
        File outFile = new File(World.get().getOptions().getOutputDir(), PROFILE_FILE);
        try (PrintStream out = new PrintStream(new FileOutputStream(outFile))) {
            logger.info("Dumping pointer analysis profile to {}",
                    outFile.getAbsolutePath());
            // report variables
            reportTop(out, "frequently-visited variables",
                    varVisited, v -> v.getMethod() + "/" + v.getName());
            reportTop(out, "frequently-visited CS variables",
                    csVarVisited, CSVar::toString);
            // count and report methods
            Map<JMethod, MutableInt> methodVarVisited = Maps.newMap();
            varVisited.forEach((v, times) ->
                    methodVarVisited.computeIfAbsent(v.getMethod(),
                                    __ -> new MutableInt(0))
                            .add(times.intValue()));
            reportTop(out, "method containers (of frequently-visited variables)",
                    methodVarVisited, JMethod::toString);
            Map<CSMethod, MutableInt> csMethodVarVisited = Maps.newMap();
            csVarVisited.forEach((v, times) -> {
                CSMethod method = csManager.getCSMethod(
                        v.getContext(), v.getVar().getMethod());
                csMethodVarVisited.computeIfAbsent(method,
                                __ -> new MutableInt(0))
                        .add(times.intValue());
            });
            reportTop(out, "CS method containers (of frequently-visited CS variables)",
                    csMethodVarVisited, CSMethod::toString);
            // count and report classes
            Map<JClass, MutableInt> classVarVisited = Maps.newMap();
            methodVarVisited.forEach((m, times) ->
                    classVarVisited.computeIfAbsent(m.getDeclaringClass(),
                                    __ -> new MutableInt(0))
                            .add(times.intValue()));
            reportTop(out, "class containers (of frequently-visited variables)",
                    classVarVisited, JClass::toString);
            // count and report points-to sets counter
            PointerAnalysisResult ptaResult = solver.getResult();
            reportPtsTop(out, "points-to set of variables", ptaResult.getCSVars());
            reportPtsTop(out, "points-to set of static fields", ptaResult.getStaticFields());
            reportPtsTop(out, "points-to set of instance fields", ptaResult.getInstanceFields());
            reportPtsTop(out, "points-to set of array indexes", ptaResult.getArrayIndexes());
        } catch (FileNotFoundException e) {
            logger.warn("Failed to write pointer analysis profile to {}, caused by {}",
                    outFile.getAbsolutePath(), e);
        }
    }

    private static void reportPtsTop(
            PrintStream out, String desc, Collection<? extends Pointer> pointers) {