Module Dereferenced

Provides predicates for detecting whether an expression dereferences a pointer.

Import path

import semmle.code.cpp.controlflow.Dereferenced

Imports

Nullness

Provides classes and predicates for working with null values and checks for nullness.

cpp

Provides classes and predicates for working with C/C++ code.

Predicates

callDereferences

Holds if the call fc will dereference argument i.

dereferenced

Holds if e will be dereferenced after being evaluated.

dereferencedByOperation

Holds if evaluation of op dereferences e.

functionDereferences

Holds if the body of a function f is likely to dereference its ith parameter unconditionally. This analysis does not account for reassignment.