@@ -9,137 +9,137 @@ import (
99)
1010
1111func TaintStepTest_ArchiveTarFileInfoHeader_B0I0O0 (sourceCQL interface {}) interface {} {
12- // The flow is from `fromFileInfo656 ` into `intoHeader414 `.
12+ // The flow is from `fromFileInfo291 ` into `intoHeader926 `.
1313
14- // Assume that `sourceCQL` has the underlying type of `fromFileInfo656 `:
15- fromFileInfo656 := sourceCQL .(os.FileInfo )
14+ // Assume that `sourceCQL` has the underlying type of `fromFileInfo291 `:
15+ fromFileInfo291 := sourceCQL .(os.FileInfo )
1616
1717 // Call the function that transfers the taint
18- // from the parameter `fromFileInfo656 ` to result `intoHeader414 `
19- // (`intoHeader414 ` is now tainted).
20- intoHeader414 , _ := tar .FileInfoHeader (fromFileInfo656 , "" )
18+ // from the parameter `fromFileInfo291 ` to result `intoHeader926 `
19+ // (`intoHeader926 ` is now tainted).
20+ intoHeader926 , _ := tar .FileInfoHeader (fromFileInfo291 , "" )
2121
22- // Return the tainted `intoHeader414 `:
23- return intoHeader414
22+ // Return the tainted `intoHeader926 `:
23+ return intoHeader926
2424}
2525
2626func TaintStepTest_ArchiveTarNewReader_B0I0O0 (sourceCQL interface {}) interface {} {
27- // The flow is from `fromReader518 ` into `intoReader650 `.
27+ // The flow is from `fromReader527 ` into `intoReader503 `.
2828
29- // Assume that `sourceCQL` has the underlying type of `fromReader518 `:
30- fromReader518 := sourceCQL .(io.Reader )
29+ // Assume that `sourceCQL` has the underlying type of `fromReader527 `:
30+ fromReader527 := sourceCQL .(io.Reader )
3131
3232 // Call the function that transfers the taint
33- // from the parameter `fromReader518 ` to result `intoReader650 `
34- // (`intoReader650 ` is now tainted).
35- intoReader650 := tar .NewReader (fromReader518 )
33+ // from the parameter `fromReader527 ` to result `intoReader503 `
34+ // (`intoReader503 ` is now tainted).
35+ intoReader503 := tar .NewReader (fromReader527 )
3636
37- // Return the tainted `intoReader650 `:
38- return intoReader650
37+ // Return the tainted `intoReader503 `:
38+ return intoReader503
3939}
4040
4141func TaintStepTest_ArchiveTarNewWriter_B0I0O0 (sourceCQL interface {}) interface {} {
42- // The flow is from `fromWriter784 ` into `intoWriter957 `.
42+ // The flow is from `fromWriter907 ` into `intoWriter317 `.
4343
44- // Assume that `sourceCQL` has the underlying type of `fromWriter784 `:
45- fromWriter784 := sourceCQL .(* tar.Writer )
44+ // Assume that `sourceCQL` has the underlying type of `fromWriter907 `:
45+ fromWriter907 := sourceCQL .(* tar.Writer )
4646
47- // Declare `intoWriter957 ` variable:
48- var intoWriter957 io.Writer
47+ // Declare `intoWriter317 ` variable:
48+ var intoWriter317 io.Writer
4949
5050 // Call the function that will transfer the taint
51- // from the result `intermediateCQL` to parameter `intoWriter957 `:
52- intermediateCQL := tar .NewWriter (intoWriter957 )
51+ // from the result `intermediateCQL` to parameter `intoWriter317 `:
52+ intermediateCQL := tar .NewWriter (intoWriter317 )
5353
54- // Extra step (`fromWriter784 ` taints `intermediateCQL`, which taints `intoWriter957 `:
55- link (fromWriter784 , intermediateCQL )
54+ // Extra step (`fromWriter907 ` taints `intermediateCQL`, which taints `intoWriter317 `:
55+ link (fromWriter907 , intermediateCQL )
5656
57- // Return the tainted `intoWriter957 `:
58- return intoWriter957
57+ // Return the tainted `intoWriter317 `:
58+ return intoWriter317
5959}
6060
6161func TaintStepTest_ArchiveTarHeaderFileInfo_B0I0O0 (sourceCQL interface {}) interface {} {
62- // The flow is from `fromHeader520 ` into `intoFileInfo443 `.
62+ // The flow is from `fromHeader460 ` into `intoFileInfo402 `.
6363
64- // Assume that `sourceCQL` has the underlying type of `fromHeader520 `:
65- fromHeader520 := sourceCQL .(tar.Header )
64+ // Assume that `sourceCQL` has the underlying type of `fromHeader460 `:
65+ fromHeader460 := sourceCQL .(tar.Header )
6666
6767 // Call the method that transfers the taint
68- // from the receiver `fromHeader520 ` to the result `intoFileInfo443 `
69- // (`intoFileInfo443 ` is now tainted).
70- intoFileInfo443 := fromHeader520 .FileInfo ()
68+ // from the receiver `fromHeader460 ` to the result `intoFileInfo402 `
69+ // (`intoFileInfo402 ` is now tainted).
70+ intoFileInfo402 := fromHeader460 .FileInfo ()
7171
72- // Return the tainted `intoFileInfo443 `:
73- return intoFileInfo443
72+ // Return the tainted `intoFileInfo402 `:
73+ return intoFileInfo402
7474}
7575
7676func TaintStepTest_ArchiveTarReaderNext_B0I0O0 (sourceCQL interface {}) interface {} {
77- // The flow is from `fromReader127 ` into `intoHeader483 `.
77+ // The flow is from `fromReader994 ` into `intoHeader183 `.
7878
79- // Assume that `sourceCQL` has the underlying type of `fromReader127 `:
80- fromReader127 := sourceCQL .(tar.Reader )
79+ // Assume that `sourceCQL` has the underlying type of `fromReader994 `:
80+ fromReader994 := sourceCQL .(tar.Reader )
8181
8282 // Call the method that transfers the taint
83- // from the receiver `fromReader127 ` to the result `intoHeader483 `
84- // (`intoHeader483 ` is now tainted).
85- intoHeader483 , _ := fromReader127 .Next ()
83+ // from the receiver `fromReader994 ` to the result `intoHeader183 `
84+ // (`intoHeader183 ` is now tainted).
85+ intoHeader183 , _ := fromReader994 .Next ()
8686
87- // Return the tainted `intoHeader483 `:
88- return intoHeader483
87+ // Return the tainted `intoHeader183 `:
88+ return intoHeader183
8989}
9090
9191func TaintStepTest_ArchiveTarReaderRead_B0I0O0 (sourceCQL interface {}) interface {} {
92- // The flow is from `fromReader989 ` into `intoByte982 `.
92+ // The flow is from `fromReader746 ` into `intoByte905 `.
9393
94- // Assume that `sourceCQL` has the underlying type of `fromReader989 `:
95- fromReader989 := sourceCQL .(tar.Reader )
94+ // Assume that `sourceCQL` has the underlying type of `fromReader746 `:
95+ fromReader746 := sourceCQL .(tar.Reader )
9696
97- // Declare `intoByte982 ` variable:
98- var intoByte982 []byte
97+ // Declare `intoByte905 ` variable:
98+ var intoByte905 []byte
9999
100100 // Call the method that transfers the taint
101- // from the receiver `fromReader989 ` to the argument `intoByte982 `
102- // (`intoByte982 ` is now tainted).
103- fromReader989 .Read (intoByte982 )
101+ // from the receiver `fromReader746 ` to the argument `intoByte905 `
102+ // (`intoByte905 ` is now tainted).
103+ fromReader746 .Read (intoByte905 )
104104
105- // Return the tainted `intoByte982 `:
106- return intoByte982
105+ // Return the tainted `intoByte905 `:
106+ return intoByte905
107107}
108108
109109func TaintStepTest_ArchiveTarWriterWrite_B0I0O0 (sourceCQL interface {}) interface {} {
110- // The flow is from `fromByte417 ` into `intoWriter584 `.
110+ // The flow is from `fromByte262 ` into `intoWriter837 `.
111111
112- // Assume that `sourceCQL` has the underlying type of `fromByte417 `:
113- fromByte417 := sourceCQL .([]byte )
112+ // Assume that `sourceCQL` has the underlying type of `fromByte262 `:
113+ fromByte262 := sourceCQL .([]byte )
114114
115- // Declare `intoWriter584 ` variable:
116- var intoWriter584 tar.Writer
115+ // Declare `intoWriter837 ` variable:
116+ var intoWriter837 tar.Writer
117117
118118 // Call the method that transfers the taint
119- // from the parameter `fromByte417 ` to the receiver `intoWriter584 `
120- // (`intoWriter584 ` is now tainted).
121- intoWriter584 .Write (fromByte417 )
119+ // from the parameter `fromByte262 ` to the receiver `intoWriter837 `
120+ // (`intoWriter837 ` is now tainted).
121+ intoWriter837 .Write (fromByte262 )
122122
123- // Return the tainted `intoWriter584 `:
124- return intoWriter584
123+ // Return the tainted `intoWriter837 `:
124+ return intoWriter837
125125}
126126
127127func TaintStepTest_ArchiveTarWriterWriteHeader_B0I0O0 (sourceCQL interface {}) interface {} {
128- // The flow is from `fromHeader991 ` into `intoWriter881 `.
128+ // The flow is from `fromHeader798 ` into `intoWriter568 `.
129129
130- // Assume that `sourceCQL` has the underlying type of `fromHeader991 `:
131- fromHeader991 := sourceCQL .(* tar.Header )
130+ // Assume that `sourceCQL` has the underlying type of `fromHeader798 `:
131+ fromHeader798 := sourceCQL .(* tar.Header )
132132
133- // Declare `intoWriter881 ` variable:
134- var intoWriter881 tar.Writer
133+ // Declare `intoWriter568 ` variable:
134+ var intoWriter568 tar.Writer
135135
136136 // Call the method that transfers the taint
137- // from the parameter `fromHeader991 ` to the receiver `intoWriter881 `
138- // (`intoWriter881 ` is now tainted).
139- intoWriter881 .WriteHeader (fromHeader991 )
137+ // from the parameter `fromHeader798 ` to the receiver `intoWriter568 `
138+ // (`intoWriter568 ` is now tainted).
139+ intoWriter568 .WriteHeader (fromHeader798 )
140140
141- // Return the tainted `intoWriter881 `:
142- return intoWriter881
141+ // Return the tainted `intoWriter568 `:
142+ return intoWriter568
143143}
144144
145145func RunAllTaints_ArchiveTar () {
0 commit comments