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