Module IsModifiableAtImpl

Import path

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

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.