Package qilin.util

Class CallDetails

java.lang.Object
qilin.util.CallDetails

public class CallDetails extends Object
Tracks per-callsite call relationships and contexts, mainly for the MOON debloating approach and Zipper's optimized PotentialContextElement. One instance lives per PTAScene (see PTAScene#getCallDetails()) rather than as a JVM-global singleton, so independent/concurrent PTA runs never share this state.