CodeQL library for C/C++

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