MCPcopy Create free account
hub / github.com/LFYSec/MScan / isSubtype

Method isSubtype

src/main/java/pascal/taie/language/type/TypeSystem.java:50–50  ·  view source on GitHub ↗
(Type supertype, Type subtype)

Source from the content-addressed store, hash-verified

48 PrimitiveType getUnboxedType(ClassType type);
49
50 boolean isSubtype(Type supertype, Type subtype);
51}

Callers 15

analyzeMethod · 0.95
testSubtypeNullMethod · 0.65
testSubtypePrimitiveMethod · 0.65
testSubtypeArray1Method · 0.65
testSubtypeArray2Method · 0.65
testSubtypeArray3Method · 0.65
isWantedMethod · 0.65
extractMHVarsMethod · 0.65
analyzeIntraUncaughtMethod · 0.65
isUnmatchedMethod · 0.65
fieldGetMethod · 0.65
fieldSetMethod · 0.65

Implementers 1

TypeSystemImplsrc/main/java/pascal/taie/language/typ

Calls

no outgoing calls

Tested by 5

testSubtypeNullMethod · 0.52
testSubtypePrimitiveMethod · 0.52
testSubtypeArray1Method · 0.52
testSubtypeArray2Method · 0.52
testSubtypeArray3Method · 0.52