Module SsaFlow
Provides logic related to SSA.
Import path
import codeql.rust.dataflow.internal.DataFlowImplPredicates
| asNode | Converts a control flow node into an SSA control flow node. |
| localFlowStep | |
| localMustFlowStep |
Provides logic related to SSA.
import codeql.rust.dataflow.internal.DataFlowImpl| asNode | Converts a control flow node into an SSA control flow node. |
| localFlowStep | |
| localMustFlowStep |