@@ -15,19 +15,19 @@ public void M1()
1515 public void M2 ( )
1616 {
1717 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
1919
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
2323 }
2424
2525 public void M3 ( )
2626 {
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
2828 }
2929
30- public void M4 ( )
30+ public void M4 ( )
3131 {
3232 var o = new object ( ) ; // Uninteresting parameterless constructor
3333 var response = new HttpResponse ( ) ; // Uninteresting parameterless constructor
@@ -38,11 +38,11 @@ public void M4()
3838 response . Write ( o ) ; // Known sink
3939 }
4040
41- public void M5 ( )
41+ public void M5 ( )
4242 {
4343 var l1 = Console . ReadLine ( ) ; // Known source
4444 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
4646 var x = Console . Read ( ) ; // Known source
4747 }
4848}
0 commit comments