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
- 033a03ac8d Add SlithIR representation (WIP) Add taint example API changes: - Better handling of tuple - Add context to slither - Change node str representation - Add ChildNode - Add block.blockhash in SolidityVariable - Add __eq__ , __hash__ in SolidityVariable - Add full_name in solidityVariableComposed - Update of the expression in a VARIABLE Node to have the assignement - Remove ENDIF not never reached Josselin 2018-09-24 17:32:45 +0100
- a15af96993 Add SlithIR representation (WIP) Add taint example API changes: - Better handling of tuple - Add context to slither - Change node str representation - Add ChildNode - Add block.blockhash in SolidityVariable - Add __eq__ , __hash__ in SolidityVariable - Add full_name in solidityVariableComposed - Update of the expression in a VARIABLE Node to have the assignement - Remove ENDIF not never reached Josselin 2018-09-24 17:32:45 +0100
- f614501b40 Update README.md Dan Guido 2018-09-21 11:39:02 -0400
-
92e3578f16
- 5fb2e1a8e7 better features list Dan Guido 2018-09-20 15:06:58 -0400
-
64dbdd17a2
- 07b0a82d83 Update README.md Dan Guido 2018-09-20 10:34:57 -0400
-
f1f08de415
- 3e5a72a053 Update README.md Dan Guido 2018-09-20 10:31:48 -0400
-
b538e52b55
- a122911ad2 Update README.md Dan Guido 2018-09-20 10:27:41 -0400
-
2700853ee3
- d3a74090cc Update README.md Dan Guido 2018-09-20 10:27:26 -0400
-
9f17dedd9b
- b132dbb212 Update README.md Dan Guido 2018-09-20 10:26:25 -0400
-
4d24862b36
- 31876238ed Update README.md Dan Guido 2018-09-20 10:10:00 -0400
-
5e092685cc
- a88d4605a5 Update README.md Dan Guido 2018-09-20 10:03:01 -0400
-
b9f5340843
- 69972ffb4b WIP: split ternary expression to multiples expersssion Josselin 2018-09-19 15:17:33 +0100
- 13efd858ed WIP: split ternary expression to multiples expersssion Josselin 2018-09-19 15:17:33 +0100
- eecc0ec567 Update README.md Josselin 2018-09-17 12:21:46 +0100
- 46419ff12d Update README.md Josselin 2018-09-17 12:21:46 +0100
- 5401aaf066 Update README.md Feist Josselin 2018-09-14 16:27:14 +0100
-
ab301facba
- c354ddea0a Add missing files Josselin 2018-09-14 15:51:46 +0100
- 2d36296e03 Add missing files Josselin 2018-09-14 15:51:46 +0100
- 6ad925b07a Open source tx.origin detector Josselin 2018-09-14 15:44:55 +0100
- 2aea762600 Open source tx.origin detector Josselin 2018-09-14 15:44:55 +0100
- 97e18ef81b Update README.md Feist Josselin 2018-09-14 14:01:59 +0100
-
456aad2422
- a70abedc78 Update image documentation Josselin 2018-09-14 13:50:03 +0100
- 65cb37907c Update image documentation Josselin 2018-09-14 13:50:03 +0100
- a7be19091d Update documentation Josselin 2018-09-14 13:43:55 +0100
- e6ed6a43c1 Update documentation Josselin 2018-09-14 13:43:55 +0100
- cb398d0695 Add plugin skeleton Josselin 2018-09-14 11:54:37 +0100
- 5930e4ca6b Add plugin skeleton Josselin 2018-09-14 11:54:37 +0100
- d2028905d8 Update README example Clean code in solidity_variables Josselin 2018-09-14 11:19:54 +0100
- 14643f5eca Update README example Clean code in solidity_variables Josselin 2018-09-14 11:19:54 +0100
- 20e1958213 API changes: - Remove slither.utils.utils - Follow pep8 for module name - Shorter module name Move examples/bugs to tests/ (close #7) Udpdate examples/scripts and integrate them in travis Josselin 2018-09-14 10:09:41 +0100
- 4d797bb4b7 API changes: - Remove slither.utils.utils - Follow pep8 for module name - Shorter module name Move examples/bugs to tests/ (close #7) Udpdate examples/scripts and integrate them in travis Josselin 2018-09-14 10:09:41 +0100
- af171764dc --detect-uninitialized -> --detect-uninitialized-state inheritances -> inheritance Josselin 2018-09-14 08:18:43 +0100
- f7d13240f3 --detect-uninitialized -> --detect-uninitialized-state inheritances -> inheritance Josselin 2018-09-14 08:18:43 +0100
- 13a5a7184a Update README Josselin 2018-09-13 19:18:26 +0100
- ae255bfb60 Update README Josselin 2018-09-13 19:18:26 +0100
- cfa44a4198 Improve uninitialized storage detector documentation Josselin 2018-09-13 19:12:38 +0100
- f45c514f18 Improve uninitialized storage detector documentation Josselin 2018-09-13 19:12:38 +0100
- 0243289edf Improve uninitialized storage detector Josselin 2018-09-13 19:10:47 +0100
- 26ab17459c Improve uninitialized storage detector Josselin 2018-09-13 19:10:47 +0100
- 9e73feef2f Merge branch 'master' into uninitialized-storage Josselin 2018-09-13 18:20:03 +0100
- 5a094bbdd4 Merge branch 'master' into uninitialized-storage Josselin 2018-09-13 18:20:03 +0100
- 81a1727efd Speedup reentrancy detection through fixpoint Josselin 2018-09-13 18:18:02 +0100
- e1fedcacbf Speedup reentrancy detection through fixpoint Josselin 2018-09-13 18:18:02 +0100
- ae0205801c Add uninitialized storage var detector Josselin 2018-09-13 18:02:53 +0100
- a0c366a955 Add uninitialized storage var detector Josselin 2018-09-13 18:02:53 +0100
- 6eb460be1e Update README Josselin 2018-09-13 14:41:15 +0100
- 6fb297b69e Update README Josselin 2018-09-13 14:41:15 +0100
- 990b5c3f17 Only use Impact for classification Josselin 2018-09-13 14:11:12 +0100
- 533f94ddfa Only use Impact for classification Josselin 2018-09-13 14:11:12 +0100
- 25f66f8bce Fix typo Josselin 2018-09-13 13:44:04 +0100
- f3b5d2e78e Fix typo Josselin 2018-09-13 13:44:04 +0100
- 4f2773b23c Re-enable source mapping Add pragma and import as classes in core.declarations Josselin 2018-09-13 11:57:43 +0100
- fdf6534cbe Re-enable source mapping Add pragma and import as classes in core.declarations Josselin 2018-09-13 11:57:43 +0100
- 840a526446 Clean documentation Always return a fresh list on getters to prevent modifications from caller Josselin 2018-09-13 10:00:07 +0100
- 889a49c0e1 Clean documentation Always return a fresh list on getters to prevent modifications from caller Josselin 2018-09-13 10:00:07 +0100
- 440bdb4fd1 Update printer to last API changes Update printer documentation Josselin 2018-09-12 17:48:41 +0100
- 45062efb9b Update printer to last API changes Update printer documentation Josselin 2018-09-12 17:48:41 +0100
- c7b85d29cc Add re-entrancy detector Add Prioritization information to README Josselin 2018-09-12 17:39:01 +0100
- e18be0b483 Add re-entrancy detector Add Prioritization information to README Josselin 2018-09-12 17:39:01 +0100
- 1ae99cbf78 Merge branch 'master' of github.com:trailofbits/slither into external_calls Josselin 2018-09-12 14:16:05 +0100
- bf8303b081 Merge branch 'master' of github.com:trailofbits/slither into external_calls Josselin 2018-09-12 14:16:05 +0100
- b95459eab5 Fix node.contain_require_or_assert Josselin 2018-09-12 14:14:05 +0100
- 6ac4b56326 Fix node.contain_require_or_assert Josselin 2018-09-12 14:14:05 +0100
- 122bc3c910 Add external calls information Josselin 2018-09-12 14:11:32 +0100
- 1e90bb0c8e Add external calls information Josselin 2018-09-12 14:11:32 +0100
- bdd25c1a99 Merge pull request #17 from trailofbits/plugins-arch Feist Josselin 2018-09-12 11:44:01 +0100
-
3a2c2817bc
- 422279516a Plugin architecture works disconnect3d 2018-09-12 12:32:17 +0200
- 96e8da1411 Plugin architecture works #17 disconnect3d 2018-09-12 12:32:17 +0200
- 9fd7d4f850 Merge branch 'master' of github.com:trailofbits/slither Josselin 2018-09-12 11:04:23 +0100
- 0d13cdf7c7 Merge branch 'master' of github.com:trailofbits/slither Josselin 2018-09-12 11:04:23 +0100
- 40c1e7af87 Improve filter_name + fix bug in inheritances Josselin 2018-09-12 09:25:46 +0100
- 2699248e47 Improve filter_name + fix bug in inheritances Josselin 2018-09-12 09:25:46 +0100
- f745913036 Add external/internal keyword to filter_name Josselin 2018-09-12 08:30:12 +0100
- 51b7378759 Add external/internal keyword to filter_name Josselin 2018-09-12 08:30:12 +0100
- c1cc06e612 ExpressionParsing: Remove return value in case if function pointer Josselin 2018-09-12 08:13:58 +0100
- 4705499f20 ExpressionParsing: Remove return value in case if function pointer Josselin 2018-09-12 08:13:58 +0100
-
abcfeba952
aaf1b1b667
into1d45b4aa1f
#16 Disconnect3d 2018-09-11 21:12:37 +0000 - aaf1b1b667 Add automatic plugins loading #16 disconnect3d 2018-09-11 23:11:59 +0200
- e1f7fd6470 Update README.md (#15) Mark Mossberg 2018-09-11 22:36:41 +0200
- 1d45b4aa1f Update README.md (#15) Mark Mossberg 2018-09-11 22:36:41 +0200
-
50b0697d3a
- 4b0ca914a3 Rename slither package to slither-sol disconnect3d 2018-09-11 22:19:00 +0200
- ad3f50d911 Rename slither package to slither-sol disconnect3d 2018-09-11 22:19:00 +0200
- 7461ba0ffb Rename Slither package to slither disconnect3d 2018-09-11 21:44:30 +0200
- 5fb14cadc4 Rename Slither package to slither disconnect3d 2018-09-11 21:44:30 +0200
- 664aae8ba8 Typo + clean code Josselin 2018-09-11 19:16:50 +0100
- 7c5af946ad Typo + clean code Josselin 2018-09-11 19:16:50 +0100
- 44606fd2e0 Add constant keyword to filter_name Josselin 2018-09-11 19:06:08 +0100