File tree Expand file tree Collapse file tree 4 files changed +16
-8
lines changed
lib/semmle/code/csharp/security/dataflow
Security Features/CWE-114 Expand file tree Collapse file tree 4 files changed +16
-8
lines changed Original file line number Diff line number Diff line change @@ -65,7 +65,7 @@ module ConditionalBypass = TaintTracking::Global<ConditionalBypassConfig>;
65
65
*
66
66
* A source of remote user input.
67
67
*/
68
- class RemoteSource extends Source instanceof RemoteFlowSource { }
68
+ deprecated class RemoteSource extends Source instanceof RemoteFlowSource { }
69
69
70
70
/** A source supported by the current threat model. */
71
71
class ThreatModelSource extends Source instanceof ThreatModelFlowSource { }
Original file line number Diff line number Diff line change 13
13
*/
14
14
15
15
import csharp
16
- import semmle.code.csharp.security.dataflow.flowsources.Remote
16
+ import semmle.code.csharp.security.dataflow.flowsources.FlowSources
17
17
import semmle.code.csharp.commons.Util
18
18
import AssemblyPathInjection:: PathGraph
19
19
@@ -22,7 +22,7 @@ import AssemblyPathInjection::PathGraph
22
22
*/
23
23
module AssemblyPathInjectionConfig implements DataFlow:: ConfigSig {
24
24
predicate isSource ( DataFlow:: Node source ) {
25
- source instanceof RemoteFlowSource or
25
+ source instanceof ThreatModelFlowSource or
26
26
source .asExpr ( ) = any ( MainMethod main ) .getParameter ( 0 ) .getAnAccess ( )
27
27
}
28
28
Original file line number Diff line number Diff line change @@ -2,6 +2,7 @@ import csharp
2
2
import semmle.code.csharp.frameworks.system.Net
3
3
import semmle.code.csharp.frameworks.System
4
4
import semmle.code.csharp.security.dataflow.flowsources.Remote
5
+ import semmle.code.csharp.security.dataflow.flowsources.FlowSources
5
6
import semmle.code.csharp.security.Sanitizers
6
7
7
8
//If this leaves experimental this should probably go in semmle.code.csharp.frameworks.system.Net
@@ -68,8 +69,15 @@ private module TaintedWebClientConfig implements DataFlow::ConfigSig {
68
69
*/
69
70
module TaintedWebClient = TaintTracking:: Global< TaintedWebClientConfig > ;
70
71
71
- /** A source of remote user input. */
72
- class RemoteSource extends Source instanceof RemoteFlowSource { }
72
+ /**
73
+ * DEPRECATED: Use `ThreatModelSource` instead.
74
+ *
75
+ * A source of remote user input.
76
+ */
77
+ deprecated class RemoteSource extends Source instanceof RemoteFlowSource { }
78
+
79
+ /** A source supported by the current threat model. */
80
+ class ThreatModelSource extends Source instanceof ThreatModelFlowSource { }
73
81
74
82
/**
75
83
* A path argument to a `WebClient` method call that has an address argument.
Original file line number Diff line number Diff line change @@ -6,6 +6,7 @@ module RequestForgery {
6
6
import semmle.code.csharp.frameworks.system.Web
7
7
import semmle.code.csharp.frameworks.Format
8
8
import semmle.code.csharp.security.dataflow.flowsources.Remote
9
+ import semmle.code.csharp.security.dataflow.flowsources.FlowSources
9
10
10
11
/**
11
12
* A data flow source for server side request forgery vulnerabilities.
@@ -91,10 +92,9 @@ module RequestForgery {
91
92
module RequestForgeryFlow = DataFlow:: Global< RequestForgeryFlowConfig > ;
92
93
93
94
/**
94
- * A remote data flow source taken as a source
95
- * for Server Side Request Forgery(SSRF) Vulnerabilities.
95
+ * A dataflow source for Server Side Request Forgery(SSRF) Vulnerabilities.
96
96
*/
97
- private class RemoteFlowSourceAsSource extends Source instanceof RemoteFlowSource { }
97
+ private class ThreatModelSource extends Source instanceof ThreatModelFlowSource { }
98
98
99
99
/**
100
100
* An url argument to a `HttpRequestMessage` constructor call
You can’t perform that action at this time.
0 commit comments