Skip to content

Commit 0c39d1e

Browse files
committed
C++: Fix query formatting
1 parent 2eb2e11 commit 0c39d1e

File tree

2 files changed

+5
-7
lines changed

2 files changed

+5
-7
lines changed

cpp/ql/src/Security/CWE/CWE-311/CleartextBufferWrite.ql

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -56,10 +56,10 @@ predicate isSinkImpl(DataFlow::Node sink, SensitiveBufferWrite w) {
5656
}
5757

5858
from
59-
SensitiveBufferWrite w, ToBufferFlow::PathNode sourceNode,
60-
ToBufferFlow::PathNode sinkNode, FlowSource source
59+
SensitiveBufferWrite w, ToBufferFlow::PathNode sourceNode, ToBufferFlow::PathNode sinkNode,
60+
FlowSource source
6161
where
62-
ToBufferFlow::hasFlowPath(sourceNode, sinkNode) and
62+
ToBufferFlow::hasFlowPath(sourceNode, sinkNode) and
6363
sourceNode.getNode() = source and
6464
isSinkImpl(sinkNode.getNode(), w)
6565
select w, sourceNode, sinkNode,

cpp/ql/src/Security/CWE/CWE-319/UseOfHttp.ql

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -91,10 +91,8 @@ module HttpStringToUrlOpenConfig implements DataFlow::ConfigSig {
9191

9292
module HttpStringToUrlOpen = TaintTracking::Make<HttpStringToUrlOpenConfig>;
9393

94-
from
95-
HttpStringToUrlOpen::PathNode source, HttpStringToUrlOpen::PathNode sink,
96-
HttpStringLiteral str
94+
from HttpStringToUrlOpen::PathNode source, HttpStringToUrlOpen::PathNode sink, HttpStringLiteral str
9795
where
98-
HttpStringToUrlOpen::hasFlowPath(source, sink) and
96+
HttpStringToUrlOpen::hasFlowPath(source, sink) and
9997
str = source.getNode().asIndirectExpr()
10098
select str, source, sink, "This URL may be constructed with the HTTP protocol."

0 commit comments

Comments
 (0)