qtil
advanced-security/qtil-python 0.0.3
Search

Member predicate PointsToContext::isMain

Holds if this is the “main” context.

predicate isMain()