CodeQL library for C/C++
Search

Predicate valueOfVar

Holds if val is an access to the variable v, or if val is an assignment with an access to v on the left-hand side.

Import path

import Critical.Negativity
predicate valueOfVar(Variable v, Expr val)