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
-
7b8e8c52ef
6c8ee23cce
into89a7d5812b
#2428 dm 2024-11-21 01:15:34 +0000 -
2d021af1c1
094fed85f0
into89a7d5812b
#2238 blackbigswan 2024-11-21 01:12:45 +0000 -
fe228038d9
96b57fab69
into89a7d5812b
#2251 Simone 2024-11-21 01:12:45 +0000 -
9131039fb7
a78885446d
into89a7d5812b
#1608 Emilio López 2024-11-21 00:59:31 +0000 -
81b028fdb8
0eaad9999f
into89a7d5812b
#1360 Aranya Dan 2024-11-21 00:57:27 +0000 -
79d4cb798c
8d63be82a7
into89a7d5812b
#2502 Priyanka Bose 2024-11-20 14:43:02 -0800 -
69680e2f7a
e3ed335b92
into89a7d5812b
#2606 dependabot[bot] 2024-11-18 23:05:00 +0000 -
e3ed335b92
- ef61489b72 Adding a new file #2604 qq2273236159 2024-11-13 17:38:47 +0800
-
fe6a893517
2aee0555b4
into3befc968bc
#2603 Daniel Von Fange 2024-11-12 09:10:52 -0500 -
2aee0555b4
-
568a82d4a4
a64c60a737
into89a7d5812b
#2602 dependabot[bot] 2024-11-11 22:18:22 +0000 -
a64c60a737
-
7f12c99709
4e52ab0eca
into89a7d5812b
#2427 dm 2024-11-07 09:39:00 +0000 -
43c25242dd
-
72d0dca894
bf4d5e61cb
into89a7d5812b
#2069 Tigran Avagyan 2024-11-04 18:37:19 +0700 - 94751d8219 Adding a new file #2605 fangyaoyu2021 2024-11-04 09:06:56 +0800
-
0ff6ab98b6
9f9c572b2d
into89a7d5812b
#2241 Simone 2024-10-31 10:53:39 +0100 -
ad22291a09
2397b2e812
into3befc968bc
#2597 Valeriy Pushkar 2024-10-30 12:59:37 +0300 -
2397b2e812
-
dfb30a8c00
-
e139d18d05
1be3023827
into89a7d5812b
#1292 feliam 2024-10-25 11:49:47 -0300 -
86e0b77652
7c6143e048
into89a7d5812b
#2556 Shushanik Tovmasyan 2024-10-24 13:54:34 +0200 -
553eeded91
65d6943448
into89a7d5812b
#2565 Goran Vladika 2024-10-24 13:40:10 +0200 -
84b37b0fa8
e2d099600e
into89a7d5812b
#2317 Emilio López 2024-10-24 13:39:02 +0200 -
89a7d5812b
- 537ee273c2 Extract multiple assert in a single function #2560 Simone 2024-10-24 13:24:55 +0200
- 1bbc13b308 Use the new API Simone 2024-10-24 13:11:47 +0200
- 38f713666a Merge branch 'dev' into echidna-printer Simone 2024-10-24 13:07:56 +0200
- e2d099600e setup: bump `shtab` dependency #2317 dev-autocompletion Emilio López 2024-10-24 12:24:05 +0200
- 7b3566b4fa Merge remote-tracking branch 'origin/dev' into dev-autocompletion Emilio López 2024-10-24 12:23:16 +0200
-
d0929a8d4c
-
80c7e854fb
-
e659f54d0a
-
a78885446d
-
ef4691d73d
-
83e5fcab4a
- f6b2509445 Add try/catch, add tests, refactor guidance/echidna to reduce pylint exceptions #2574 Feist Josselin 2024-10-17 22:41:28 +0200
-
79619f6de2
- 5488d50b75 Remove commented code #2589 Feist Josselin 2024-10-17 20:53:56 +0200
- 1ae2e9eb36 Remove unused import Feist Josselin 2024-10-17 20:39:09 +0200
- 1941e91602 Improve selector parsing Add tests Feist Josselin 2024-10-17 19:31:28 +0200
- 4b91acd5f5 Fix IR conversion when an Event selector is accessed Simone 2024-10-11 16:05:00 +0200
-
9e89bbbe69
-
8abf917ca7
-
2bf85163dd
- ef03cb7060 Improve transient storage support #2588 Simone 2024-10-10 18:32:26 +0200
-
98af7fdd2e
-
3753b40b85
- 65d6943448 Merge branch 'dev' into unused-errors-detector #2565 Goran Vladika 2024-10-10 13:37:14 +0200
- 9af60e669c internal_call.function is instance of SolidityCustomRevert Goran Vladika 2024-10-10 13:10:03 +0200
-
d10f7ebf09
-
ecc20101de
-
1c7f1f36c3
-
9ce83021d7
-
e863fbc4ce
-
efc45f0e4b
-
32f3ba5a1c
-
e496570123
-
d1d78deb35
-
570840d5d9
-
8b226d0188
-
f680cffcbe
-
3caad584cd
-
25f6e463b2
-
8190a48cce
- 1f32855680 Add StateVariable location #2585 Simone 2024-10-10 10:45:18 +0200
-
086774a65e
7a2179943c
into0811cd68e0
#2479 dm 2024-10-09 16:19:21 -0400 -
9c9818c24d
- 4a9cdcef2c Add Chronicle unchecked price detector Simone 2024-10-09 20:16:51 +0200
-
2d46a3deaa
-
1bdbecb1eb
- 138b62664d Add test Simone 2024-10-09 16:53:49 +0200
-
a525ceb77d
3ac88be839
into0811cd68e0
#1814 alpharush 2024-10-09 06:25:43 -0700 - 24a9d9d36f Add Gelato VRF unprotected request detector Simone 2024-10-09 14:59:51 +0200
- 7e54d41faa Add Pyth unchecked publishTime detector Simone 2024-10-08 18:32:29 +0200
- f25344c6a2 Add Pyth unchecked confidence detector Simone 2024-10-08 18:32:11 +0200
- bae46ba9ce Add Pyth deprecated functions detector Simone 2024-10-08 13:56:18 +0200
-
eb5ef33fab
-
25a4672412
-
a5e970a2d4
- 607b22a506 Handle UnaryOperation from another contract Simone 2024-10-07 23:40:56 +0200
- f93b65fef3 Fix for user defined type and variables defined in another contract Simone 2024-10-07 23:09:01 +0200
- 48d7d9beef Improve support for type .max/.min and Enums Simone 2024-10-07 17:44:13 +0200
-
0ee20458ec
85a5836333
into3befc968bc
#2513 sam bacha 2024-10-05 10:56:38 +0700 -
6b503a9970
- 96c6c94dd6 Only consider if call target is a variable Simone 2024-10-04 20:06:52 +0200
-
909ab5193e
-
6afd281012
-
36bde7dc2e
- 088b704f31 Add Chainlink feed registry detector Simone 2024-10-04 19:55:24 +0200
- d96b87e140 Add Optimism deprecation detector Simone 2024-10-04 19:52:08 +0200
- afac8c4bf0 Improve values extraction Simone 2024-10-04 18:12:00 +0200
-
d0dc57672a
456863b9a3
into3befc968bc
#2573 xyizko 2024-10-03 22:00:25 +0000 - 456863b9a3 update-Readme - Add installation via uv #2573 xyizko 2024-10-03 21:54:59 +0000
-
0811cd68e0
- 9122cef24e Improvements #2572 Feist Josselin 2024-10-02 15:38:47 +0200
- 3a6888694d Fix CI lint Feist Josselin 2024-10-02 14:42:03 +0200
- dfab5ae696 Remove windows tests from PR Feist Josselin 2024-10-02 14:36:39 +0200
- 9113f49bbd Reduce the number of CI tests on PR Feist Josselin 2024-10-02 14:34:45 +0200