Module LoopSplitting
Import path
import semmle.code.csharp.controlflow.internal.SplittingPredicates
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 |