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

C#: Disable FinallySplit, BooleanSplit, and LoopSplit

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2025-09-26 10:20:42 +02:00
parent b52a9a818c
commit 449059f1ac
1 changed files with 5 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
csharp/ql/lib/semmle/code/csharp/controlflow/internal/Splitting.qll
View File

@@ -40,14 +40,16 @@ private module Cached {
success in [false, true]
} or
TFinallySplit(FinallySplitting::FinallySplitType type, int nestLevel) {
nestLevel = any(Statements::TryStmtTree t).nestLevel()
nestLevel = any(Statements::TryStmtTree t).nestLevel() and
none()
} or
TExceptionHandlerSplit(ExceptionClass ec) or
TBooleanSplit(BooleanSplitting::BooleanSplitSubKind kind, boolean branch) {
kind.startsSplit(_) and
branch in [false, true]
branch in [false, true] and
none()
} or
TLoopSplit(LoopSplitting::AnalyzableLoopStmt loop)
TLoopSplit(LoopSplitting::AnalyzableLoopStmt loop) { none() }
}
import Cached