CodeQL library for C#
codeql/csharp-all 4.0.3-dev (changelog, source)
Search

Predicate signature InputSig::successorTypeIsSimple

Hold if t represents simple (normal) evaluation of a statement or an expression.

signature predicate successorTypeIsSimple(SuccessorType t)