Predicate getMaxElementContentIndirectionIndex
Gets the maximum number of indirections to use for ElementContent
.
This should be equal to the largest number of stars (i.e., *
s) in any
Element
content across all of our MaD summaries, sources, and sinks.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate