CodeQL library for C#

codeql/csharp-all 0.8.3 (changelog, source)

For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

.

TWriteDef

Import path
Known direct subtypes

Module Make

Predicates

adjacentDefNoUncertainReads

adjacentDefRead

adjacentDefReadExt

lastRefNoUncertainReads

lastRefRedefExt

lastRefRedefNoUncertainReads

phiHasInputFromBlock

phiHasInputFromBlockExt

ssaDefReachesEndOfBlock

ssaDefReachesEndOfBlockExt

ssaDefReachesRead

ssaDefReachesReadExt

uncertainWriteDefinitionInput

Classes

UncertainWriteDefinition

WriteDefinition

Modules

Parameters

Input

Type Make::TWriteDef

Import path

import codeql.ssa.Ssa

Known direct subtypes

WriteDefinition

Copyright 2023 GitHub Software UK Ltd.Privacy Statement