CodeQL queries 1.23

Skip to end of metadata
Go to start of metadata

Finds conditional expressions of the form '... if ... else ...' where the classes of the sub-expressions differ

import python

from IfExp e, ClassObject cls1, ClassObject cls2
where
    e.getBody().refersTo(_, cls1, _) and
    e.getOrelse().refersTo(_, cls2, _) and
    cls1 != cls2
select e