CodeQL library for C/C++
Search

Predicate checkedSuccess

Holds if the current value of the variable v at control-flow node n may have been checked against a common set of success values.

Import path

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