Class ThreadHandler

src/main/java/pascal/taie/analysis/pta/plugin/ThreadHandler.java:53–187

Models initialization of system thread group, main thread group, main thread, and some Thread APIs.

 * main thread, and some Thread APIs.
 */
public class ThreadHandler implements Plugin {

    private Solver solver;

    private ClassHierarchy hierarchy;

    /**
     * This variable of Thread.start().
     */
    private Var threadStartThis;

    /**
     * Set of running threads.
     */
    private PointsToSet runningThreads;

    /**
     * Represent Thread.currentThread.
     */
    private JMethod currentThread;

    /**
     * Return variable of Thread.currentThread().
     */
    private Var currentThreadReturn;

    /**
     * Contexts of Thread.currentThread().
     */
    private final Set<Context> currentThreadContexts = Sets.newHybridSet();

    @Override
    public void setSolver(Solver solver) {
        this.solver = solver;
        runningThreads = solver.makePointsToSet();
        hierarchy = solver.getHierarchy();
        threadStartThis = requireNonNull(
                hierarchy.getJREMethod("<java.lang.Thread: void start()>"))
                .getIR()
                .getThis();
        currentThread = hierarchy.getJREMethod(
                "<java.lang.Thread: java.lang.Thread currentThread()>");
        currentThreadReturn = getOne(requireNonNull(currentThread)
                .getIR()
                .getReturnVars());
    }

    @Override
    public void onStart() {
        if (!solver.getOptions().getBoolean("implicit-entries")) {
            return;
        }
        TypeSystem typeSystem = solver.getTypeSystem();
        HeapModel heapModel = solver.getHeapModel();

        // setup system thread group
        JMethod threadGroupInit = requireNonNull(
                hierarchy.getJREMethod("<java.lang.ThreadGroup: void <init>()>"));