Skip to content

Commit 42b911b

Browse files
shivamkumar2402shivamkumar2402
committed
More test
1 parent 9bb0079 commit 42b911b

9 files changed

+1113
-0
lines changed

‎evm-testcases/taint/example15/example15.sol‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
TIMESTAMP
2+
ORIGIN
3+
AND
4+
PUSH1 0x10
5+
PUSH1 0x10
6+
PC
7+
PUSH1 0x30
8+
EXTCODECOPY
9+
MSIZE
10+
PUSH1 0x20
11+
MSTORE

‎evm-testcases/taint/example15/report.json‎

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
{
2+
"warnings" : [ ],
3+
"files" : [ "report.json", "untyped_program.evm-testcases_taint_example15_example15.sol().json" ],
4+
"info" : {
5+
"cfgs" : "1",
6+
"duration" : "502ms",
7+
"end" : "2024-12-20T22:22:50.369+01:00",
8+
"expressions" : "4",
9+
"files" : "1",
10+
"globals" : "0",
11+
"members" : "1",
12+
"programs" : "1",
13+
"start" : "2024-12-20T22:22:49.867+01:00",
14+
"statements" : "12",
15+
"units" : "0",
16+
"version" : "0.1",
17+
"warnings" : "0"
18+
},
19+
"configuration" : {
20+
"analysisGraphs" : "NONE",
21+
"descendingPhaseType" : "NONE",
22+
"dumpForcesUnwinding" : "false",
23+
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
24+
"glbThreshold" : "5",
25+
"hotspots" : "unset",
26+
"jsonOutput" : "true",
27+
"openCallPolicy" : "WorstCasePolicy",
28+
"optimize" : "false",
29+
"recursionWideningThreshold" : "5",
30+
"semanticChecks" : "",
31+
"serializeInputs" : "false",
32+
"serializeResults" : "true",
33+
"syntacticChecks" : "",
34+
"useWideningPoints" : "false",
35+
"wideningThreshold" : "5",
36+
"workdir" : "evm-outputs/taint/example15"
37+
}
38+
}

‎evm-testcases/taint/example15/untyped_program.evm-testcases_taint_example15_example15.sol().json‎

