Predicate isinstance
Holds if c is a call to isinstance(use, cls).
Import path
import semmle.python.pointsto.Filterspredicate isinstance(CallNode fc, ControlFlowNode cls, ControlFlowNode use)Holds if c is a call to isinstance(use, cls).
import semmle.python.pointsto.Filterspredicate isinstance(CallNode fc, ControlFlowNode cls, ControlFlowNode use)