CodeQL library for C/C++
codeql/cpp-all 1.1.0 (changelog, source)
Search

Module IsModifiableAtImpl

Import path

import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommon

Predicates

isModifiableAt

Holds if t is a type with at least indirectionIndex number of indirections, and the indirectionIndex indirection can be modified by passing a value of type t to a function function.

isModifiableByCall

Holds if the value pointed to by operand can potentially be modified be the caller.