qtil
advanced-security/qtil-cpp 0.0.4
Search

Predicate deref

Holds if evaluation of op dereferences v.

Import path

import semmle.code.cpp.controlflow.Dataflow
predicate deref(Variable v, Expr op)