File tree Expand file tree Collapse file tree 2 files changed +10
-10
lines changed
Security Features/CWE-502
semmle/code/csharp/security/dataflow Expand file tree Collapse file tree 2 files changed +10
-10
lines changed Original file line number Diff line number Diff line change 13
13
import csharp
14
14
import semmle.code.csharp.security.dataflow.UnsafeDeserialization:: UnsafeDeserialization
15
15
import DataFlow:: PathGraph
16
- import semmle.code.csharp.security.dataflow.flowsources.Remote
17
- import semmle.code.csharp.security.dataflow.flowsources.Local
18
-
19
- class RemoteSource extends Source {
20
- RemoteSource ( ) { this instanceof RemoteFlowSource }
21
- }
22
-
23
- class LocalSource extends Source {
24
- LocalSource ( ) { this instanceof LocalFlowSource }
25
- }
26
16
27
17
from DataFlow:: PathNode userInput , DataFlow:: PathNode deserializeCallArg
28
18
where
Original file line number Diff line number Diff line change @@ -8,6 +8,8 @@ import csharp
8
8
module UnsafeDeserialization {
9
9
private import semmle.code.csharp.serialization.Deserializers
10
10
private import semmle.code.csharp.dataflow.TaintTracking2
11
+ private import semmle.code.csharp.security.dataflow.flowsources.Remote
12
+ private import semmle.code.csharp.security.dataflow.flowsources.Local
11
13
12
14
/**
13
15
* A data flow source for unsafe deserialization vulnerabilities.
@@ -43,6 +45,14 @@ module UnsafeDeserialization {
43
45
*/
44
46
abstract class Sanitizer extends DataFlow:: Node { }
45
47
48
+ class RemoteSource extends Source {
49
+ RemoteSource ( ) { this instanceof RemoteFlowSource }
50
+ }
51
+
52
+ class LocalSource extends Source {
53
+ LocalSource ( ) { this instanceof LocalFlowSource }
54
+ }
55
+
46
56
/**
47
57
* User input to object method call deserialization flow tracking.
48
58
*/
You can’t perform that action at this time.
0 commit comments