mirror of
https://github.com/github/codeql.git
synced 2025-12-20 02:44:30 +01:00
13 lines
486 B
Plaintext
13 lines
486 B
Plaintext
import csharp
|
|
|
|
from
|
|
string inout, Ssa::ExplicitDefinition def, Ssa::Definition targetDef, ControlFlow::Node call,
|
|
boolean additionalCalls
|
|
where
|
|
inout = "in" and def.isCapturedVariableDefinitionFlowIn(targetDef, call, additionalCalls)
|
|
or
|
|
inout = "out" and
|
|
def.isCapturedVariableDefinitionFlowOut(targetDef, additionalCalls) and
|
|
targetDef.(Ssa::ImplicitCallDefinition).getControlFlowNode() = call
|
|
select inout, def.getSourceVariable(), def, targetDef, call, additionalCalls
|