Predicate MemoryMayNotBeFreed::allocationReaches

The value returned by allocation def has not been freed, confirmed to be null, or potentially leaked globally upon reaching node (regardless of what variable it’s still held in, if any).

predicate allocationReaches(ControlFlowNode def, ControlFlowNode node)