Constant offsets are tested against \b this upper bound as a quick filter before attempting to lookup symbols. \return the maximum offset that will be inferred as a pointer
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected