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

JS: Fix RangeAnalysis after BasicBlock.dominates change

Browse Source
This commit is contained in:
Asger Feldthaus
2021-02-15 15:34:36 +00:00
parent cbfa5ad303
commit 2850b8e952
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
javascript/ql/src/semmle/javascript/RangeAnalysis.qll
View File

@@ -606,10 +606,10 @@ module RangeAnalysis {
cfg2BB = cfg2.getBasicBlock() and
cfg2RBB = cfg2BB.(ReachableBasicBlock) and
(
cfg1RBB.strictlyDominates(cfg2BB) and
cfg2BB.getImmediateDominator+() = cfg1RBB and
cfg = cfg2
or
cfg2RBB.strictlyDominates(cfg1RBB) and
cfg1BB.getImmediateDominator+() = cfg2BB and
cfg = cfg1
)
)
@@ -681,7 +681,7 @@ module RangeAnalysis {
midBB = midcfg.getBasicBlock() and
midRBB = midBB.(ReachableBasicBlock) and
cfgBB = cfg.getBasicBlock() and
midRBB.strictlyDominates(cfgBB)
cfgBB.getImmediateDominator+() = midRBB
)
}