CodeQL library for C#

Member predicate BasicBlock::getATrueSuccessor

Gets an immediate true successor, if any.

An immediate true successor is a successor that is reached when the condition that ends this basic block evaluates to true.


if (x < 0)
  x = -x;

The basic block on line 2 is an immediate true successor of the basic block on line 1.

BasicBlock getATrueSuccessor()