For other CodeQL resources, including tutorials and examples, see Learning CodeQL
The value returned by fopen def has not been closed, confirmed to be null,
or potentially leaked globally upon reaching node (regardless of what variable
it’s still held in, if any).
predicate fopenReaches(ControlFlowNode def, ControlFlowNode node)