CodeQL library for Rust
codeql/rust-all 0.2.16 (changelog, source)
Search

Predicate signature Make::SsaInputSig::explicitWrite

signature predicate explicitWrite(VariableWrite w, BasicBlock bb, int i, SourceVariable v)