hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 08:45:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

JS: Be consistent about caching in PreCallGraphStep

Browse Source
This commit is contained in:
Asger F
2024-03-12 15:08:59 +01:00
parent 28fc8ba0c1
commit 76e0445af0
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
javascript/ql/lib/semmle/javascript/dataflow/internal/PreCallGraphStep.qll
View File

@@ -46,6 +46,7 @@ class PreCallGraphStep extends Unit {
}
}
cached
module PreCallGraphStep {
/**
* Holds if there is a step from `pred` to `succ`.
@@ -83,6 +84,7 @@ module PreCallGraphStep {
/**
* Holds if there is a step from the `loadProp` property of `pred` to the `storeProp` property in `succ`.
*/
cached
predicate loadStoreStep(
DataFlow::Node pred, DataFlow::SourceNode succ, string loadProp, string storeProp
) {
@@ -129,6 +131,7 @@ class LegacyPreCallGraphStep extends Unit {
}
}
cached
module LegacyPreCallGraphStep {
/**
* Holds if there is a step from `pred` to `succ`.
@@ -166,6 +169,7 @@ module LegacyPreCallGraphStep {
/**
* Holds if there is a step from the `loadProp` property of `pred` to the `storeProp` property in `succ`.
*/
cached
predicate loadStoreStep(
DataFlow::Node pred, DataFlow::SourceNode succ, string loadProp, string storeProp
) {