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

PS: Support missing elements in for statements.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-10-08 15:38:46 +01:00
parent 7e66dc3481
commit 892b038565
1 changed files with 20 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
powershell/ql/lib/semmle/code/powershell/controlflow/internal/ControlFlowGraphImpl.qll
View File

@@ -343,7 +343,16 @@ module Trees {
final override predicate succ(AstNode pred, AstNode succ, Completion c) {
// Start with initialization
this = pred and
first(super.getInitializer(), succ) and
(
first(super.getInitializer(), succ)
or
not exists(super.getInitializer()) and
first(super.getCondition(), succ)
or
not exists(super.getInitializer()) and
not exists(super.getCondition()) and
first(this.getBody(), succ)
) and
completionIsSimple(c)
or
// Initialization -> condition
@@ -359,7 +368,16 @@ module Trees {
// Body -> iterator
last(this.getBody(), pred, c) and
completionIsNormal(c) and
first(super.getIterator(), succ)
(
first(super.getIterator(), succ)
or
not exists(super.getIterator()) and
first(super.getCondition(), succ)
or
not exists(super.getIterator()) and
not exists(super.getCondition()) and
first(this.getBody(), succ)
)
or
// Iterator -> condition
last(super.getIterator(), pred, c) and