mirror of https://github.com/crytic/slither
Commit Graph
Select branches
Hide Pull Requests
abstractness
always-depend
bugfix/variabledeclaration
bugfix/yul-tests
ck-printer-old
complexity-dashboard-printer
contracts-derived-filter-tests
coupling-printer
dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.12.2
dependabot/github_actions/dev/super-linter/super-linter-7.2.0
detect/ecrecover
dev
dev-0.7
dev-add-endassembly
dev-arbitrum
dev-autocompletion
dev-cfg-rename
dev-diff-blocks
dev-erc721-props
dev-external-calls
dev-fix-cfg
dev-function-comments
dev-get_line_and_character_from_offset
dev-implicit-conversion
dev-import-aliasing-experiment
dev-import-scope
dev-incorrect-return
dev-middle
dev-missing-zero-check-icall
dev-new-props
dev-optimize-var-order
dev-paths-homebrew
dev-perf
dev-prbmath
dev-reentrancy-constantinople-2
dev-storage-var
dev-using-ecrecover-detector
dev-workaround-action-48
dev-workaround-action-48-0.8.3
dev-wrong-encode-with-selector
erc4626
erc4626-interface
erc4626-share-inflation
feat/subcommands
feature/cleanup-fixup
features/exclude-location
features/filtering
features/typer
fix-crytic_revert_transfer_to_user-prop
fix-inheritance-printer
fix-zero-check
fix/model-implicit-type-conversions
fix/unused-imports
frabert/fix-offsets-from-thing-contract
ir_ssa_fix_phi
ir_ssa_fix_phi_2
issue_fix
issue_fixes
master
missing-zero-check-refactor
must-depend-on
program-slicing
refactor-identifier-resolution
revert-1799-detector-compilation-artifacts
rewrite/solc_parsing
run-black
sarif-logical-locations
send-arbitrary-erc20
snd-printer-eth-send
snd-printers-payable
test-printers
test/slithir-read-write
tmp-reentrancy-fix
try-catch-exceptional-control-flow
type-improvemetns
upgradeability-gap-pattern
#1000
#1005
#1006
#1012
#1013
#1016
#1018
#102
#1020
#1022
#1023
#1025
#1032
#1033
#1037
#1040
#1041
#1042
#1043
#1044
#1045
#1046
#1047
#1048
#1049
#1053
#1054
#1055
#1057
#106
#1065
#1068
#1069
#107
#1073
#1074
#1076
#108
#1082
#1083
#1085
#1086
#1088
#1089
#1092
#1094
#1096
#1097
#1097
#1099
#1100
#1101
#1102
#1102
#1104
#1107
#1108
#1110
#1111
#1117
#1118
#1119
#1120
#1122
#1123
#1124
#1125
#1126
#1128
#113
#1130
#1131
#1132
#1133
#1134
#1135
#1137
#1141
#1149
#1151
#1156
#1157
#1162
#1163
#1165
#1167
#117
#1171
#1175
#1177
#1178
#1179
#1180
#1181
#1184
#1185
#1186
#1188
#1190
#1193
#1196
#12
#1200
#1204
#1205
#1207
#1209
#1209
#1216
#1217
#122
#1227
#1229
#1230
#1231
#1233
#1239
#1242
#1243
#1244
#1245
#1249
#125
#1255
#1256
#1257
#1267
#1268
#1271
#1274
#1276
#1277
#1278
#1280
#1282
#1285
#1288
#129
#1291
#1292
#1292
#1297
#1299
#13
#1300
#1302
#1303
#1304
#1306
#1307
#1308
#1309
#1310
#1311
#1317
#1318
#132
#1323
#1325
#1332
#1334
#1335
#1336
#1339
#1342
#1343
#1344
#1346
#1346
#1347
#1348
#1349
#1350
#1351
#1356
#1359
#1360
#1360
#1362
#1369
#1373
#1373
#1375
#1377
#1378
#1384
#1385
#1386
#1387
#1388
#1389
#1392
#1394
#1395
#1396
#1396
#1397
#1397
#1398
#1398
#1399
#14
#1400
#1401
#1402
#1402
#1403
#1403
#1404
#1405
#1406
#1409
#1411
#1419
#1425
#1425
#1429
#1430
#1432
#1434
#1435
#1441
#1442
#1443
#1444
#1445
#1449
#1451
#1454
#1455
#1456
#1457
#146
#1460
#1461
#1462
#147
#1470
#1475
#1475
#1477
#148
#1480
#1483
#1484
#1485
#1487
#1488
#1489
#149
#1494
#1496
#1497
#1498
#1499
#15
#1500
#1501
#1503
#1504
#1506
#1507
#1508
#1510
#1513
#1514
#1515
#1516
#1517
#1518
#1519
#1520
#1521
#1522
#1523
#1524
#1525
#1526
#1527
#1528
#1529
#1529
#1530
#1532
#1533
#1534
#1535
#1539
#1542
#1545
#1546
#1547
#1549
#1550
#1551
#1552
#1553
#1554
#1555
#1556
#1558
#1558
#1559
#1560
#1561
#1563
#1564
#1565
#1565
#1567
#1568
#1569
#1571
#1573
#1574
#1575
#1576
#1577
#1579
#1581
#1583
#1584
#1586
#159
#1592
#1599
#16
#16
#1600
#1601
#1603
#1604
#1605
#1608
#1608
#161
#1611
#1617
#1618
#162
#1623
#1624
#1625
#1626
#1632
#1632
#1633
#1636
#1637
#1638
#1639
#1640
#1641
#1642
#1643
#1650
#1651
#1653
#1655
#1656
#1657
#166
#1660
#1661
#1662
#1663
#1665
#1666
#1669
#1672
#1673
#1674
#1676
#1679
#1684
#1685
#1689
#169
#1690
#1691
#1692
#1692
#1694
#1695
#1699
#17
#1705
#1706
#1707
#1709
#1709
#1710
#1711
#1712
#1713
#1715
#172
#1722
#1723
#1724
#1725
#1730
#1731
#1733
#1734
#1735
#1738
#1739
#174
#1740
#1741
#1743
#1744
#1749
#1752
#1753
#1755
#1756
#1757
#1759
#1761
#1762
#1763
#1763
#1764
#1765
#1766
#1768
#1769
#1770
#1771
#1772
#1773
#1774
#1777
#1781
#1781
#1782
#1784
#1786
#179
#1791
#1792
#1796
#1799
#1802
#1803
#1804
#1806
#1808
#181
#1812
#1814
#1814
#1816
#1817
#1818
#1820
#1821
#1823
#1824
#1832
#1839
#184
#1842
#1843
#1844
#1845
#1848
#1850
#1852
#1854
#1855
#1856
#1858
#1861
#1862
#1868
#1869
#1871
#1872
#1873
#1876
#1877
#1878
#1880
#1881
#1882
#1886
#1887
#1888
#1889
#1890
#1891
#1892
#1894
#1895
#1896
#1898
#1900
#1902
#1903
#1905
#1909
#191
#1911
#1912
#1914
#1915
#1917
#1919
#1921
#1924
#1926
#193
#1933
#1935
#1936
#1938
#194
#1942
#1945
#1946
#1947
#1948
#1949
#1951
#1952
#1956
#1957
#1959
#196
#1961
#1962
#1963
#1967
#1967
#1968
#1969
#1971
#1972
#1974
#1976
#1977
#1978
#1979
#198
#1980
#1981
#1982
#1983
#1984
#1986
#1988
#199
#1990
#1991
#1992
#1993
#1994
#1995
#1996
#1997
#1998
#1999
#2
#2
#20
#200
#2000
#2001
#2002
#2003
#2004
#201
#2010
#2012
#2014
#2015
#2015
#2018
#2019
#202
#2022
#2023
#2024
#2027
#2029
#2030
#2031
#2033
#2034
#204
#2043
#2044
#2047
#2048
#2049
#2051
#2052
#2060
#2061
#2063
#2064
#2065
#2066
#2067
#2068
#2069
#2069
#2070
#2071
#2076
#2078
#2079
#2079
#208
#2080
#2081
#2084
#2086
#2087
#2093
#2098
#2099
#21
#2105
#211
#2110
#2111
#2112
#2114
#2115
#2118
#2119
#2120
#2121
#2124
#2125
#213
#2131
#2132
#2133
#2134
#2135
#2146
#2147
#215
#2151
#2153
#2154
#2155
#2156
#2158
#2159
#216
#2162
#2164
#2165
#2166
#2167
#2168
#217
#2170
#2172
#2173
#2174
#2175
#2176
#2177
#2180
#2181
#2182
#2183
#2185
#2186
#2187
#2188
#2189
#219
#2197
#2198
#2199
#2200
#2201
#2203
#2206
#2208
#2211
#2212
#2219
#222
#2220
#2221
#2224
#2225
#2230
#2232
#2235
#2236
#2236
#2238
#2238
#2239
#2240
#2241
#2241
#2246
#2247
#2248
#2249
#2249
#225
#2250
#2251
#2251
#2252
#2253
#2254
#2255
#2256
#2258
#2259
#226
#2260
#2264
#2265
#227
#2270
#2275
#2277
#2278
#228
#2280
#2281
#2285
#2286
#2288
#2288
#2289
#2289
#229
#2290
#2292
#2293
#2294
#2297
#2298
#2299
#230
#2302
#2303
#2305
#2306
#2308
#231
#2310
#2311
#2312
#2314
#2315
#2317
#2317
#2319
#2320
#2321
#2323
#2326
#2329
#233
#2330
#2331
#2332
#2333
#2338
#234
#2340
#2341
#2342
#2343
#2344
#2346
#2347
#2348
#2349
#235
#2353
#2357
#2358
#236
#2360
#2361
#2363
#2365
#2366
#2367
#2368
#237
#2370
#2371
#2372
#2373
#2376
#238
#2381
#2382
#2383
#2384
#2385
#2386
#2387
#2388
#2389
#239
#2391
#2392
#2393
#2394
#2396
#2397
#240
#2400
#2401
#2402
#2403
#2404
#2405
#2406
#2407
#2408
#2409
#241
#2410
#2411
#2412
#2413
#2414
#2416
#2416
#2417
#2418
#2419
#242
#2420
#2420
#2423
#2423
#2426
#2427
#2427
#2428
#2428
#2431
#2432
#2433
#2435
#2436
#2438
#2439
#244
#2440
#2441
#2442
#2444
#2447
#2448
#2448
#2449
#2452
#2453
#2455
#2457
#2458
#2458
#2459
#2460
#2461
#2462
#2463
#2464
#2465
#2468
#2469
#2471
#2472
#2473
#2474
#2475
#2476
#2479
#2479
#2480
#2481
#2482
#2484
#2485
#2486
#2488
#249
#2492
#2493
#2494
#2495
#2496
#2498
#2499
#2502
#2502
#2506
#2508
#2513
#2513
#2518
#252
#2521
#2529
#2531
#2534
#2536
#2537
#254
#2540
#2541
#2542
#2543
#2546
#2547
#2550
#2551
#2553
#2554
#2555
#2556
#2556
#2559
#2560
#2564
#2565
#2565
#2567
#2568
#2569
#257
#2570
#2571
#2572
#2573
#2573
#2574
#2575
#2576
#2578
#2579
#2580
#2581
#2582
#2583
#2584
#2585
#2588
#2589
#2596
#2597
#2597
#260
#2601
#2602
#2602
#2603
#2603
#2604
#2605
#2606
#2606
#263
#264
#265
#266
#269
#275
#276
#277
#278
#279
#28
#280
#281
#282
#283
#285
#290
#293
#295
#298
#299
#3
#300
#301
#302
#303
#305
#31
#311
#313
#314
#315
#317
#32
#321
#322
#323
#325
#328
#329
#330
#332
#333
#334
#335
#338
#339
#34
#340
#346
#348
#35
#35
#350
#351
#353
#354
#355
#356
#357
#36
#360
#362
#364
#367
#368
#369
#370
#371
#373
#374
#375
#376
#377
#378
#379
#38
#380
#381
#383
#384
#385
#386
#387
#388
#390
#391
#396
#397
#400
#403
#406
#407
#409
#410
#411
#412
#413
#414
#415
#416
#417
#418
#42
#422
#423
#424
#425
#426
#428
#429
#431
#432
#437
#438
#439
#441
#442
#445
#446
#447
#448
#449
#451
#453
#454
#455
#458
#459
#46
#460
#461
#463
#467
#469
#472
#475
#476
#477
#478
#479
#480
#483
#484
#489
#49
#491
#494
#496
#497
#498
#499
#502
#503
#504
#505
#506
#507
#51
#510
#512
#513
#514
#516
#517
#519
#52
#522
#523
#524
#528
#53
#530
#535
#536
#537
#538
#539
#54
#540
#541
#544
#546
#548
#55
#550
#551
#554
#555
#556
#56
#560
#561
#562
#563
#564
#565
#567
#569
#572
#573
#575
#576
#577
#58
#598
#599
#60
#600
#601
#604
#605
#607
#608
#61
#610
#612
#613
#614
#615
#616
#617
#618
#62
#620
#621
#623
#624
#625
#626
#627
#628
#629
#630
#631
#632
#633
#635
#636
#637
#639
#64
#642
#643
#645
#646
#648
#650
#651
#653
#654
#655
#656
#659
#66
#660
#666
#67
#673
#675
#678
#68
#680
#682
#686
#687
#69
#693
#694
#701
#702
#703
#704
#705
#706
#707
#712
#713
#714
#718
#719
#72
#720
#721
#722
#723
#724
#725
#726
#728
#729
#730
#732
#733
#734
#736
#737
#738
#74
#744
#746
#746
#747
#75
#756
#758
#763
#764
#766
#769
#78
#780
#781
#785
#786
#791
#796
#798
#799
#8
#800
#801
#802
#81
#810
#811
#812
#813
#815
#817
#819
#821
#822
#823
#825
#827
#828
#830
#831
#832
#833
#836
#837
#838
#839
#84
#841
#842
#845
#846
#848
#849
#850
#853
#854
#855
#856
#858
#859
#86
#861
#862
#867
#869
#87
#870
#874
#875
#876
#877
#878
#879
#88
#886
#889
#890
#895
#896
#903
#906
#907
#908
#916
#917
#918
#920
#921
#925
#926
#93
#931
#935
#938
#939
#94
#945
#946
#947
#949
#952
#953
#954
#958
#964
#966
#967
#968
#971
#972
#973
#980
#983
#984
#985
#986
#987
#988
#990
#991
#992
#994
#996
#997
#998
#999
0.1.0
0.10.0
0.10.1
0.10.2
0.10.3
0.10.4
0.2.0
0.3.0
0.3.1
0.4.0
0.5.0
0.5.1
0.5.2
0.6.0
0.6.1
0.6.10
0.6.11
0.6.12
0.6.13
0.6.14
0.6.15
0.6.2
0.6.3
0.6.4
0.6.6
0.6.7
0.6.8
0.6.9
0.7.0
0.7.1
0.8.0
0.8.1
0.8.2
0.8.3
0.9.0
0.9.1
0.9.2
0.9.3
0.9.4
0.9.5
0.9.6
Select branches
Hide Pull Requests
abstractness
always-depend
bugfix/variabledeclaration
bugfix/yul-tests
ck-printer-old
complexity-dashboard-printer
contracts-derived-filter-tests
coupling-printer
dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.12.2
dependabot/github_actions/dev/super-linter/super-linter-7.2.0
detect/ecrecover
dev
dev-0.7
dev-add-endassembly
dev-arbitrum
dev-autocompletion
dev-cfg-rename
dev-diff-blocks
dev-erc721-props
dev-external-calls
dev-fix-cfg
dev-function-comments
dev-get_line_and_character_from_offset
dev-implicit-conversion
dev-import-aliasing-experiment
dev-import-scope
dev-incorrect-return
dev-middle
dev-missing-zero-check-icall
dev-new-props
dev-optimize-var-order
dev-paths-homebrew
dev-perf
dev-prbmath
dev-reentrancy-constantinople-2
dev-storage-var
dev-using-ecrecover-detector
dev-workaround-action-48
dev-workaround-action-48-0.8.3
dev-wrong-encode-with-selector
erc4626
erc4626-interface
erc4626-share-inflation
feat/subcommands
feature/cleanup-fixup
features/exclude-location
features/filtering
features/typer
fix-crytic_revert_transfer_to_user-prop
fix-inheritance-printer
fix-zero-check
fix/model-implicit-type-conversions
fix/unused-imports
frabert/fix-offsets-from-thing-contract
ir_ssa_fix_phi
ir_ssa_fix_phi_2
issue_fix
issue_fixes
master
missing-zero-check-refactor
must-depend-on
program-slicing
refactor-identifier-resolution
revert-1799-detector-compilation-artifacts
rewrite/solc_parsing
run-black
sarif-logical-locations
send-arbitrary-erc20
snd-printer-eth-send
snd-printers-payable
test-printers
test/slithir-read-write
tmp-reentrancy-fix
try-catch-exceptional-control-flow
type-improvemetns
upgradeability-gap-pattern
#1000
#1005
#1006
#1012
#1013
#1016
#1018
#102
#1020
#1022
#1023
#1025
#1032
#1033
#1037
#1040
#1041
#1042
#1043
#1044
#1045
#1046
#1047
#1048
#1049
#1053
#1054
#1055
#1057
#106
#1065
#1068
#1069
#107
#1073
#1074
#1076
#108
#1082
#1083
#1085
#1086
#1088
#1089
#1092
#1094
#1096
#1097
#1097
#1099
#1100
#1101
#1102
#1102
#1104
#1107
#1108
#1110
#1111
#1117
#1118
#1119
#1120
#1122
#1123
#1124
#1125
#1126
#1128
#113
#1130
#1131
#1132
#1133
#1134
#1135
#1137
#1141
#1149
#1151
#1156
#1157
#1162
#1163
#1165
#1167
#117
#1171
#1175
#1177
#1178
#1179
#1180
#1181
#1184
#1185
#1186
#1188
#1190
#1193
#1196
#12
#1200
#1204
#1205
#1207
#1209
#1209
#1216
#1217
#122
#1227
#1229
#1230
#1231
#1233
#1239
#1242
#1243
#1244
#1245
#1249
#125
#1255
#1256
#1257
#1267
#1268
#1271
#1274
#1276
#1277
#1278
#1280
#1282
#1285
#1288
#129
#1291
#1292
#1292
#1297
#1299
#13
#1300
#1302
#1303
#1304
#1306
#1307
#1308
#1309
#1310
#1311
#1317
#1318
#132
#1323
#1325
#1332
#1334
#1335
#1336
#1339
#1342
#1343
#1344
#1346
#1346
#1347
#1348
#1349
#1350
#1351
#1356
#1359
#1360
#1360
#1362
#1369
#1373
#1373
#1375
#1377
#1378
#1384
#1385
#1386
#1387
#1388
#1389
#1392
#1394
#1395
#1396
#1396
#1397
#1397
#1398
#1398
#1399
#14
#1400
#1401
#1402
#1402
#1403
#1403
#1404
#1405
#1406
#1409
#1411
#1419
#1425
#1425
#1429
#1430
#1432
#1434
#1435
#1441
#1442
#1443
#1444
#1445
#1449
#1451
#1454
#1455
#1456
#1457
#146
#1460
#1461
#1462
#147
#1470
#1475
#1475
#1477
#148
#1480
#1483
#1484
#1485
#1487
#1488
#1489
#149
#1494
#1496
#1497
#1498
#1499
#15
#1500
#1501
#1503
#1504
#1506
#1507
#1508
#1510
#1513
#1514
#1515
#1516
#1517
#1518
#1519
#1520
#1521
#1522
#1523
#1524
#1525
#1526
#1527
#1528
#1529
#1529
#1530
#1532
#1533
#1534
#1535
#1539
#1542
#1545
#1546
#1547
#1549
#1550
#1551
#1552
#1553
#1554
#1555
#1556
#1558
#1558
#1559
#1560
#1561
#1563
#1564
#1565
#1565
#1567
#1568
#1569
#1571
#1573
#1574
#1575
#1576
#1577
#1579
#1581
#1583
#1584
#1586
#159
#1592
#1599
#16
#16
#1600
#1601
#1603
#1604
#1605
#1608
#1608
#161
#1611
#1617
#1618
#162
#1623
#1624
#1625
#1626
#1632
#1632
#1633
#1636
#1637
#1638
#1639
#1640
#1641
#1642
#1643
#1650
#1651
#1653
#1655
#1656
#1657
#166
#1660
#1661
#1662
#1663
#1665
#1666
#1669
#1672
#1673
#1674
#1676
#1679
#1684
#1685
#1689
#169
#1690
#1691
#1692
#1692
#1694
#1695
#1699
#17
#1705
#1706
#1707
#1709
#1709
#1710
#1711
#1712
#1713
#1715
#172
#1722
#1723
#1724
#1725
#1730
#1731
#1733
#1734
#1735
#1738
#1739
#174
#1740
#1741
#1743
#1744
#1749
#1752
#1753
#1755
#1756
#1757
#1759
#1761
#1762
#1763
#1763
#1764
#1765
#1766
#1768
#1769
#1770
#1771
#1772
#1773
#1774
#1777
#1781
#1781
#1782
#1784
#1786
#179
#1791
#1792
#1796
#1799
#1802
#1803
#1804
#1806
#1808
#181
#1812
#1814
#1814
#1816
#1817
#1818
#1820
#1821
#1823
#1824
#1832
#1839
#184
#1842
#1843
#1844
#1845
#1848
#1850
#1852
#1854
#1855
#1856
#1858
#1861
#1862
#1868
#1869
#1871
#1872
#1873
#1876
#1877
#1878
#1880
#1881
#1882
#1886
#1887
#1888
#1889
#1890
#1891
#1892
#1894
#1895
#1896
#1898
#1900
#1902
#1903
#1905
#1909
#191
#1911
#1912
#1914
#1915
#1917
#1919
#1921
#1924
#1926
#193
#1933
#1935
#1936
#1938
#194
#1942
#1945
#1946
#1947
#1948
#1949
#1951
#1952
#1956
#1957
#1959
#196
#1961
#1962
#1963
#1967
#1967
#1968
#1969
#1971
#1972
#1974
#1976
#1977
#1978
#1979
#198
#1980
#1981
#1982
#1983
#1984
#1986
#1988
#199
#1990
#1991
#1992
#1993
#1994
#1995
#1996
#1997
#1998
#1999
#2
#2
#20
#200
#2000
#2001
#2002
#2003
#2004
#201
#2010
#2012
#2014
#2015
#2015
#2018
#2019
#202
#2022
#2023
#2024
#2027
#2029
#2030
#2031
#2033
#2034
#204
#2043
#2044
#2047
#2048
#2049
#2051
#2052
#2060
#2061
#2063
#2064
#2065
#2066
#2067
#2068
#2069
#2069
#2070
#2071
#2076
#2078
#2079
#2079
#208
#2080
#2081
#2084
#2086
#2087
#2093
#2098
#2099
#21
#2105
#211
#2110
#2111
#2112
#2114
#2115
#2118
#2119
#2120
#2121
#2124
#2125
#213
#2131
#2132
#2133
#2134
#2135
#2146
#2147
#215
#2151
#2153
#2154
#2155
#2156
#2158
#2159
#216
#2162
#2164
#2165
#2166
#2167
#2168
#217
#2170
#2172
#2173
#2174
#2175
#2176
#2177
#2180
#2181
#2182
#2183
#2185
#2186
#2187
#2188
#2189
#219
#2197
#2198
#2199
#2200
#2201
#2203
#2206
#2208
#2211
#2212
#2219
#222
#2220
#2221
#2224
#2225
#2230
#2232
#2235
#2236
#2236
#2238
#2238
#2239
#2240
#2241
#2241
#2246
#2247
#2248
#2249
#2249
#225
#2250
#2251
#2251
#2252
#2253
#2254
#2255
#2256
#2258
#2259
#226
#2260
#2264
#2265
#227
#2270
#2275
#2277
#2278
#228
#2280
#2281
#2285
#2286
#2288
#2288
#2289
#2289
#229
#2290
#2292
#2293
#2294
#2297
#2298
#2299
#230
#2302
#2303
#2305
#2306
#2308
#231
#2310
#2311
#2312
#2314
#2315
#2317
#2317
#2319
#2320
#2321
#2323
#2326
#2329
#233
#2330
#2331
#2332
#2333
#2338
#234
#2340
#2341
#2342
#2343
#2344
#2346
#2347
#2348
#2349
#235
#2353
#2357
#2358
#236
#2360
#2361
#2363
#2365
#2366
#2367
#2368
#237
#2370
#2371
#2372
#2373
#2376
#238
#2381
#2382
#2383
#2384
#2385
#2386
#2387
#2388
#2389
#239
#2391
#2392
#2393
#2394
#2396
#2397
#240
#2400
#2401
#2402
#2403
#2404
#2405
#2406
#2407
#2408
#2409
#241
#2410
#2411
#2412
#2413
#2414
#2416
#2416
#2417
#2418
#2419
#242
#2420
#2420
#2423
#2423
#2426
#2427
#2427
#2428
#2428
#2431
#2432
#2433
#2435
#2436
#2438
#2439
#244
#2440
#2441
#2442
#2444
#2447
#2448
#2448
#2449
#2452
#2453
#2455
#2457
#2458
#2458
#2459
#2460
#2461
#2462
#2463
#2464
#2465
#2468
#2469
#2471
#2472
#2473
#2474
#2475
#2476
#2479
#2479
#2480
#2481
#2482
#2484
#2485
#2486
#2488
#249
#2492
#2493
#2494
#2495
#2496
#2498
#2499
#2502
#2502
#2506
#2508
#2513
#2513
#2518
#252
#2521
#2529
#2531
#2534
#2536
#2537
#254
#2540
#2541
#2542
#2543
#2546
#2547
#2550
#2551
#2553
#2554
#2555
#2556
#2556
#2559
#2560
#2564
#2565
#2565
#2567
#2568
#2569
#257
#2570
#2571
#2572
#2573
#2573
#2574
#2575
#2576
#2578
#2579
#2580
#2581
#2582
#2583
#2584
#2585
#2588
#2589
#2596
#2597
#2597
#260
#2601
#2602
#2602
#2603
#2603
#2604
#2605
#2606
#2606
#263
#264
#265
#266
#269
#275
#276
#277
#278
#279
#28
#280
#281
#282
#283
#285
#290
#293
#295
#298
#299
#3
#300
#301
#302
#303
#305
#31
#311
#313
#314
#315
#317
#32
#321
#322
#323
#325
#328
#329
#330
#332
#333
#334
#335
#338
#339
#34
#340
#346
#348
#35
#35
#350
#351
#353
#354
#355
#356
#357
#36
#360
#362
#364
#367
#368
#369
#370
#371
#373
#374
#375
#376
#377
#378
#379
#38
#380
#381
#383
#384
#385
#386
#387
#388
#390
#391
#396
#397
#400
#403
#406
#407
#409
#410
#411
#412
#413
#414
#415
#416
#417
#418
#42
#422
#423
#424
#425
#426
#428
#429
#431
#432
#437
#438
#439
#441
#442
#445
#446
#447
#448
#449
#451
#453
#454
#455
#458
#459
#46
#460
#461
#463
#467
#469
#472
#475
#476
#477
#478
#479
#480
#483
#484
#489
#49
#491
#494
#496
#497
#498
#499
#502
#503
#504
#505
#506
#507
#51
#510
#512
#513
#514
#516
#517
#519
#52
#522
#523
#524
#528
#53
#530
#535
#536
#537
#538
#539
#54
#540
#541
#544
#546
#548
#55
#550
#551
#554
#555
#556
#56
#560
#561
#562
#563
#564
#565
#567
#569
#572
#573
#575
#576
#577
#58
#598
#599
#60
#600
#601
#604
#605
#607
#608
#61
#610
#612
#613
#614
#615
#616
#617
#618
#62
#620
#621
#623
#624
#625
#626
#627
#628
#629
#630
#631
#632
#633
#635
#636
#637
#639
#64
#642
#643
#645
#646
#648
#650
#651
#653
#654
#655
#656
#659
#66
#660
#666
#67
#673
#675
#678
#68
#680
#682
#686
#687
#69
#693
#694
#701
#702
#703
#704
#705
#706
#707
#712
#713
#714
#718
#719
#72
#720
#721
#722
#723
#724
#725
#726
#728
#729
#730
#732
#733
#734
#736
#737
#738
#74
#744
#746
#746
#747
#75
#756
#758
#763
#764
#766
#769
#78
#780
#781
#785
#786
#791
#796
#798
#799
#8
#800
#801
#802
#81
#810
#811
#812
#813
#815
#817
#819
#821
#822
#823
#825
#827
#828
#830
#831
#832
#833
#836
#837
#838
#839
#84
#841
#842
#845
#846
#848
#849
#850
#853
#854
#855
#856
#858
#859
#86
#861
#862
#867
#869
#87
#870
#874
#875
#876
#877
#878
#879
#88
#886
#889
#890
#895
#896
#903
#906
#907
#908
#916
#917
#918
#920
#921
#925
#926
#93
#931
#935
#938
#939
#94
#945
#946
#947
#949
#952
#953
#954
#958
#964
#966
#967
#968
#971
#972
#973
#980
#983
#984
#985
#986
#987
#988
#990
#991
#992
#994
#996
#997
#998
#999
0.1.0
0.10.0
0.10.1
0.10.2
0.10.3
0.10.4
0.2.0
0.3.0
0.3.1
0.4.0
0.5.0
0.5.1
0.5.2
0.6.0
0.6.1
0.6.10
0.6.11
0.6.12
0.6.13
0.6.14
0.6.15
0.6.2
0.6.3
0.6.4
0.6.6
0.6.7
0.6.8
0.6.9
0.7.0
0.7.1
0.8.0
0.8.1
0.8.2
0.8.3
0.9.0
0.9.1
0.9.2
0.9.3
0.9.4
0.9.5
0.9.6
-
ef1fd7ebbf
-
2ad318c7c0
- 98f37bc288 fix lints #2376 alpharush 2024-03-28 13:10:35 -0500
- b4260b113c refactor for linter alpharush 2024-03-28 13:03:06 -0500
- e7edac5038 add override for all instance of virtual, inherited functions alpharush 2024-03-28 12:48:02 -0500
-
e574c02936
- 759a4fcead add test alpharush 2024-03-28 10:48:33 -0500
-
e8bd8e131b
- 0b0f155779 Implement pytest parameterize on test_implicit_returns (#2350) #2381 Ngalim Siregar 2024-03-28 22:31:12 +0700
- 0933dfa67c reference API handles abstract contract, interface, and virtual func alpharush 2024-03-27 23:54:16 -0500
- 20ed490e2d feat: add is_abstract alpharush 2024-03-27 23:14:39 -0500
- ecf8c3df34 Make using-for utils Simone 2024-03-26 13:51:12 +0100
- 9a0fc3053e Add ir test Simone 2024-03-26 13:47:42 +0100
- b15d9df730 Merge branch 'dev' into dev-fix-toplevelfn-ir Simone 2024-03-26 10:34:01 +0100
- 181493face fix: output to SARIF error because empty detectors_classes LowK 2024-03-26 14:42:39 +0700
-
13d7d9f66a
- cac1252706 chore: remove repetitive words #2373 majorteach 2024-03-23 18:16:20 +0800
- 09dd74a44e Merge branch 'fix/references-high-level-call' into feat/virtual-override-with-refs alpharush 2024-03-22 22:33:35 -0500
- 757d892517 feat: which contracts' function defs are overridden with refs alpharush 2024-03-22 22:32:55 -0500
-
ea90b38734
- 93bbb22f4a use crytic-compile master with windows path fix #2371 alpharush 2024-03-22 15:45:36 -0500
- 20b32df52e use ValueError instead of broad exception #2348 alpharush 2024-03-22 15:37:32 -0500
- 609a5e1d96 add missing python versions to matrix alpharush 2024-03-22 15:35:08 -0500
- 84c3199458 add regression tests for reference API on windows alpharush 2024-03-22 15:31:18 -0500
-
b5993c3e7e
- 37a1a5c832 use fix/normalize-windows-path crytic-compile #2372 alpharush 2024-03-22 14:56:35 -0500
- 209df4ea76 split test into its own file alpharush 2024-03-22 11:28:45 -0500
- db6ff6618f fix pylint alpharush 2024-03-22 11:17:17 -0500
- 294850f2f1 add missing file #2370 alpharush 2024-03-21 22:17:04 -0500
- fc9416c3ec fix: attach references for inheritance specifier and top level types alpharush 2024-03-21 22:16:01 -0500
- 28688b334b fix: add offsets for state variables alpharush 2024-03-21 12:39:25 -0500
- 14f4a32feb register references for HighLevelCall's alpharush 2024-03-21 11:20:18 -0500
- 69ece6da84 fix: support aliases for NewContract operation alpharush 2024-03-20 11:03:27 -0500
- 58155bf309 Add all variables read/written #2368 Simone 2024-03-19 18:31:43 +0100
- 19fc24bf66 Fix comment and lint Simone 2024-03-19 17:38:49 +0100
- ed6edff706 Fix IR for top level functions with using-for Simone 2024-03-19 14:02:17 +0100
-
1ed85707ab
-
0cfb897b32
-
c162138765
-
0f56da1e7e
-
4f9e56aa41
-
84053e601e
-
de268d34df
-
3f2d189a7e
- 134cadf989 Fix parsing of events #2365 Simone 2024-03-18 14:32:31 +0100
-
14f43d430f
- 19472cf4b5 fix: black issue Talfao 2024-03-18 08:59:48 +0100
-
de9505ba58
- d6ac5cbc4d feat: all done for merge Talfao 2024-03-18 08:36:35 +0100
- dff5e50e89 fix: better solution for recursion error Talfao 2024-03-18 08:35:04 +0100
- 6454d6ae48 fix: sequencer check Talfao 2024-03-17 09:20:32 +0100
- 4268a9df67 chore: remove repetitive word #2363 rustrover 2024-03-14 14:01:20 +0800
-
3905158cb5
-
f10759c045
-
d54728c622
-
84efb2f11e
-
0e1713bf55
-
3d1742fae6
- 7a3ced0cff fix: recursion error Talfao 2024-03-11 15:52:30 +0100
-
c0346d37d5
-
c2ff06ee2d
-
59327fa97e
-
4664c97abc
-
4d2ab83d44
-
c37c50647c
-
354f5ba457
-
f46574e726
-
4081125ec4
-
5d36814734
-
66ae9d2186
-
d24347b446
- 1af07d15bb add known solc bugs, remove allowed versions, improve formatting alpharush 2024-03-01 17:58:54 -0600
-
f7238c4fdf
- 0c10e27341 add support for python 3.12 alpharush 2024-03-01 16:51:00 -0600
-
31c5de0541
-
6368368658
-
f17133f3af
- ac786feefb update version of pylint in contributing.md alpharush 2024-03-01 16:30:51 -0600
-
c983185256
-
b7607f74c4
-
c9e9cff93d
-
377494ac97
- aed855869b Add funding metadata to repository #2346 Emilio López 2024-03-01 16:00:50 -0300
-
35230939bc
- 7563def42f prepare 0.10.1 release #2344 alpharush 2024-02-29 14:40:05 -0600
-
629ff2b2b8
-
d5c33a190d
-
ecc7a4fffd
-
a8dc50e9d9
- a8915a8a7f update --inlude-paths help #2330 alpharush 2024-02-29 11:30:38 -0600
-
754d64d7f7
-
1854c147d5
- 801a13e600 add regression test for https://github.com/crytic/slither/issues/2325 #2329 alpharush 2024-02-29 11:13:26 -0600
-
23c4cce7f6
- 75c1159d73 add test showing two internal call example is caught #2340 alpharush 2024-02-29 10:40:07 -0600
- 04ff85fd65 make it interprocedural (only 1 call deep) alpharush 2024-02-28 17:58:10 -0600
- 69d3c257b4 feat: add out-of-order-retryable ticket detector alpharush 2024-02-28 17:36:49 -0600
-
8bb76d499c
- 060616982a fix: use recommended methods Talfao 2024-02-24 16:43:09 +0100
- 0efcfce17d fix: handle scenario when too many variations Talfao 2024-02-24 16:34:57 +0100