Lines changed: 345 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,345 @@
1+
{
2+
"name": "untyped program::evm-testcases/taint/example15/example15.sol()",
3+
"description": null,
4+
"nodes": [
5+
{
6+
"id": 0,
7+
"text": "TIMESTAMP"
8+
},
9+
{
10+
"id": 1,
11+
"text": "ORIGIN"
12+
},
13+
{
14+
"id": 2,
15+
"text": "AND"
16+
},
17+
{
18+
"id": 3,
19+
"subNodes": [
20+
4
21+
],
22+
"text": "PUSH1 0x10"
23+
},
24+
{
25+
"id": 4,
26+
"text": "0x10"
27+
},
28+
{
29+
"id": 5,
30+
"subNodes": [
31+
6
32+
],
33+
"text": "PUSH1 0x10"
34+
},
35+
{
36+
"id": 6,
37+
"text": "0x10"
38+
},
39+
{
40+
"id": 7,
41+
"text": "PC"
42+
},
43+
{
44+
"id": 8,
45+
"subNodes": [
46+
9
47+
],
48+
"text": "PUSH1 0x30"
49+
},
50+
{
51+
"id": 9,
52+
"text": "0x30"
53+
},
54+
{
55+
"id": 10,
56+
"text": "EXTCODECOPY"
57+
},
58+
{
59+
"id": 11,
60+
"text": "MSIZE"
61+
},
62+
{
63+
"id": 12,
64+
"subNodes": [
65+
13
66+
],
67+
"text": "PUSH1 0x20"
68+
},
69+
{
70+
"id": 13,
71+
"text": "0x20"
72+
},
73+
{
74+
"id": 14,
75+
"text": "MSTORE"
76+
},
77+
{
78+
"id": 15,
79+
"text": "ret"
80+
}
81+
],
82+
"edges": [
83+
{
84+
"sourceId": 0,
85+
"destId": 1,
86+
"kind": "SequentialEdge"
87+
},
88+
{
89+
"sourceId": 1,
90+
"destId": 2,
91+
"kind": "SequentialEdge"
92+
},
93+
{
94+
"sourceId": 2,
95+
"destId": 3,
96+
"kind": "SequentialEdge"
97+
},
98+
{
99+
"sourceId": 3,
100+
"destId": 5,
101+
"kind": "SequentialEdge"
102+
},
103+
{
104+
"sourceId": 5,
105+
"destId": 7,
106+
"kind": "SequentialEdge"
107+
},
108+
{
109+
"sourceId": 7,
110+
"destId": 8,
111+
"kind": "SequentialEdge"
112+
},
113+
{
114+
"sourceId": 8,
115+
"destId": 10,
116+
"kind": "SequentialEdge"
117+
},
118+
{
119+
"sourceId": 10,
120+
"destId": 11,
121+
"kind": "SequentialEdge"
122+
},
123+
{
124+
"sourceId": 11,
125+
"destId": 12,
126+
"kind": "SequentialEdge"
127+
},
128+
{
129+
"sourceId": 12,
130+
"destId": 14,
131+
"kind": "SequentialEdge"
132+
},
133+
{
134+
"sourceId": 14,
135+
"destId": 15,
136+
"kind": "SequentialEdge"
137+
}
138+
],
139+
"descriptions": [
140+
{
141+
"nodeId": 0,
142+
"description": {
143+
"expressions": [
144+
"timestamp 1"
145+
],
146+
"state": {
147+
"heap": "monolith",
148+
"type": "#TOP#",
149+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T]"
150+
}
151+
}
152+
},
153+
{
154+
"nodeId": 1,
155+
"description": {
156+
"expressions": [
157+
"origin 1"
158+
],
159+
"state": {
160+
"heap": "monolith",
161+
"type": "#TOP#",
162+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T, T]"
163+
}
164+
}
165+
},
166+
{
167+
"nodeId": 2,
168+
"description": {
169+
"expressions": [
170+
"and 1"
171+
],
172+
"state": {
173+
"heap": "monolith",
174+
"type": "#TOP#",
175+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T]"
176+
}
177+
}
178+
},
179+
{
180+
"nodeId": 3,
181+
"description": {
182+
"expressions": [
183+
"push \"0x10\""
184+
],
185+
"state": {
186+
"heap": "monolith",
187+
"type": "#TOP#",
188+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T, C]"
189+
}
190+
}
191+
},
192+
{
193+
"nodeId": 4,
194+
"description": {
195+
"expressions": [
196+
"\"0x10\""
197+
],
198+
"state": {
199+
"heap": "monolith",
200+
"type": "#TOP#",
201+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T]"
202+
}
203+
}
204+
},
205+
{
206+
"nodeId": 5,
207+
"description": {
208+
"expressions": [
209+
"push \"0x10\""
210+
],
211+
"state": {
212+
"heap": "monolith",
213+
"type": "#TOP#",
214+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T, C, C]"
215+
}
216+
}
217+
},
218+
{
219+
"nodeId": 6,
220+
"description": {
221+
"expressions": [
222+
"\"0x10\""
223+
],
224+
"state": {
225+
"heap": "monolith",
226+
"type": "#TOP#",
227+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T, C]"
228+
}
229+
}
230+
},
231+
{
232+
"nodeId": 7,
233+
"description": {
234+
"expressions": [
235+
"pc 5"
236+
],
237+
"state": {
238+
"heap": "monolith",
239+
"type": "#TOP#",
240+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T, C, C, C]"
241+
}
242+
}
243+
},
244+
{
245+
"nodeId": 8,
246+
"description": {
247+
"expressions": [
248+
"push \"0x30\""
249+
],
250+
"state": {
251+
"heap": "monolith",
252+
"type": "#TOP#",
253+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T, C, C, C, C]"
254+
}
255+
}
256+
},
257+
{
258+
"nodeId": 9,
259+
"description": {
260+
"expressions": [
261+
"\"0x30\""
262+
],
263+
"state": {
264+
"heap": "monolith",
265+
"type": "#TOP#",
266+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T, C, C, C]"
267+
}
268+
}
269+
},
270+
{
271+
"nodeId": 10,
272+
"description": {
273+
"expressions": [
274+
"extcodecopy 1"
275+
],
276+
"state": {
277+
"heap": "monolith",
278+
"type": "#TOP#",
279+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T]"
280+
}
281+
}
282+
},
283+
{
284+
"nodeId": 11,
285+
"description": {
286+
"expressions": [
287+
"msize 1"
288+
],
289+
"state": {
290+
"heap": "monolith",
291+
"type": "#TOP#",
292+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T, C]"
293+
}
294+
}
295+
},
296+
{
297+
"nodeId": 12,
298+
"description": {
299+
"expressions": [
300+
"push \"0x20\""
301+
],
302+
"state": {
303+
"heap": "monolith",
304+
"type": "#TOP#",
305+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T, C, C]"
306+
}
307+
}
308+
},
309+
{
310+
"nodeId": 13,
311+
"description": {
312+
"expressions": [
313+
"\"0x20\""
314+
],
315+
"state": {
316+
"heap": "monolith",
317+
"type": "#TOP#",
318+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T, C]"
319+
}
320+
}
321+
},
322+
{
323+
"nodeId": 14,
324+
"description": {
325+
"expressions": [
326+
"mstore 1"
327+
],
328+
"state": {
329+
"heap": "monolith",
330+
"type": "#TOP#",
331+
"value": "[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, T]"
332+
}
333+
}
334+
},
335+
{
336+
"nodeId": 15,
337+
"description": {
338+
"expressions": [
339+
"skip"
340+
],
341+
"state": "#TOP#"
342+
}
343+
}
344+
]
345+
}

0 commit comments

Comments
 (0)