CodeQL library for C#
codeql/csharp-all 1.0.1 (changelog, source)

Member predicate ControlFlow::Node::strictlyDominates

Holds if this node strictly dominates that node.

That is, all paths reaching that node from some callable entry node (EntryNode) must go through this node (which must be different from that node).


int M(string s)
    if (s == null)
        throw new ArgumentNullException(nameof(s));
    return s.Length;

The node on line 3 strictly dominates the node on line 5 (all paths from the entry point of M to return s.Length; must go through the null check).

predicate strictlyDominates(Node that)