Interface AllocationSiteHandler

    • Method Detail

      • handleAllocationSite

        boolean handleAllocationSite​(AllocNode allocNode,
                                     ImmutableStack<Integer> callStack)
        handle a particular allocation site
        Parameters:
        allocNode - the abstract location node
        callStack - for context-sensitive analysis, the call site; might be null
        Returns:
        true if analysis should be terminated; false otherwise
      • resetState

        void resetState()
      • shouldHandle

        boolean shouldHandle​(VarNode dst)