Skip to content

Commit 50c36a8

Browse files
committed
Crypto: Code Cleanup
1 parent 417734c commit 50c36a8

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

cpp/ql/lib/experimental/quantum/OpenSSL/GenericSourceCandidateLiteral.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -27,12 +27,12 @@ private predicate isOpenSSLStringLiteralGenericSourceCandidate(StringLiteral s)
2727
exists(f.getOutputArgument(true)) and s = f.(Call).getAnArgument()
2828
) and
2929
// Ignore all format string calls where there is no known out param (resulting string)
30-
// i.e., ignore printf, since it will just ouput a string and not produce a new string
30+
// i.e., ignore printf, since it will just output a string and not produce a new string
3131
not exists(FormattingFunctionCall f |
3232
// Note: using two ways of determining if there is an out param, since I'm not sure
3333
// which way is canonical
3434
not exists(f.getOutputArgument(false)) and
35-
not f.getTarget().(FormattingFunction).hasTaintFlow(_, _) and
35+
not f.getTarget().hasTaintFlow(_, _) and
3636
f.(Call).getAnArgument() = s
3737
)
3838
}

0 commit comments

Comments
 (0)