Uses of Record Class
pascal.taie.analysis.pta.core.solver.EntryPoint
Package
Description
Provide data structures and algorithms of context-sensitive
pointer analysis solver.
-
Uses of EntryPoint in pascal.taie.analysis.pta.core.solver
Modifier and TypeMethodDescriptionvoid
DefaultSolver.addEntryPoint
(EntryPoint entryPoint) void
Solver.addEntryPoint
(EntryPoint entryPoint) Adds an entry point.