hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-12 05:01:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

JS: Use forceLocal to localize MkTypeUse

Browse Source
This commit is contained in:
Asger F
2025-10-10 10:04:44 +02:00
parent 385bb32710
commit 3ed0f36bb1
1 changed files with 9 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
javascript/ql/lib/semmle/javascript/ApiGraphs.qll
View File

@@ -735,6 +735,14 @@ module API {
*/
cached
private module Impl {
private predicate hasTypeUse(string moduleName, string exportName) {
any(TypeAnnotation n).hasUnderlyingType(moduleName, exportName)
}
overlay[local]
private predicate hasTypeUseLocal(string moduleName, string exportName) =
forceLocal(hasTypeUse/2)(moduleName, exportName)
cached
newtype TApiNode =
MkRoot() or
@@ -772,9 +780,7 @@ module API {
} or
MkUse(DataFlow::Node nd) { nd instanceof DataFlow::SourceNode } or
/** A use of a TypeScript type. */
MkTypeUse(string moduleName, string exportName) {
any(TypeAnnotation n).hasUnderlyingType(moduleName, exportName)
} or
MkTypeUse(string moduleName, string exportName) { hasTypeUseLocal(moduleName, exportName) } or
MkSyntheticCallbackArg(DataFlow::InvokeNode nd)
class TDef = MkModuleDef or TNonModuleDef;