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

Predicate Make::Cached::bbSuccessor

Import path

import codeql.controlflow.BasicBlock
predicate bbSuccessor(BasicBlock bb1, BasicBlock bb2, SuccessorType t)