useCxManagerForOpen.ql

useWithCxManager.ql

/**
 * @name Use with open() as
 * @description Consider using a context manager
 * @kind problem
 * @tags maintainability
 * @problem.severity recommendation
 * @sub-severity low
 * @precision medium
 * @id py/use-context-manager
 */
import python

from Call call
where call.getFunc().pointsTo(Value::named("open"))
and not exists(With withStmt | withStmt.contains(call))
select call, "Consider using a context manager along with this open() statement, instead of manually closing this file later."