CodeQL library for C/C++
Search

Predicate closed

Holds if there exists a call to a function that might close the file specified by e.

Import path

import Critical.FileClosed
predicate closed(Expr e)