Skip to content

Commit 7180a1e

Browse files
committed
add Type to MkHasUnderlyingType
1 parent 8b93162 commit 7180a1e

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

javascript/ql/src/semmle/javascript/ApiGraphs.qll

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -423,6 +423,8 @@ module API {
423423
*/
424424
MkHasUnderlyingType(string moduleName, string exportName) {
425425
any(TypeAnnotation n).hasQualifiedName(moduleName, exportName)
426+
or
427+
any(Type t).hasUnderlyingType(moduleName, exportName)
426428
} or
427429
MkSyntheticCallbackArg(DataFlow::Node src, int bound, DataFlow::InvokeNode nd) {
428430
trackUseNode(src, true, bound).flowsTo(nd.getCalleeNode())

0 commit comments

Comments
 (0)