Skip to content

Commit f254b1b

Browse files
0x190x19
authored
Running audits with slither 0.10.0 (#134)
1 parent 143746e commit f254b1b

14 files changed

+126
-133
lines changed

‎data/solc/releases/releases.json‎

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

‎data/tests/audits/ERC20.slither.raw.json‎

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

‎data/tests/audits/Lottery.slither.raw.json‎

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

‎data/tests/audits/SimpleStorage.slither.raw.json‎

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

‎data/tests/audits/TokenSale.slither.raw.json‎

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

‎data/tests/audits/TransparentUpgradeableProxy.slither.raw.json‎

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

‎data/tests/audits/VulnerableBank.slither.raw.json‎

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

‎data/tests/contracts/0x7C3a812bBfC759bf85097211253e63f9e5F49439/ItemsMarketplace.solgo.ast.json‎

Lines changed: 39 additions & 42 deletions
Original file line numberDiff line numberDiff line change
@@ -12707,10 +12707,10 @@
1270712707
},
1270812708
"member_name": "get",
1270912709
"argument_types": [],
12710-
"referenced_declaration": 526,
12710+
"referenced_declaration": 1171,
1271112711
"type_description": {
12712-
"type_identifier": "t_contract$_IterableMapping_$1132",
12713-
"type_string": "contract IterableMapping"
12712+
"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
12713+
"type_string": "function(struct IterableMapping.Map,uint128)"
1271412714
}
1271512715
},
1271612716
"type_description": {
@@ -15554,10 +15554,10 @@
1555415554
},
1555515555
"member_name": "remove",
1555615556
"argument_types": [],
15557-
"referenced_declaration": 1249,
15557+
"referenced_declaration": 680,
1555815558
"type_description": {
15559-
"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
15560-
"type_string": "function(struct IterableMapping.Map,uint128)"
15559+
"type_identifier": "t_contract$_IterableMapping_$1132",
15560+
"type_string": "contract IterableMapping"
1556115561
}
1556215562
},
1556315563
"type_description": {
@@ -16852,10 +16852,10 @@
1685216852
},
1685316853
"member_name": "set",
1685416854
"argument_types": [],
16855-
"referenced_declaration": 1223,
16855+
"referenced_declaration": 739,
1685616856
"type_description": {
16857-
"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$_t_struct$_IterableMapping_Order_$1141$",
16858-
"type_string": "function(struct IterableMapping.Map,uint128,struct IterableMapping.Order)"
16857+
"type_identifier": "t_contract$_IterableMapping_$1132",
16858+
"type_string": "contract IterableMapping"
1685916859
}
1686016860
},
1686116861
"type_description": {
@@ -17490,10 +17490,10 @@
1749017490
},
1749117491
"member_name": "remove",
1749217492
"argument_types": [],
17493-
"referenced_declaration": 680,
17493+
"referenced_declaration": 767,
1749417494
"type_description": {
17495-
"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
17496-
"type_string": "function(struct IterableMapping.Map,uint128)"
17495+
"type_identifier": "t_contract$_IterableMapping_$1132",
17496+
"type_string": "contract IterableMapping"
1749717497
}
1749817498
},
1749917499
"type_description": {
@@ -17710,10 +17710,10 @@
1771017710
},
1771117711
"member_name": "remove",
1771217712
"argument_types": [],
17713-
"referenced_declaration": 680,
17713+
"referenced_declaration": 767,
1771417714
"type_description": {
17715-
"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
17716-
"type_string": "function(struct IterableMapping.Map,uint128)"
17715+
"type_identifier": "t_contract$_IterableMapping_$1132",
17716+
"type_string": "contract IterableMapping"
1771717717
}
1771817718
},
1771917719
"type_description": {
@@ -17994,10 +17994,10 @@
1799417994
},
1799517995
"member_name": "size",
1799617996
"argument_types": [],
17997-
"referenced_declaration": 794,
17997+
"referenced_declaration": 886,
1799817998
"type_description": {
17999-
"type_identifier": "t_contract$_IterableMapping_$1132",
18000-
"type_string": "contract IterableMapping"
17999+
"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$",
18000+
"type_string": "function(struct IterableMapping.Map)"
1800118001
}
1800218002
},
1800318003
"type_description": {
@@ -18361,7 +18361,7 @@
1836118361
},
1836218362
"member_name": "getKeyAtIndex",
1836318363
"argument_types": [],
18364-
"referenced_declaration": 864,
18364+
"referenced_declaration": 811,
1836518365
"type_description": {
1836618366
"type_identifier": "t_contract$_IterableMapping_$1132",
1836718367
"type_string": "contract IterableMapping"
@@ -18859,8 +18859,8 @@
1885918859
"argument_types": [],
1886018860
"referenced_declaration": 680,
1886118861
"type_description": {
18862-
"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
18863-
"type_string": "function(struct IterableMapping.Map,uint128)"
18862+
"type_identifier": "t_contract$_IterableMapping_$1132",
18863+
"type_string": "contract IterableMapping"
1886418864
}
1886518865
},
1886618866
"type_description": {
@@ -19104,8 +19104,8 @@
1910419104
"argument_types": [],
1910519105
"referenced_declaration": 794,
1910619106
"type_description": {
19107-
"type_identifier": "t_contract$_IterableMapping_$1132",
19108-
"type_string": "contract IterableMapping"
19107+
"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$",
19108+
"type_string": "function(struct IterableMapping.Map)"
1910919109
}
1911019110
},
1911119111
"type_description": {
@@ -19469,7 +19469,7 @@
1946919469
},
1947019470
"member_name": "getKeyAtIndex",
1947119471
"argument_types": [],
19472-
"referenced_declaration": 864,
19472+
"referenced_declaration": 811,
1947319473
"type_description": {
1947419474
"type_identifier": "t_contract$_IterableMapping_$1132",
1947519475
"type_string": "contract IterableMapping"
@@ -19568,8 +19568,8 @@
1956819568
"argument_types": [],
1956919569
"referenced_declaration": 680,
1957019570
"type_description": {
19571-
"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
19572-
"type_string": "function(struct IterableMapping.Map,uint128)"
19571+
"type_identifier": "t_contract$_IterableMapping_$1132",
19572+
"type_string": "contract IterableMapping"
1957319573
}
1957419574
},
1957519575
"type_description": {
@@ -19808,10 +19808,10 @@
1980819808
},
1980919809
"member_name": "size",
1981019810
"argument_types": [],
19811-
"referenced_declaration": 794,
19811+
"referenced_declaration": 1206,
1981219812
"type_description": {
19813-
"type_identifier": "t_contract$_IterableMapping_$1132",
19814-
"type_string": "contract IterableMapping"
19813+
"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$",
19814+
"type_string": "function(struct IterableMapping.Map)"
1981519815
}
1981619816
},
1981719817
"type_description": {
@@ -20428,7 +20428,7 @@
2042820428
},
2042920429
"member_name": "getKeyAtIndex",
2043020430
"argument_types": [],
20431-
"referenced_declaration": 864,
20431+
"referenced_declaration": 811,
2043220432
"type_description": {
2043320433
"type_identifier": "t_contract$_IterableMapping_$1132",
2043420434
"type_string": "contract IterableMapping"
@@ -20914,18 +20914,15 @@
2091420914
"is_pure": false
2091520915
},
2091620916
"type_descriptions": [
20917-
{
20918-
"type_identifier": "t_struct$_IterableMapping_Order_$1141",
20919-
"type_string": "struct IterableMapping.Order"
20920-
},
20917+
null,
2092120918
{
2092220919
"type_identifier": "t_uint32",
2092320920
"type_string": "uint32"
2092420921
}
2092520922
],
2092620923
"type_description": {
20927-
"type_identifier": "t_[_[$_t_struct$_IterableMapping_Order_$1141]$_t_uint32]$",
20928-
"type_string": "index[struct IterableMapping.Order:uint32]"
20924+
"type_identifier": "t_[_[$_t_unknown]$_t_uint32]$",
20925+
"type_string": "index[unknown:uint32]"
2092920926
}
2093020927
},
2093120928
"right_expression": {
@@ -21437,10 +21434,10 @@
2143721434
},
2143821435
"member_name": "size",
2143921436
"argument_types": [],
21440-
"referenced_declaration": 968,
21437+
"referenced_declaration": 794,
2144121438
"type_description": {
21442-
"type_identifier": "t_contract$_IterableMapping_$1132",
21443-
"type_string": "contract IterableMapping"
21439+
"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$",
21440+
"type_string": "function(struct IterableMapping.Map)"
2144421441
}
2144521442
},
2144621443
"type_description": {
@@ -22235,10 +22232,10 @@
2223522232
},
2223622233
"member_name": "get",
2223722234
"argument_types": [],
22238-
"referenced_declaration": 1171,
22235+
"referenced_declaration": 526,
2223922236
"type_description": {
22240-
"type_identifier": "t_function_$_t_struct$_IterableMapping_Map_$1155$_t_uint128$",
22241-
"type_string": "function(struct IterableMapping.Map,uint128)"
22237+
"type_identifier": "t_contract$_IterableMapping_$1132",
22238+
"type_string": "contract IterableMapping"
2224222239
}
2224322240
},
2224422241
"type_description": {

0 commit comments

Comments
 (0)