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

Member predicate Instruction::isResultConflated

Holds if this is an instruction with a memory result that represents a conflation of more than one memory allocation.

This happens in practice when dereferencing a pointer that cannot be tracked back to a single local allocation. Such memory is instead modeled as originating on the AliasedDefinitionInstruction at the entry of the function.

predicate isResultConflated()