OPAL - Abstract Interpretation Framework

WEBPAGE

warnOnFailedReflectiveCalls

ReflectiveInvoker

wasAborted

AIAborted AICompleted AIResult

wasEvaluted

wasExecuted

wasTransformed

TACOptimizationResult

withLongValuesOrElse

LongSetValues PreciseLongValues

worklist

AICompleted AIResult InterpretationFailedException

writes

IssueDetailsWrites IssueLocationWrites RelevanceWrites