CodeQL queries 1.25
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