mirror of
https://github.com/github/codeql.git
synced 2025-12-19 18:33:16 +01:00
16 lines
396 B
Plaintext
16 lines
396 B
Plaintext
import semmle.code.csharp.Conversion
|
|
|
|
class InterestingType extends Type {
|
|
InterestingType() {
|
|
this instanceof IntegralType or
|
|
this instanceof CharType or
|
|
this.(NullableType).getUnderlyingType() instanceof InterestingType
|
|
}
|
|
}
|
|
|
|
from InterestingType sub, Type sup
|
|
where
|
|
convNullableType(sub, sup) and
|
|
sub != sup
|
|
select sub.toString() as s1, sup.toString() as s2 order by s1, s2
|