public class PointsToEngineSingleThread extends PointsToEngine
PointsToEngine.PointsToTimeoutException, PointsToEngine.StmtAndContext
Constructor and Description |
---|
PointsToEngineSingleThread(HeapAbstractionFactory haf) |
Modifier and Type | Method and Description |
---|---|
PointsToGraph |
solveImpl(StmtRegistrar registrar,
polyglot.frontend.ExtensionInfo extInfo) |
PointsToGraph |
solveSimple(StmtRegistrar registrar,
polyglot.frontend.ExtensionInfo extInfo)
A simple and inefficient solution technique: iterate through all statements
until no more changes
|
PointsToGraphSerial |
solveSmarter(StmtRegistrar registrar,
polyglot.frontend.ExtensionInfo extInfo)
A better solution techniques that tracks dependencies between points-to sets
and statements.
|
checkReachedFixedpoint, checkTimeout, heapAbstractionFactory, setTimeout, solve, startSolution, startTime, timeout, timeoutTime, toString
public PointsToEngineSingleThread(HeapAbstractionFactory haf)
public PointsToGraph solveImpl(StmtRegistrar registrar, polyglot.frontend.ExtensionInfo extInfo)
solveImpl
in class PointsToEngine
public PointsToGraph solveSimple(StmtRegistrar registrar, polyglot.frontend.ExtensionInfo extInfo)
public PointsToGraphSerial solveSmarter(StmtRegistrar registrar, polyglot.frontend.ExtensionInfo extInfo)