|
6 | 6 | | TaintedPath.cs:36:25:36:31 | access to local variable badPath | TaintedPath.cs:10:23:10:45 | access to property QueryString : NameValueCollection | TaintedPath.cs:36:25:36:31 | access to local variable badPath | This path depends on a $@. | TaintedPath.cs:10:23:10:45 | access to property QueryString | user-provided value | |
7 | 7 | | TaintedPath.cs:38:49:38:55 | access to local variable badPath | TaintedPath.cs:10:23:10:45 | access to property QueryString : NameValueCollection | TaintedPath.cs:38:49:38:55 | access to local variable badPath | This path depends on a $@. | TaintedPath.cs:10:23:10:45 | access to property QueryString | user-provided value | |
8 | 8 | | TaintedPath.cs:51:26:51:29 | access to local variable path | TaintedPath.cs:10:23:10:45 | access to property QueryString : NameValueCollection | TaintedPath.cs:51:26:51:29 | access to local variable path | This path depends on a $@. | TaintedPath.cs:10:23:10:45 | access to property QueryString | user-provided value | |
9 | | -| TaintedPath.cs:62:30:62:37 | access to local variable fullPath | TaintedPath.cs:10:23:10:45 | access to property QueryString : NameValueCollection | TaintedPath.cs:62:30:62:37 | access to local variable fullPath | This path depends on a $@. | TaintedPath.cs:10:23:10:45 | access to property QueryString | user-provided value | |
10 | 9 | edges |
11 | 10 | | TaintedPath.cs:10:16:10:19 | access to local variable path : String | TaintedPath.cs:12:50:12:53 | access to local variable path | provenance | | |
12 | 11 | | TaintedPath.cs:10:16:10:19 | access to local variable path : String | TaintedPath.cs:17:51:17:54 | access to local variable path | provenance | | |
13 | 12 | | TaintedPath.cs:10:16:10:19 | access to local variable path : String | TaintedPath.cs:25:30:25:33 | access to local variable path | provenance | | |
14 | 13 | | TaintedPath.cs:10:16:10:19 | access to local variable path : String | TaintedPath.cs:31:30:31:33 | access to local variable path | provenance | | |
15 | 14 | | TaintedPath.cs:10:16:10:19 | access to local variable path : String | TaintedPath.cs:35:16:35:22 | access to local variable badPath : String | provenance | | |
16 | 15 | | TaintedPath.cs:10:16:10:19 | access to local variable path : String | TaintedPath.cs:51:26:51:29 | access to local variable path | provenance | | |
17 | | -| TaintedPath.cs:10:16:10:19 | access to local variable path : String | TaintedPath.cs:59:44:59:47 | access to local variable path : String | provenance | | |
18 | 16 | | TaintedPath.cs:10:23:10:45 | access to property QueryString : NameValueCollection | TaintedPath.cs:10:16:10:19 | access to local variable path : String | provenance | | |
19 | | -| TaintedPath.cs:10:23:10:45 | access to property QueryString : NameValueCollection | TaintedPath.cs:10:23:10:53 | access to indexer : String | provenance | MaD:2 | |
| 17 | +| TaintedPath.cs:10:23:10:45 | access to property QueryString : NameValueCollection | TaintedPath.cs:10:23:10:53 | access to indexer : String | provenance | MaD:1 | |
20 | 18 | | TaintedPath.cs:10:23:10:53 | access to indexer : String | TaintedPath.cs:10:16:10:19 | access to local variable path : String | provenance | | |
21 | 19 | | TaintedPath.cs:35:16:35:22 | access to local variable badPath : String | TaintedPath.cs:36:25:36:31 | access to local variable badPath | provenance | | |
22 | 20 | | TaintedPath.cs:35:16:35:22 | access to local variable badPath : String | TaintedPath.cs:38:49:38:55 | access to local variable badPath | provenance | | |
23 | | -| TaintedPath.cs:59:16:59:23 | access to local variable fullPath : String | TaintedPath.cs:62:30:62:37 | access to local variable fullPath | provenance | | |
24 | | -| TaintedPath.cs:59:27:59:48 | call to method GetFullPath : String | TaintedPath.cs:59:16:59:23 | access to local variable fullPath : String | provenance | | |
25 | | -| TaintedPath.cs:59:44:59:47 | access to local variable path : String | TaintedPath.cs:59:27:59:48 | call to method GetFullPath : String | provenance | MaD:1 | |
26 | 21 | models |
27 | | -| 1 | Summary: System.IO; Path; false; GetFullPath; (System.String); ; Argument[0]; ReturnValue; taint; manual | |
28 | | -| 2 | Summary: System.Collections.Specialized; NameValueCollection; false; get_Item; (System.String); ; Argument[this]; ReturnValue; taint; df-generated | |
| 22 | +| 1 | Summary: System.Collections.Specialized; NameValueCollection; false; get_Item; (System.String); ; Argument[this]; ReturnValue; taint; df-generated | |
29 | 23 | nodes |
30 | 24 | | TaintedPath.cs:10:16:10:19 | access to local variable path : String | semmle.label | access to local variable path : String | |
31 | 25 | | TaintedPath.cs:10:23:10:45 | access to property QueryString : NameValueCollection | semmle.label | access to property QueryString : NameValueCollection | |
|
38 | 32 | | TaintedPath.cs:36:25:36:31 | access to local variable badPath | semmle.label | access to local variable badPath | |
39 | 33 | | TaintedPath.cs:38:49:38:55 | access to local variable badPath | semmle.label | access to local variable badPath | |
40 | 34 | | TaintedPath.cs:51:26:51:29 | access to local variable path | semmle.label | access to local variable path | |
41 | | -| TaintedPath.cs:59:16:59:23 | access to local variable fullPath : String | semmle.label | access to local variable fullPath : String | |
42 | | -| TaintedPath.cs:59:27:59:48 | call to method GetFullPath : String | semmle.label | call to method GetFullPath : String | |
43 | | -| TaintedPath.cs:59:44:59:47 | access to local variable path : String | semmle.label | access to local variable path : String | |
44 | | -| TaintedPath.cs:62:30:62:37 | access to local variable fullPath | semmle.label | access to local variable fullPath | |
45 | 35 | subpaths |
0 commit comments