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 49bbfef commit 0c02989Copy full SHA for 0c02989
cpp/ql/src/Security/CWE/CWE-367/TOCTOUFilesystemRace.ql
@@ -116,7 +116,9 @@ where
116
)
117
) and
118
// `checkPath` and `usePath` refer to the same SSA variable
119
- exists(SsaDefinition def, StackVariable v | def.getAUse(v) = checkPath and def.getAUse(v) = usePath) and
+ exists(SsaDefinition def, StackVariable v |
120
+ def.getAUse(v) = checkPath and def.getAUse(v) = usePath
121
+ ) and
122
// `op` looks like an operation on a filename
123
use = filenameOperation(usePath) and
124
// the return value of `check` is used (possibly with one step of
0 commit comments