CodeQL library for C/C++
Search

Predicate checkedError

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

Import path

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