Skip to content

Commit 5faf9d0

Browse files
lucaneglucaneg
committed
Merge remote-tracking branch 'origin/bug-fix-benchmark-script' into counting-update
2 parents e374495 + 858ddab commit 5faf9d0

File tree

51 files changed

+5281
-671
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

51 files changed

+5281
-671
lines changed

‎evm-testcases/cfs/div/div_eth.sol‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,4 +7,14 @@ PUSH1 0x02
77
PUSH1 0x01
88
DIV
99
PUSH1 0x00
10+
EQ
11+
PUSH1 0x02
12+
PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffA
13+
DIV
14+
PUSH32 0x7ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd
15+
EQ
16+
PUSH1 0x02
17+
PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffA
18+
SDIV
19+
PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd
1020
EQ

‎evm-testcases/cfs/div/report.json‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3,15 +3,15 @@
33
"files" : [ "report.json", "untyped_program.evm-testcases_cfs_div_div_eth.sol().json" ],
44
"info" : {
55
"cfgs" : "1",
6-
"duration" : "20ms",
7-
"end" : "2025-02-26T11:44:05.699+01:00",
8-
"expressions" : "6",
6+
"duration" : "13ms",
7+
"end" : "2025-05-13T12:59:48.586+02:00",
8+
"expressions" : "12",
99
"files" : "1",
1010
"globals" : "0",
1111
"members" : "1",
1212
"programs" : "1",
13-
"start" : "2025-02-26T11:44:05.679+01:00",
14-
"statements" : "10",
13+
"start" : "2025-05-13T12:59:48.573+02:00",
14+
"statements" : "20",
1515
"units" : "0",
1616
"version" : "0.1",
1717
"warnings" : "0"

‎evm-testcases/cfs/div/untyped_program.evm-testcases_cfs_div_div_eth.sol().json‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎evm-testcases/cfs/keccak256/keccak.sol‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
PUSH1 0x20
2+
PUSH1 0x00
3+
SHA3
4+
PUSH32 0xFFFFFFFF00000000000000000000000000000000000000000000000000000000
5+
PUSH1 0x00
6+
MSTORE
7+
PUSH1 0x04
8+
PUSH1 0x00
9+
SHA3

‎evm-testcases/cfs/keccak256/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_cfs_keccak256_keccak.sol().json" ],
4+
"info" : {
5+
"cfgs" : "1",
6+
"duration" : "83ms",
7+
"end" : "2025-05-11T16:13:02.675+02:00",
8+
"expressions" : "6",
9+
"files" : "1",
10+
"globals" : "0",
11+
"members" : "1",
12+
"programs" : "1",
13+
"start" : "2025-05-11T16:13:02.592+02:00",
14+
"statements" : "9",
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" : "JumpSolver",
31+
"serializeInputs" : "false",
32+
"serializeResults" : "true",
33+
"syntacticChecks" : "",
34+
"useWideningPoints" : "false",
35+
"wideningThreshold" : "5",
36+
"workdir" : "evm-outputs/cfs/keccak256"
37+
}
38+
}

