CodeQL library for C#
codeql/csharp-all 3.1.1 (changelog, source)
Search

Module MakeWithSplitting::SplitImplementations::ConditionalCompletionSplitting

Provides an implementation of splitting for conditional completions.

For example, in

if x && !y {
  // ...
}

we record whether x, y, and !y evaluate to true or false, and restrict the edges out of !y and x && !y accordingly.

Import path

import codeql.controlflow.Cfg

Classes

ConditionalCompletionSplitImpl

A split for conditional completions.