Predicate ModelsAsData::barrierGuardModel
Holds if a barrier guard model exists for the given parameters.
Import path
import codeql.mad.static.ModelsAsDataHolds if a barrier guard model exists for the given parameters.
import codeql.mad.static.ModelsAsData