qtil

advanced-security/qtil-csharp 0.0.3

Module PreSsa::SsaInput

Import path

import semmle.code.csharp.controlflow.internal.PreSsa

Predicates

getABasicBlockSuccessor	Gets an immediate successor of basic block `bb`, if any.
getImmediateBasicBlockDominator	Gets the basic block that immediately dominates basic block `bb`, if any.
variableRead	Holds if the `i`th node of basic block `bb` reads source variable `v`. The Boolean `certain` indicates whether the read is certain.
variableWrite	Holds if the `i`th node of basic block `bb` is a (potential) write to source variable `v`. The Boolean `certain` indicates whether the write is certain.

Classes

BasicBlock	A basic block, that is, a maximal straight-line sequence of control flow nodes without branches or joins.
ExitBasicBlock	An exit basic block, that is, a basic block whose last node is an exit node.
SourceVariable	A simple assignable. Either a local scope variable or a field/property that behaves like a local scope variable.

Aliases

ControlFlowNode

A program element that can possess control flow. That is, either a statement or an expression.