Predicate hasattr
Holds if c is a call to hasattr(obj, attr).
Import path
import semmle.python.pointsto.Filterspredicate hasattr(CallNode c, ControlFlowNode obj, string attr)Holds if c is a call to hasattr(obj, attr).
import semmle.python.pointsto.Filterspredicate hasattr(CallNode c, ControlFlowNode obj, string attr)