File tree Expand file tree Collapse file tree 2 files changed +5
-11
lines changed
src/experimental/Security/CWE/CWE-522
test/experimental/query-tests/security/CWE-522 Expand file tree Collapse file tree 2 files changed +5
-11
lines changed Original file line number Diff line number Diff line change @@ -194,15 +194,6 @@ predicate urlOpen(DataFlow::Node node1, DataFlow::Node node2) {
194
194
)
195
195
}
196
196
197
- /** Constructor of `BasicRequestLine` */
198
- predicate basicRequestLine ( DataFlow:: Node node1 , DataFlow:: Node node2 ) {
199
- exists ( ConstructorCall mcc |
200
- mcc .getConstructedType ( ) .hasQualifiedName ( "org.apache.http.message" , "BasicRequestLine" ) and
201
- mcc .getArgument ( 1 ) = node1 .asExpr ( ) and // `BasicRequestLine(String method, String uri, ProtocolVersion version)
202
- node2 .asExpr ( ) = mcc
203
- )
204
- }
205
-
206
197
class BasicAuthFlowConfig extends TaintTracking:: Configuration {
207
198
BasicAuthFlowConfig ( ) { this = "InsecureBasicAuth::BasicAuthFlowConfig" }
208
199
@@ -236,7 +227,6 @@ class BasicAuthFlowConfig extends TaintTracking::Configuration {
236
227
override predicate isAdditionalTaintStep ( DataFlow:: Node node1 , DataFlow:: Node node2 ) {
237
228
apacheHttpRequest ( node1 , node2 ) or
238
229
createURI ( node1 , node2 ) or
239
- basicRequestLine ( node1 , node2 ) or
240
230
createURL ( node1 , node2 ) or
241
231
urlOpen ( node1 , node2 )
242
232
}
Original file line number Diff line number Diff line change 11
11
| InsecureBasicAuth.java:62:21:62:26 | uriStr : String | InsecureBasicAuth.java:62:13:62:27 | new URI(...) : URI |
12
12
| InsecureBasicAuth.java:78:47:78:52 | "http" : String | InsecureBasicAuth.java:86:3:86:6 | post |
13
13
| InsecureBasicAuth.java:93:19:93:68 | "http://www.example.com/rest/getuser.do?uid=abcdx" : String | InsecureBasicAuth.java:102:3:102:6 | post |
14
- | InsecureBasicAuth.java:109:19:109:68 | "http://www.example.com/rest/getuser.do?uid=abcdx" : String | InsecureBasicAuth.java:119:3:119:6 | post |
14
+ | InsecureBasicAuth.java:109:19:109:68 | "http://www.example.com/rest/getuser.do?uid=abcdx" : String | InsecureBasicAuth.java:110:58:110:63 | uriStr : String |
15
+ | InsecureBasicAuth.java:110:29:110:70 | new BasicRequestLine(...) : BasicRequestLine | InsecureBasicAuth.java:119:3:119:6 | post |
16
+ | InsecureBasicAuth.java:110:58:110:63 | uriStr : String | InsecureBasicAuth.java:110:29:110:70 | new BasicRequestLine(...) : BasicRequestLine |
15
17
| InsecureBasicAuth.java:126:19:126:68 | "http://www.example.com/rest/getuser.do?uid=abcdx" : String | InsecureBasicAuth.java:130:28:130:67 | (...)... : URLConnection |
16
18
| InsecureBasicAuth.java:130:28:130:67 | (...)... : URLConnection | InsecureBasicAuth.java:133:3:133:6 | conn |
17
19
| InsecureBasicAuth.java:145:21:145:28 | protocol : String | InsecureBasicAuth.java:146:28:146:67 | (...)... : URLConnection |
34
36
| InsecureBasicAuth.java:93:19:93:68 | "http://www.example.com/rest/getuser.do?uid=abcdx" : String | semmle.label | "http://www.example.com/rest/getuser.do?uid=abcdx" : String |
35
37
| InsecureBasicAuth.java:102:3:102:6 | post | semmle.label | post |
36
38
| InsecureBasicAuth.java:109:19:109:68 | "http://www.example.com/rest/getuser.do?uid=abcdx" : String | semmle.label | "http://www.example.com/rest/getuser.do?uid=abcdx" : String |
39
+ | InsecureBasicAuth.java:110:29:110:70 | new BasicRequestLine(...) : BasicRequestLine | semmle.label | new BasicRequestLine(...) : BasicRequestLine |
40
+ | InsecureBasicAuth.java:110:58:110:63 | uriStr : String | semmle.label | uriStr : String |
37
41
| InsecureBasicAuth.java:119:3:119:6 | post | semmle.label | post |
38
42
| InsecureBasicAuth.java:126:19:126:68 | "http://www.example.com/rest/getuser.do?uid=abcdx" : String | semmle.label | "http://www.example.com/rest/getuser.do?uid=abcdx" : String |
39
43
| InsecureBasicAuth.java:130:28:130:67 | (...)... : URLConnection | semmle.label | (...)... : URLConnection |
You can’t perform that action at this time.
0 commit comments