File tree Expand file tree Collapse file tree 4 files changed +18
-6
lines changed
csharp/ql/test/utils/modelgenerator/dataflow Expand file tree Collapse file tree 4 files changed +18
-6
lines changed Original file line number Diff line number Diff line change 1
- | Sinks;NewSinks;false;WrapFieldResponseWriteFile;();;Argument[this];html-injection;df-generated |
2
- | Sinks;NewSinks;false;WrapPropResponseWriteFile;();;Argument[this];html-injection;df-generated |
3
- | Sinks;NewSinks;false;WrapResponseWrite;(System.Object);;Argument[0];html-injection;df-generated |
4
- | Sinks;NewSinks;false;WrapResponseWriteFile;(System.String);;Argument[0];html-injection;df-generated |
1
+ unexpectedModel
2
+ expectedModel
Original file line number Diff line number Diff line change
1
+ import csharp
2
+ import utils.modelgenerator.internal.CaptureModels
3
+ import TestUtilities.InlineMadTest
4
+
5
+ module InlineMadTestConfig implements InlineMadTestConfigSig {
6
+ string getCapturedModel ( Callable c ) { result = captureSink ( c ) }
7
+
8
+ string getKind ( ) { result = "sink" }
9
+ }
10
+
11
+ import InlineMadTest< InlineMadTestConfig >
Load Diff This file was deleted.
Original file line number Diff line number Diff line change @@ -13,6 +13,7 @@ public class NewSinks
13
13
public string PrivateSetTaintedProp { get ; private set ; }
14
14
15
15
// New sink
16
+ // sink=Sinks;NewSinks;false;WrapResponseWrite;(System.Object);;Argument[0];html-injection;df-generated
16
17
public void WrapResponseWrite ( object o )
17
18
{
18
19
var response = new HttpResponse ( ) ;
@@ -27,13 +28,15 @@ private void PrivateWrapResponseWrite(object o)
27
28
}
28
29
29
30
// New sink
31
+ // sink=Sinks;NewSinks;false;WrapResponseWriteFile;(System.String);;Argument[0];html-injection;df-generated
30
32
public void WrapResponseWriteFile ( string s )
31
33
{
32
34
var response = new HttpResponse ( ) ;
33
35
response . WriteFile ( s ) ;
34
36
}
35
37
36
38
// New sink
39
+ // sink=Sinks;NewSinks;false;WrapFieldResponseWriteFile;();;Argument[this];html-injection;df-generated
37
40
public void WrapFieldResponseWriteFile ( )
38
41
{
39
42
var response = new HttpResponse ( ) ;
@@ -48,6 +51,7 @@ public void WrapPrivateFieldResponseWriteFile()
48
51
}
49
52
50
53
// New sink
54
+ // sink=Sinks;NewSinks;false;WrapPropResponseWriteFile;();;Argument[this];html-injection;df-generated
51
55
public void WrapPropResponseWriteFile ( )
52
56
{
53
57
var response = new HttpResponse ( ) ;
@@ -67,4 +71,4 @@ public void WrapPropPrivateSetResponseWriteFile()
67
71
var response = new HttpResponse ( ) ;
68
72
response . WriteFile ( PrivateSetTaintedProp ) ;
69
73
}
70
- }
74
+ }
You can’t perform that action at this time.
0 commit comments