Predicate Expressions::requireHasAttr
Import path
import semmle.python.pointsto.PointsTo
predicate requireHasAttr(ClassObjectInternal cls, string name)
import semmle.python.pointsto.PointsTo
predicate requireHasAttr(ClassObjectInternal cls, string name)