Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit 570fdeb

Browse filesBrowse files
committed
Crypto: Code Cleanup (+1 squashed commits)
Squashed commits: [417734c] Crypto: Fixing typo (+1 squashed commits) Squashed commits: [1ac3d5c] Crypto: Fixing typo caused by AI auto complete.
1 parent a5b57d3 commit 570fdeb
Copy full SHA for 570fdeb

File tree

3 files changed

+4
-4
lines changed
Filter options

3 files changed

+4
-4
lines changed

‎cpp/ql/lib/experimental/quantum/Language.qll

Copy file name to clipboardExpand all lines: cpp/ql/lib/experimental/quantum/Language.qll
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
private import cpp as Language
22
import semmle.code.cpp.dataflow.new.TaintTracking
33
import codeql.quantum.experimental.Model
4-
private import experimental.quantum.OpenSSL.GericSourceCandidateLiteral
4+
private import OpenSSL.GenericSourceCandidateLiteral
55

66
module CryptoInput implements InputSig<Language::Location> {
77
class DataFlowNode = DataFlow::Node;

‎cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/KnownAlgorithmConstants.qll

Copy file name to clipboardExpand all lines: cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/KnownAlgorithmConstants.qll
+1-1Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
import cpp
2-
import experimental.quantum.OpenSSL.GericSourceCandidateLiteral
2+
import experimental.quantum.OpenSSL.GenericSourceCandidateLiteral
33

44
predicate resolveAlgorithmFromExpr(Expr e, string normalizedName, string algType) {
55
resolveAlgorithmFromCall(e, normalizedName, algType)

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

Copy file name to clipboardExpand all lines: cpp/ql/lib/experimental/quantum/OpenSSL/GenericSourceCandidateLiteral.qll
+2-2Lines 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 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.