‎evm-testcases/cfs/keccak256/untyped_program.evm-testcases_cfs_keccak256_keccak.sol().json‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
{"name":"untyped program::evm-testcases/cfs/keccak256/keccak.sol()","description":null,"nodes":[{"id":0,"subNodes":[1],"text":"PUSH1 0x20"},{"id":1,"text":"0x20"},{"id":2,"subNodes":[3],"text":"PUSH1 0x00"},{"id":3,"text":"0x00"},{"id":4,"text":"SHA3"},{"id":5,"subNodes":[6],"text":"PUSH32 0xFFFFFFFF00000000000000000000000000000000000000000000000000000000"},{"id":6,"text":"0xFFFFFFFF00000000000000000000000000000000000000000000000000000000"},{"id":7,"subNodes":[8],"text":"PUSH1 0x00"},{"id":8,"text":"0x00"},{"id":9,"text":"MSTORE"},{"id":10,"subNodes":[11],"text":"PUSH1 0x04"},{"id":11,"text":"0x04"},{"id":12,"subNodes":[13],"text":"PUSH1 0x00"},{"id":13,"text":"0x00"},{"id":14,"text":"SHA3"}],"edges":[{"sourceId":0,"destId":2,"kind":"SequentialEdge"},{"sourceId":2,"destId":4,"kind":"SequentialEdge"},{"sourceId":4,"destId":5,"kind":"SequentialEdge"},{"sourceId":5,"destId":7,"kind":"SequentialEdge"},{"sourceId":7,"destId":9,"kind":"SequentialEdge"},{"sourceId":9,"destId":10,"kind":"SequentialEdge"},{"sourceId":10,"destId":12,"kind":"SequentialEdge"},{"sourceId":12,"destId":14,"kind":"SequentialEdge"}],"descriptions":[{"nodeId":0,"description":{"expressions":["push \"0x20\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, 32]], memory: EMPTY, storage: #TOP# }"}}},{"nodeId":1,"description":{"expressions":["\"0x20\""],"state":"#TOP#"}},{"nodeId":2,"description":{"expressions":["push \"0x00\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, 32, 0]], memory: EMPTY, storage: #TOP# }"}}},{"nodeId":3,"description":{"expressions":["\"0x00\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, 32]], memory: EMPTY, storage: #TOP# }"}}},{"nodeId":4,"description":{"expressions":["sha3 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, 18569430475105882587588266137607568536673111973893317399460219858819262702947]], memory: EMPTY, storage: #TOP# }"}}},{"nodeId":5,"description":{"expressions":["push \"0xFFFFFFFF00000000000000000000000000000000000000000000000000000000\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, 18569430475105882587588266137607568536673111973893317399460219858819262702947, 115792089210356248756420345214020892766250353992003419616917011526809519390720]], memory: EMPTY, storage: #TOP# }"}}},{"nodeId":6,"description":{"expressions":["\"0xFFFFFFFF00000000000000000000000000000000000000000000000000000000\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, 18569430475105882587588266137607568536673111973893317399460219858819262702947]], memory: EMPTY, storage: #TOP# }"}}},{"nodeId":7,"description":{"expressions":["push \"0x00\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, 18569430475105882587588266137607568536673111973893317399460219858819262702947, 115792089210356248756420345214020892766250353992003419616917011526809519390720, 0]], memory: EMPTY, storage: #TOP# }"}}},{"nodeId":8,"description":{"expressions":["\"0x00\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, 18569430475105882587588266137607568536673111973893317399460219858819262702947, 115792089210356248756420345214020892766250353992003419616917011526809519390720]], memory: EMPTY, storage: #TOP# }"}}},{"nodeId":9,"description":{"expressions":["mstore 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, 18569430475105882587588266137607568536673111973893317399460219858819262702947]], memory: FFFFFFFF00000000000000000000000000000000000000000000000000000000, storage: #TOP# }"}}},{"nodeId":10,"description":{"expressions":["push \"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, 18569430475105882587588266137607568536673111973893317399460219858819262702947, 4]], memory: FFFFFFFF00000000000000000000000000000000000000000000000000000000, storage: #TOP# }"}}},{"nodeId":11,"description":{"expressions":["\"0x04\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, 18569430475105882587588266137607568536673111973893317399460219858819262702947]], memory: FFFFFFFF00000000000000000000000000000000000000000000000000000000, storage: #TOP# }"}}},{"nodeId":12,"description":{"expressions":["push \"0x00\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, 18569430475105882587588266137607568536673111973893317399460219858819262702947, 4, 0]], memory: FFFFFFFF00000000000000000000000000000000000000000000000000000000, storage: #TOP# }"}}},{"nodeId":13,"description":{"expressions":["\"0x00\""],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, 18569430475105882587588266137607568536673111973893317399460219858819262702947, 4]], memory: FFFFFFFF00000000000000000000000000000000000000000000000000000000, storage: #TOP# }"}}},{"nodeId":14,"description":{"expressions":["sha3 1"],"state":{"heap":"monolith","type":"#TOP#","value":"{ stacks: [[_|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, _|_, 18569430475105882587588266137607568536673111973893317399460219858819262702947, 18552517740152708416751806921020054235891601220706205192958828703704562188856]], memory: FFFFFFFF00000000000000000000000000000000000000000000000000000000, storage: #TOP# }"}}}]}

‎evm-testcases/cfs/mstore/report.json‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,14 +3,14 @@
33
"files" : [ "report.json", "untyped_program.evm-testcases_cfs_mstore_mstore_eth.sol().json" ],
44
"info" : {
55
"cfgs" : "1",
6-
"duration" : "19ms",
7-
"end" : "2025-02-26T11:44:06.735+01:00",
6+
"duration" : "10ms",
7+
"end" : "2025-05-10T16:40:43.917+02:00",
88
"expressions" : "18",
99
"files" : "1",
1010
"globals" : "0",
1111
"members" : "1",
1212
"programs" : "1",
13-
"start" : "2025-02-26T11:44:06.716+01:00",
13+
"start" : "2025-05-10T16:40:43.907+02:00",
1414
"statements" : "35",
1515
"units" : "0",
1616
"version" : "0.1",

‎evm-testcases/cfs/mstore/untyped_program.evm-testcases_cfs_mstore_mstore_eth.sol().json‎

Lines changed: 1 addition & 1 deletion
Large diffs are not rendered by default.

‎evm-testcases/cfs/mstore2/mstore_eth.sol‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
PUSH32 0x000000000000000000000000be286431454714f511008713973d3b053a2d38f3
2+
PUSH1 0xA0
3+
MSTORE

‎evm-testcases/cfs/mstore2/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_cfs_mstore2_mstore_eth.sol().json" ],
4+
"info" : {
5+
"cfgs" : "1",
6+
"duration" : "297ms",
7+
"end" : "2025-05-10T16:34:19.426+02:00",
8+
"expressions" : "2",
9+
"files" : "1",
10+
"globals" : "0",
11+
"members" : "1",
12+
"programs" : "1",
13+
"start" : "2025-05-10T16:34:19.129+02:00",
14+
"statements" : "3",
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" : "JumpSolver",
31+
"serializeInputs" : "false",
32+
"serializeResults" : "true",
33+
"syntacticChecks" : "",
34+
"useWideningPoints" : "false",
35+
"wideningThreshold" : "5",
36+
"workdir" : "evm-outputs/cfs/mstore2"
37+
}
38+
}

0 commit comments

Comments
 (0)