JS: Compute qualified name of classes

This commit is contained in:
Asger F
2019-07-05 15:25:02 +01:00
parent 44f7e2d5c5
commit 106539c495

View File

@@ -724,6 +724,18 @@ class ClassNode extends DataFlow::SourceNode {
DataFlow::SourceNode getAnInstanceReference() {
result = getAnInstanceReference(DataFlow::TypeTracker::end())
}
/**
* Holds if this class is exposed in the global scope through the given qualified name.
*/
pragma[noinline]
predicate hasQualifiedName(string name) {
exists(DataFlow::Node rhs |
getAClassReference().flowsTo(rhs) and
name = GlobalAccessPath::fromRhs(rhs) and
GlobalAccessPath::isAssignedInUniqueFile(name)
)
}
}
module ClassNode {