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
- 8465d9282e Add constant keyword to filter_name Josselin 2018-09-11 19:06:08 +0100
- 14c1adbbad Better handling of function pointer Add return value information for solidity inbuilt function Josselin 2018-09-11 18:04:04 +0100
- 36102142a0 Better handling of function pointer Add return value information for solidity inbuilt function Josselin 2018-09-11 18:04:04 +0100
- 0e0b2a4048 Fix missing char for call parsing Josselin 2018-09-11 15:45:01 +0100
- 05c7dbe869 Fix missing char for call parsing Josselin 2018-09-11 15:45:01 +0100
- b07264c294 Use parse_type to parse using for type Add __eq__ and __hash__ functions to solidityType Update uninitialized var detector with new using_for Josselin 2018-09-11 15:26:40 +0100
- deedfd695e Use parse_type to parse using for type Add __eq__ and __hash__ functions to solidityType Update uninitialized var detector with new using_for Josselin 2018-09-11 15:26:40 +0100
- 456c26bd08 Add dev branch to travis Josselin 2018-09-11 11:37:57 +0100
- ee8f531f20 Add dev branch to travis Josselin 2018-09-11 11:37:57 +0100
- dd7466a6b7 Re-add travis.yml Josselin 2018-09-11 10:53:04 +0100
- bed743c5db Re-add travis.yml Josselin 2018-09-11 10:53:04 +0100
- 0df07c3df8 Remove travis.yml Josselin 2018-09-11 10:51:43 +0100
- d2c33dce48 Remove travis.yml Josselin 2018-09-11 10:51:43 +0100
- d399d1d270 Make SlitherSolc parse_contracts_from_json / analyze_contracts private Josselin 2018-09-11 10:36:34 +0100
- 32ade9df33 Make SlitherSolc parse_contracts_from_json / analyze_contracts private Josselin 2018-09-11 10:36:34 +0100
- 1c579a7f79 Merge pull request #14 from trailofbits/register-api Feist Josselin 2018-09-11 10:15:43 +0100
-
d3265490ea
- f2de2b3b92 Merge branch 'master' into register-api Josselin 2018-09-11 10:08:10 +0100
- c9e560919f Merge branch 'master' into register-api #14 Josselin 2018-09-11 10:08:10 +0100
- 41a60034c8 Fix incorrect summary in printerQuickSummary Typo in contract.get_summary documentation Clean code Josselin 2018-09-11 10:07:24 +0100
- 94c0114536 Fix incorrect summary in printerQuickSummary Typo in contract.get_summary documentation Clean code Josselin 2018-09-11 10:07:24 +0100
- 82a07c95ac Implement choose_detectors / choose_printers Josselin 2018-09-11 09:48:12 +0100
- 95bba51e19 Implement choose_detectors / choose_printers Josselin 2018-09-11 09:48:12 +0100
- c7022cdcba Move contract analysis to Slither.__init__. Remove useless check Josselin 2018-09-11 09:21:11 +0100
- a6f08ed6aa Move contract analysis to Slither.__init__. Remove useless check Josselin 2018-09-11 09:21:11 +0100
- 3a1716b31e Make detectors and printers registrable disconnect3d 2018-09-11 02:57:11 +0200
- 16963d17b0 Make detectors and printers registrable disconnect3d 2018-09-11 02:57:11 +0200
- 340e81eace Update travis Josselin 2018-09-10 21:28:49 +0100
- 0c772b2dd7 Update travis Josselin 2018-09-10 21:28:49 +0100
- 019c8c3770 Fix bug in contract.contracts_derived Josselin 2018-09-10 20:52:24 +0100
- cfb94e05b6 Fix bug in contract.contracts_derived Josselin 2018-09-10 20:52:24 +0100
- c147769185 Refactor printer-human-readable and colors disconnect3d 2018-09-10 21:31:34 +0200
- 431b435f99 Refactor printer-human-readable and colors disconnect3d 2018-09-10 21:31:34 +0200
- 12fc428fdb Refactor printer-human-readable and colors #13 disconnect3d 2018-09-10 21:31:34 +0200
- ec072141fa Show the number of contracts analyzed in output (fix #9) Josselin 2018-09-10 17:57:26 +0100
- b7078b7586 Show the number of contracts analyzed in output (fix #9) Josselin 2018-09-10 17:57:26 +0100
- d2da52135c Command line changes: - Add exclude flag for each detector - replace -low, -medium, -high by -exclude-low, ... - clean detectors/printers information and flags - detector follow this format '--detect-name' - close #1 and #10 Update README Josselin 2018-09-10 17:38:58 +0100
- d7e15590df Command line changes: - Add exclude flag for each detector - replace -low, -medium, -high by -exclude-low, ... - clean detectors/printers information and flags - detector follow this format '--detect-name' - close #1 and #10 Update README Josselin 2018-09-10 17:38:58 +0100
- 32bb4377c6 Update README Josselin 2018-09-10 15:56:05 +0100
- fbaf655c5a Update README Josselin 2018-09-10 15:56:05 +0100
- fccafef01c Update README.md Josselin 2018-09-10 15:34:55 +0100
- 871c08f0a4 Update README.md Josselin 2018-09-10 15:34:55 +0100
- 83c9a4402c Add code quality detector to check if an old version of solc is used Josselin 2018-09-10 15:33:48 +0100
- ef32f484e0 Add code quality detector to check if an old version of solc is used Josselin 2018-09-10 15:33:48 +0100
- 7001dbd8c1 Fix import in examples/bug/pragma.0.4.24.sol Josselin 2018-09-10 15:32:50 +0100
- cfe987ef52 Fix import in examples/bug/pragma.0.4.24.sol Josselin 2018-09-10 15:32:50 +0100
- 0c1e51d26b Update Readme Josselin 2018-09-10 15:09:34 +0100
- 8ec219b5e2 Update Readme Josselin 2018-09-10 15:09:34 +0100
- 7067ba85ff Parse ImportDirective and PragmaDirective Add CODE_QUALITY detector type Add detector to check that the same version of solidity is always used Josselin 2018-09-10 14:53:08 +0100
- a97ea53fbd Parse ImportDirective and PragmaDirective Add CODE_QUALITY detector type Add detector to check that the same version of solidity is always used Josselin 2018-09-10 14:53:08 +0100
- 66a0963452 Update travis with slither package Josselin 2018-09-10 13:38:26 +0100
- 4eceed57cf Update travis with slither package Josselin 2018-09-10 13:38:26 +0100
- 00b664b85e Fix bug in localvariable init expression parsing Josselin 2018-09-10 13:35:56 +0100
- 1c189aa610 Fix bug in localvariable init expression parsing Josselin 2018-09-10 13:35:56 +0100
- ae1a20f347 Merge branch 'master' into printer-human-readable Josselin 2018-09-10 11:37:59 +0100
- ac787dcc55 Merge branch 'master' into printer-human-readable Josselin 2018-09-10 11:37:59 +0100
- 69db1398c3 Fix typo in contract helpers Josselin 2018-09-08 07:21:05 +0100
- 88df50ce57 Fix typo in contract helpers Josselin 2018-09-08 07:21:05 +0100
- 2f5af27b19 Add human readable printer (WIP) Josselin 2018-09-10 11:34:32 +0100
- 07de8cb9ef Add human readable printer (WIP) Josselin 2018-09-10 11:34:32 +0100
- 7b41b590c6 Update README.md Feist Josselin 2018-09-10 11:05:51 +0100
-
3f9dadec6f
- a2b686cf31 Merge pull request #12 from trailofbits/packaging Feist Josselin 2018-09-10 11:04:42 +0100
-
2b0254fd96
- c08e9ad125 Make a slither package disconnect3d 2018-09-10 11:35:55 +0200
- cfe8f89c39 Make a slither package #12 disconnect3d 2018-09-10 11:35:55 +0200
- eac3043bdd Merge pull request #8 from trailofbits/py3 Feist Josselin 2018-09-10 10:57:09 +0100
-
943b22cf95
- b03b957289 Fix ContractSolc04.__hash__ disconnect3d 2018-09-07 20:23:39 +0200
- aa75ccef9f Fix ContractSolc04.__hash__ #8 disconnect3d 2018-09-07 20:23:39 +0200
- 20fa31667f Add PyCharm project dir to gitignore disconnect3d 2018-09-07 17:03:11 +0200
- b182366add Add PyCharm project dir to gitignore disconnect3d 2018-09-07 17:03:11 +0200
- 52a5395337 Make Python 3 great again disconnect3d 2018-09-07 16:26:15 +0200
- c53ae2bd32 Make Python 3 great again disconnect3d 2018-09-07 16:26:15 +0200
-
545b282174
4eb534b6bb
intod4a49662f2
#2 pierce403 2018-09-08 14:08:30 +0000 - 9a99d88451 Fix typo in contract helpers Josselin 2018-09-08 07:21:05 +0100
- f18f8ee260 Fix typo in contract helpers Josselin 2018-09-08 07:21:05 +0100
- a02d5259cd Add --print-variables-written-and-authorization printer API change: function.all_variables_written -> function.all_state_variables_written Josselin 2018-09-07 19:53:10 +0100
- d4a49662f2 Add --print-variables-written-and-authorization printer API change: function.all_variables_written -> function.all_state_variables_written Josselin 2018-09-07 19:53:10 +0100
- 4fc9655f37 Fix typo in functions_writing.py Josselin 2018-09-07 16:05:48 +0100
- 95d99884c2 Fix typo in functions_writing.py Josselin 2018-09-07 16:05:48 +0100
- 3ced5303a9 Add check for solidity file existence Call logger.basicConfig by default Josselin 2018-09-07 15:56:24 +0100
- 6860c0f1a1 Add check for solidity file existence Call logger.basicConfig by default Josselin 2018-09-07 15:56:24 +0100
- 6cbce03d0f Merge pull request #3 from lorenzb/readme_improvements Dan Guido 2018-09-07 13:03:33 +0200
-
c6286ac1df
- 1ee3e33e60 Update README.md Dan Guido 2018-09-07 13:03:03 +0200
-
73cca2b76d
- 7eef31f894 Fix --low unrecognized (issue #1) Improve usage information (issue #1) Improve help of backdoor example detector Josselin 2018-09-06 11:14:04 +0100
- f47c4385db Fix --low unrecognized (issue #1) Improve usage information (issue #1) Improve help of backdoor example detector Josselin 2018-09-06 11:14:04 +0100
- 40b4c80b0b Mention python version in README.md Lorenz Breidenbach 2018-09-06 11:27:47 +0200
- 81c8695125 Mention python version in README.md Lorenz Breidenbach 2018-09-06 11:27:47 +0200
- dbb71c7507 Get rid of sudo in pip install command Lorenz Breidenbach 2018-09-06 11:26:35 +0200
- 90ea39bdd9 Get rid of sudo in pip install command Lorenz Breidenbach 2018-09-06 11:26:35 +0200
-
4eb534b6bb
-
b24fe00a6c
- 5062204cc7 Update README.md Dan Guido 2018-09-06 08:49:10 +0200
-
b6ee325aa0
- 6279682d5a Update README.md Dan Guido 2018-09-06 08:47:58 +0200
-
6523a00a8c
- ecca123343 Update travis to use solc 0.4.24 Josselin 2018-09-05 23:26:47 +0100