File tree Expand file tree Collapse file tree 2 files changed +4
-0
lines changed
csharp/ql/test/utils/modelgenerator/dataflow
java/ql/test/utils/modelgenerator/dataflow/p Expand file tree Collapse file tree 2 files changed +4
-0
lines changed Original file line number Diff line number Diff line change @@ -844,12 +844,14 @@ public class SyntheticCollections
844844 private object [ ] array ;
845845
846846 // summary=Models;SyntheticCollections;false;SyntheticCollections;(System.Object[]);;Argument[0].Element;Argument[this];taint;df-generated
847+ // contentbased-summary=Models;SyntheticCollections;false;SyntheticCollections;(System.Object[]);;Argument[0];Argument[this].SyntheticField[Models.SyntheticCollections.array];value;df-generated
847848 public SyntheticCollections ( object [ ] array )
848849 {
849850 this . array = array ;
850851 }
851852
852853 // summary=Models;SyntheticCollections;false;GetElement;(System.Int32);;Argument[this];ReturnValue;taint;df-generated
854+ // contentbased-summary=Models;SyntheticCollections;false;GetElement;(System.Int32);;Argument[this].SyntheticField[Models.SyntheticCollections.array].Element;ReturnValue;value;df-generated
853855 public object GetElement ( int index )
854856 {
855857 return array [ index ] ;
Original file line number Diff line number Diff line change @@ -4,11 +4,13 @@ public class SyntheticCollections {
44 private String [] array ;
55
66 // summary=p;SyntheticCollections;true;SyntheticCollections;(String[]);;Argument[0].ArrayElement;Argument[this];taint;df-generated
7+ // contentbased-summary=p;SyntheticCollections;true;SyntheticCollections;(String[]);;Argument[0];Argument[this].SyntheticField[p.SyntheticCollections.array];value;df-generated
78 public SyntheticCollections (String [] array ) {
89 this .array = array ;
910 }
1011
1112 // summary=p;SyntheticCollections;true;getElement;(Integer);;Argument[this];ReturnValue;taint;df-generated
13+ // contentbased-summary=p;SyntheticCollections;true;getElement;(Integer);;Argument[this].SyntheticField[p.SyntheticCollections.array].ArrayElement;ReturnValue;value;df-generated
1214 public String getElement (Integer index ) {
1315 return array [index ];
1416 }
You can’t perform that action at this time.
0 commit comments