CodeQL library for C#

codeql/csharp-all 5.1.6 (changelog, source)

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

.

TWriteDef

Import path

Module Make

Predicates

adjacentDefRead

adjacentDefReadExt

lastRefRedefExt

lastRefRedefExt

phiHasInputFromBlock

phiHasInputFromBlockExt

ssaDefReachesRead

ssaDefReachesReadExt

Classes

UncertainWriteDefinition

WriteDefinition

Modules

DataFlowIntegration

TestAdjacentRefs

Module signatures

DataFlowIntegrationInputSig

Aliases

ssaDefReachesEndOfBlock

ssaDefReachesEndOfBlockExt

uncertainWriteDefinitionInput

Parameters

Location

Input

Type Make::TWriteDef

Import path

import codeql.ssa.Ssa

Copyright 2025 GitHub Software UK Ltd.Privacy Statement