Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
CodeQL library for Java/Kotlin
codeql/java-all 7.2.0 (changelog, source)

Predicate signature InputSig::variableWrite

Holds if the ith node of basic block bb is a (potential) write to source variable v. The Boolean certain indicates whether the write is certain.

Examples of uncertain writes are ref arguments in C#, where it is the callee that may or may not update the argument.

signature predicate variableWrite(BasicBlock bb, int i, SourceVariable v, boolean certain)