CodeQL library for C#
Search

Module BooleanSplitting

Import path

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

Predicates

Classes

BooleanSplit

A split for elements that can reach a condition where this split determines the Boolean value that the condition evaluates to. For example, in

BooleanSplitSubKind

A sub-classification of Boolean splits.

SsaBooleanSplitSubKind

A Boolean split that records the value of a Boolean SSA variable.