CodeQL library for Swift
codeql/swift-all 3.0.1-dev (changelog, source)
Search

Predicate signature Make::DataFlowIntegrationInputSig::ssaDefInitializesParam

Holds if SSA definition def initializes parameter p at function entry.

signature predicate ssaDefInitializesParam(WriteDefinition def, Parameter p)