CodeQL library for C#
Search

Module LoopSplitting

Import path

import semmle.code.csharp.controlflow.internal.Splitting

Predicates

Classes

AnalyzableLoopStmt

A loop where the body is guaranteed to be executed at least once, and hence can be unrolled in the control flow graph, or where the body is guaranteed to never be executed, and hence can be removed from the control flow graph.

LoopSplit

A split for loops where the body is guaranteed to be executed at least once, or guaranteed to never be executed. For example, in