We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b01b40b commit ec40ea8Copy full SHA for ec40ea8
python/ql/src/Resources/FileNotAlwaysClosedQuery.qll
@@ -52,7 +52,7 @@ class FileWrapperCall extends DataFlow::CallCfgNode {
52
53
/** A node where a file is closed. */
54
abstract class FileClose extends DataFlow::CfgNode {
55
- /** Holds if this file close will occur if an exception is raised at `raises`. */
+ /** Holds if this file close will occur if an exception is raised at `fileRaises`. */
56
predicate guardsExceptions(DataFlow::CfgNode fileRaises) {
57
// The close call occurs after an exception edge in the cfg (a catch or finally)
58
bbReachableRefl(fileRaises.asCfgNode().getBasicBlock().getAnExceptionalSuccessor(),
0 commit comments