hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

JS: Move some predicates into NameResolution

Browse Source
This commit is contained in:
Asger F
2025-06-04 12:26:00 +02:00
parent 93c891a987
commit de9dab9ba3
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
javascript/ql/lib/semmle/javascript/internal/NameResolution.qll
View File

@@ -408,6 +408,10 @@ module NameResolution {
*/
predicate trackModule = ValueFlow::TrackNode<ModuleLike>::track/1;
predicate trackClassValue = ValueFlow::TrackNode<ClassDefinition>::track/1;
predicate trackFunctionValue = ValueFlow::TrackNode<Function>::track/1;
/**
* Holds if `moduleName` appears to start with a package name, as opposed to a relative file import.
*/

4
javascript/ql/lib/semmle/javascript/internal/TypeResolution.qll
View File

@@ -4,8 +4,6 @@ private import semmle.javascript.internal.UnderlyingTypes
private import semmle.javascript.dataflow.internal.sharedlib.SummaryTypeTracker as SummaryTypeTracker
module TypeResolution {
predicate trackClassValue = ValueFlow::TrackNode<ClassDefinition>::track/1;
predicate trackType = TypeFlow::TrackNode<TypeDefinition>::track/1;
/**
@@ -24,8 +22,6 @@ module TypeResolution {
)
}
predicate trackFunctionValue = ValueFlow::TrackNode<Function>::track/1;
/**
* Gets the representative for the type containing the given member.
*