@@ -15,19 +15,19 @@ public void M1()
15
15
public void M2 ( )
16
16
{
17
17
var d0 = new DateTime ( ) ; // Uninteresting parameterless constructor
18
- var next0 = d0 . AddYears ( 30 ) ; // Has no flow summary, supported as negative summary
18
+ var next0 = d0 . AddYears ( 30 ) ; // Has no flow summary, supported as neutral summary model
19
19
20
- var d1 = new DateTime ( 2000 , 1 , 1 ) ; // Interesting constructor, supported as negative summary
21
- var next1 = next0 . AddDays ( 3 ) ; // Has no flow summary, supported as negative summary
22
- var next2 = next1 . AddYears ( 5 ) ; // Has no flow summary, supported as negative summary
20
+ var d1 = new DateTime ( 2000 , 1 , 1 ) ; // Interesting constructor, supported as neutral summary model
21
+ var next1 = next0 . AddDays ( 3 ) ; // Has no flow summary, supported as neutral summary model
22
+ var next2 = next1 . AddYears ( 5 ) ; // Has no flow summary, supported as neutral summary model
23
23
}
24
24
25
25
public void M3 ( )
26
26
{
27
- var guid1 = Guid . Parse ( "{12345678-1234-1234-1234-123456789012}" ) ; // Has no flow summary, supported as negative summary
27
+ var guid1 = Guid . Parse ( "{12345678-1234-1234-1234-123456789012}" ) ; // Has no flow summary, supported as neutral summary model
28
28
}
29
29
30
- public void M4 ( )
30
+ public void M4 ( )
31
31
{
32
32
var o = new object ( ) ; // Uninteresting parameterless constructor
33
33
var response = new HttpResponse ( ) ; // Uninteresting parameterless constructor
@@ -38,11 +38,11 @@ public void M4()
38
38
response . Write ( o ) ; // Known sink
39
39
}
40
40
41
- public void M5 ( )
41
+ public void M5 ( )
42
42
{
43
43
var l1 = Console . ReadLine ( ) ; // Known source
44
44
var l2 = Console . ReadLine ( ) ; // Known source
45
- Console . SetError ( Console . Out ) ; // Has no flow summary, supported as negative summary
45
+ Console . SetError ( Console . Out ) ; // Has no flow summary, supported as neutral summary model
46
46
var x = Console . Read ( ) ; // Known source
47
47
}
48
48
}
0 commit comments