CodeQL library for C/C++
Search

Predicate successSuccessor

Holds if there exists a comparison operation that checks whether v represents some common success values, and n may be reached immediately following the comparison operation.

Import path

import Critical.Negativity
predicate successSuccessor(Variable v, ControlFlowNode n)