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

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 ( )