CodeQL library for C/C++
Search

Predicate errorSuccessor

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

Import path

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