hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 18:56:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

Simplify non-https-url query

Browse Source
This commit is contained in:
Tony Torralba
2022-05-02 15:43:07 +02:00
parent 8602a6f6c9
commit 1cf4b60769
1 changed files with 4 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
java/ql/src/Security/CWE/CWE-319/HttpsUrls.ql
View File

@@ -14,10 +14,7 @@ import java
import semmle.code.java.security.HttpsUrlsQuery import semmle.code.java.security.HttpsUrlsQuery
import DataFlow::PathGraph import DataFlow::PathGraph
from DataFlow::PathNode source, DataFlow::PathNode sink, MethodAccess m, HttpStringLiteral s from DataFlow::PathNode source, DataFlow::PathNode sink
where where any(HttpStringToUrlOpenMethodFlowConfig c).hasFlowPath(source, sink)
source.getNode().asExpr() = s and select sink.getNode(), source, sink, "URL may have been constructed with HTTP protocol, using $@.",
sink.getNode().asExpr() = m.getQualifier() and source.getNode(), "this source"
any(HttpStringToUrlOpenMethodFlowConfig c).hasFlowPath(source, sink)
select m, source, sink, "URL may have been constructed with HTTP protocol, using $@.", s,
"this source"