CodeQL library for Java/Kotlin

codeql/java-all 7.0.1 (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

ssaDefReachesEndOfBlock

ssaDefReachesEndOfBlockExt

ssaDefReachesRead

ssaDefReachesReadExt

uncertainWriteDefinitionInput

Classes

UncertainWriteDefinition

WriteDefinition

Modules

DataFlowIntegration

Module signatures

DataFlowIntegrationInputSig

Parameters

Location

Input

Type Make::TWriteDef

Import path

import codeql.ssa.Ssa

Copyright 2025 GitHub Software UK Ltd.Privacy Statement