mirror of https://github.com/ConsenSys/mythril
Commit Graph
Select branches
Hide Pull Requests
TOD_MODULE
add/feats
add/modules
add_concrete_stuff
analysis/TOD
analyze-with-mythx
any_name
arbitrary_storage
berndt_1
berndtz_experimental
better_bounds
bug/constructor-arguments
bug/instructions-out-of-bounds
bug/invalid-loop-pruning
bugfix/1840
call_depth
cfg_fix
check-delegatecall-after
check_existing_annotations
cli-code-coverage
concrete_ite_storage
config-change
constantinope-reentrancy-check
delegatecall_fix
dependabot/pip/markupsafe-lt-3.1.0
dependabot/pip/py-evm-0.10.1b2
dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.13.3.0
dependency_prune_v2
develop
dynamic_timeout_presets
ether_refactor_2
ether_thief
ether_thief_fix
ether_transfer
external_calls
extract_concat_invariance
feat/docker-ci
feat/merge
feature/concretise_storage
feature/feat-eng
feature/ignore-regressions
feature/import-custom-modules
feature/regioned_storage
feature/summary
feature/tx_lists
feature/update_solcx
features/iprof_plugin
fix-balance-overflow
fix/boundedloops
fix/circleci-config
fix/constraints-after-issues
fix/dep_pruning
fix/iprof-ctrlc
fix/refactor
fix/signextend
fix/timeout
fix_integers
flashfck
function_lists
harvey_style_assertions
hashfixes
improvement/circleci-envs
improvement/udpate-circle-ci
integer_experimental
integer_fix
jinja-print-initial-state
master
metrics_plugin
model-balances
notify-unreachable-code
optimise/summaries
optimizer
origin_model
pending-opcodes
pr/894
readme
refactor/cli
remove/dos
remove_deprecated_taint
remove_pragma
req_violation
revert-1226-optimizer
revert_ether_thief
run-edelweiss-drone
setup-fix
specify-attacker-creator-address
split_storage
standard_actors
state_merge
storage/bugfix
storage/refactor
support_tx_sequences
ultimate_ether_thief
userassertions
vuln_edits
workshop-fixes
z3
#10
#100
#1000
#1002
#1003
#1004
#1006
#101
#1013
#1014
#1016
#1017
#102
#1022
#1024
#1025
#1026
#1027
#1028
#1029
#103
#1030
#1031
#1032
#1033
#1034
#1037
#1039
#104
#1040
#1041
#1042
#1043
#1044
#1045
#1047
#1052
#1054
#1056
#1057
#1058
#1059
#106
#1060
#1061
#1062
#1064
#1065
#1066
#1067
#1071
#1072
#1074
#1076
#1077
#1078
#1079
#1080
#1081
#1083
#1084
#1086
#1087
#1088
#1094
#1097
#1099
#1101
#1102
#1103
#1104
#1105
#1106
#1107
#1108
#1110
#1111
#1112
#1113
#1114
#1115
#1116
#1117
#1118
#1119
#112
#1120
#1121
#1123
#1124
#1125
#1126
#1127
#1128
#1129
#1131
#1133
#1134
#1136
#1137
#1139
#114
#1140
#1142
#1144
#1145
#1146
#1148
#1149
#1150
#1153
#1155
#1156
#1157
#1159
#1163
#1164
#1165
#1166
#1167
#1169
#117
#1170
#1171
#1172
#1173
#1174
#1175
#1177
#1178
#1180
#1181
#1184
#1185
#1186
#1188
#1189
#1190
#1191
#1192
#1193
#1194
#1195
#1196
#1197
#1198
#1199
#12
#120
#1200
#1202
#1203
#1205
#1211
#1213
#1215
#1216
#1218
#1219
#1220
#1221
#1223
#1224
#1225
#1226
#1227
#1229
#1230
#1231
#1233
#1234
#1237
#1239
#124
#1240
#1242
#1244
#1246
#1247
#1248
#1249
#125
#1250
#1251
#1252
#1253
#1257
#126
#1261
#1263
#1264
#1265
#1268
#1269
#127
#1272
#1274
#1275
#1276
#128
#1281
#1283
#1284
#1285
#1288
#1289
#1290
#1292
#1296
#1297
#13
#1301
#1302
#1305
#1306
#1307
#1308
#1310
#1314
#1315
#132
#1323
#1328
#1329
#1330
#1331
#1332
#1335
#1336
#1337
#1338
#1339
#1340
#1341
#1342
#1343
#1344
#1345
#1346
#1347
#1348
#135
#1350
#1351
#1352
#1353
#1354
#1355
#1356
#1357
#1358
#1359
#136
#136
#1363
#1365
#1366
#1367
#1368
#1369
#137
#137
#1370
#1372
#1377
#1380
#1381
#1388
#1389
#1391
#1392
#1393
#1394
#1396
#1397
#1398
#1399
#14
#1400
#1403
#1404
#1405
#1406
#141
#1410
#1411
#1413
#1415
#1417
#1418
#1419
#1420
#1421
#1425
#1426
#1428
#1430
#1433
#1436
#1437
#1438
#1439
#1443
#1444
#1445
#1447
#1450
#1451
#1454
#146
#1460
#1463
#1469
#147
#1471
#1473
#1474
#148
#148
#1480
#1483
#1488
#1489
#149
#1490
#1491
#1492
#1497
#1498
#1499
#150
#1501
#1503
#1504
#1506
#1507
#151
#1510
#1511
#1511
#1513
#1514
#1516
#1518
#1520
#1520
#1526
#153
#1532
#1533
#1534
#1537
#154
#1541
#1542
#1543
#1544
#1545
#1547
#1548
#1549
#1550
#1551
#1555
#1556
#1557
#1558
#1559
#1560
#1562
#1563
#1564
#1567
#1569
#157
#1570
#1571
#1573
#1574
#1576
#1577
#1578
#1581
#1582
#1584
#1585
#1586
#1587
#1591
#1593
#1594
#1595
#1597
#1600
#1602
#1606
#1607
#1608
#161
#1610
#1611
#1613
#1614
#1615
#1616
#1617
#1619
#162
#1620
#1622
#1625
#1628
#163
#163
#1630
#1631
#1632
#1633
#1635
#1637
#1639
#164
#1641
#1642
#1644
#1646
#1647
#1648
#165
#1651
#1652
#1654
#1655
#1658
#1660
#1661
#1662
#1663
#1664
#1665
#1668
#1669
#1670
#1674
#1675
#1677
#1679
#168
#1680
#1681
#1683
#1687
#1688
#1691
#1691
#1694
#1698
#17
#1700
#1703
#1704
#1705
#1706
#1707
#1709
#1710
#1711
#1714
#1718
#1720
#1721
#1723
#1725
#1726
#1727
#1729
#173
#1730
#1731
#1733
#1737
#1738
#1739
#174
#174
#1740
#1741
#1743
#1744
#1745
#1749
#1750
#1751
#1754
#1757
#1758
#1758
#1760
#1761
#1762
#1763
#1764
#1765
#1767
#1768
#1770
#1771
#1774
#1775
#1776
#1779
#178
#1781
#1783
#1784
#1785
#1786
#1787
#1789
#1792
#1793
#1794
#1795
#1796
#1798
#1799
#1800
#1801
#1802
#1803
#1805
#1807
#181
#1811
#1812
#1814
#1817
#1818
#182
#1820
#1821
#1822
#1823
#1824
#1826
#1827
#1828
#1830
#1831
#1832
#1833
#1835
#1836
#184
#1841
#1843
#1844
#1845
#1846
#1848
#1849
#1852
#1854
#1855
#1857
#1860
#1863
#1864
#1865
#1866
#1867
#1868
#1869
#1870
#1871
#1872
#1873
#1874
#1875
#1876
#1877
#1878
#1879
#188
#1880
#1881
#1881
#1882
#1882
#1883
#1884
#1884
#1885
#1885
#1887
#1887
#1889
#1889
#192
#194
#196
#198
#2
#2
#20
#205
#206
#210
#211
#212
#216
#217
#218
#22
#229
#229
#23
#230
#233
#235
#236
#242
#246
#247
#250
#252
#254
#254
#255
#258
#260
#261
#262
#273
#275
#275
#280
#282
#283
#283
#284
#287
#288
#293
#296
#299
#30
#300
#301
#304
#307
#308
#310
#311
#312
#313
#316
#317
#322
#322
#323
#324
#326
#328
#33
#331
#332
#333
#334
#335
#336
#338
#339
#342
#343
#344
#345
#347
#348
#35
#354
#355
#357
#358
#359
#361
#365
#365
#366
#368
#37
#372
#374
#375
#378
#379
#380
#381
#382
#383
#384
#384
#385
#386
#388
#390
#391
#392
#392
#396
#404
#407
#408
#41
#410
#412
#414
#415
#416
#418
#418
#419
#420
#421
#428
#429
#430
#431
#433
#434
#437
#438
#439
#441
#443
#444
#445
#450
#451
#452
#455
#461
#462
#463
#465
#466
#468
#469
#472
#475
#476
#477
#48
#480
#480
#481
#483
#485
#485
#486
#489
#492
#494
#495
#498
#499
#50
#501
#502
#503
#507
#511
#512
#514
#519
#522
#522
#525
#53
#530
#534
#536
#538
#542
#544
#545
#547
#547
#549
#551
#552
#552
#553
#554
#555
#557
#558
#559
#560
#561
#567
#568
#569
#571
#573
#578
#579
#581
#581
#582
#583
#585
#587
#588
#589
#59
#591
#592
#593
#594
#595
#596
#598
#600
#602
#603
#606
#608
#609
#61
#610
#611
#612
#613
#615
#617
#618
#619
#62
#62
#620
#621
#622
#623
#624
#625
#626
#627
#629
#631
#632
#635
#636
#637
#638
#639
#641
#642
#644
#646
#647
#648
#649
#650
#653
#654
#655
#656
#657
#658
#659
#660
#664
#666
#667
#669
#677
#678
#683
#686
#687
#688
#694
#695
#696
#697
#698
#699
#7
#700
#702
#703
#704
#707
#708
#709
#711
#712
#713
#715
#716
#717
#718
#719
#72
#722
#723
#724
#727
#728
#729
#730
#731
#732
#735
#739
#743
#746
#747
#748
#749
#750
#751
#752
#753
#754
#755
#756
#757
#758
#760
#761
#762
#764
#766
#767
#768
#773
#774
#775
#777
#778
#779
#780
#784
#785
#786
#787
#788
#79
#792
#797
#80
#802
#803
#806
#807
#81
#811
#813
#815
#817
#818
#819
#821
#822
#824
#825
#826
#828
#831
#832
#833
#834
#835
#837
#838
#840
#845
#848
#849
#850
#851
#852
#853
#854
#855
#856
#859
#862
#863
#868
#869
#870
#871
#872
#88
#880
#881
#882
#884
#885
#887
#888
#889
#890
#893
#894
#897
#900
#901
#902
#903
#904
#905
#906
#907
#908
#909
#910
#911
#912
#913
#917
#918
#919
#921
#923
#924
#925
#927
#928
#93
#930
#933
#938
#94
#943
#945
#946
#948
#949
#95
#950
#951
#953
#958
#96
#962
#963
#969
#97
#971
#973
#975
#977
#979
#980
#981
#982
#983
#984
#985
#986
#989
#99
#990
#991
#994
#997
#998
0.16.5
0.20.5
0.20.6
0.21.18
0.3.4
0.3.8
0.3.9
0.5.2
0.5.7
0.5.9
0.8.6
laser-merge
v0.15.9
v0.16.18
v0.16.19
v0.16.20
v0.16.21
v0.16.22
v0.16.23
v0.16.24
v0.16.25
v0.16.26
v0.16.27
v0.16.29
v0.16.6
v0.17.0
v0.17.1
v0.17.12
v0.17.15
v0.17.2
v0.17.3
v0.17.4
v0.17.5
v0.17.6
v0.17.7
v0.17.8
v0.17.9
v0.18.0
v0.18.1
v0.18.10
v0.18.11
v0.18.12
v0.18.13
v0.18.2
v0.18.3
v0.18.4
v0.18.5
v0.18.6
v0.18.7
v0.18.8
v0.18.9
v0.19.0
v0.19.10
v0.19.11
v0.19.4
v0.19.5
v0.19.6
v0.19.7
v0.19.8
v0.19.9
v0.20.0
v0.20.1
v0.20.2
v0.20.3
v0.20.4
v0.20.5
v0.20.6
v0.20.7
v0.20.8
v0.20.9
v0.21.10
v0.21.11
v0.21.12
v0.21.14
v0.21.15
v0.21.16
v0.21.17
v0.21.18
v0.21.19
v0.21.2
v0.21.20
v0.21.21
v0.21.22
v0.21.23
v0.21.3
v0.21.4
v0.21.5
v0.21.6
v0.21.7
v0.21.8
v0.21.9
v0.22.0
v0.22.1
v0.22.10
v0.22.11
v0.22.12
v0.22.13
v0.22.14
v0.22.15
v0.22.16
v0.22.17
v0.22.18
v0.22.19
v0.22.2
v0.22.20
v0.22.21
v0.22.22
v0.22.23
v0.22.24
v0.22.25
v0.22.26
v0.22.27
v0.22.28
v0.22.29
v0.22.3
v0.22.30
v0.22.31
v0.22.32
v0.22.33
v0.22.34
v0.22.35
v0.22.36
v0.22.37
v0.22.38
v0.22.39
v0.22.4
v0.22.40
v0.22.41
v0.22.42
v0.22.43
v0.22.5
v0.22.6
v0.22.7
v0.22.8
v0.22.9
v0.23.0
v0.23.1
v0.23.10
v0.23.11
v0.23.12
v0.23.13
v0.23.15
v0.23.16
v0.23.17
v0.23.18
v0.23.19
v0.23.2
v0.23.20
v0.23.21
v0.23.22
v0.23.23
v0.23.24
v0.23.25
v0.23.3
v0.23.4
v0.23.5
v0.23.6
v0.23.7
v0.23.8
v0.23.9
v0.24.0
v0.24.1
v0.24.2
v0.24.3
v0.24.4
v0.24.5
v0.24.6
v0.24.7
v0.24.8
v0.6.17
v0.6.28
Select branches
Hide Pull Requests
TOD_MODULE
add/feats
add/modules
add_concrete_stuff
analysis/TOD
analyze-with-mythx
any_name
arbitrary_storage
berndt_1
berndtz_experimental
better_bounds
bug/constructor-arguments
bug/instructions-out-of-bounds
bug/invalid-loop-pruning
bugfix/1840
call_depth
cfg_fix
check-delegatecall-after
check_existing_annotations
cli-code-coverage
concrete_ite_storage
config-change
constantinope-reentrancy-check
delegatecall_fix
dependabot/pip/markupsafe-lt-3.1.0
dependabot/pip/py-evm-0.10.1b2
dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.13.3.0
dependency_prune_v2
develop
dynamic_timeout_presets
ether_refactor_2
ether_thief
ether_thief_fix
ether_transfer
external_calls
extract_concat_invariance
feat/docker-ci
feat/merge
feature/concretise_storage
feature/feat-eng
feature/ignore-regressions
feature/import-custom-modules
feature/regioned_storage
feature/summary
feature/tx_lists
feature/update_solcx
features/iprof_plugin
fix-balance-overflow
fix/boundedloops
fix/circleci-config
fix/constraints-after-issues
fix/dep_pruning
fix/iprof-ctrlc
fix/refactor
fix/signextend
fix/timeout
fix_integers
flashfck
function_lists
harvey_style_assertions
hashfixes
improvement/circleci-envs
improvement/udpate-circle-ci
integer_experimental
integer_fix
jinja-print-initial-state
master
metrics_plugin
model-balances
notify-unreachable-code
optimise/summaries
optimizer
origin_model
pending-opcodes
pr/894
readme
refactor/cli
remove/dos
remove_deprecated_taint
remove_pragma
req_violation
revert-1226-optimizer
revert_ether_thief
run-edelweiss-drone
setup-fix
specify-attacker-creator-address
split_storage
standard_actors
state_merge
storage/bugfix
storage/refactor
support_tx_sequences
ultimate_ether_thief
userassertions
vuln_edits
workshop-fixes
z3
#10
#100
#1000
#1002
#1003
#1004
#1006
#101
#1013
#1014
#1016
#1017
#102
#1022
#1024
#1025
#1026
#1027
#1028
#1029
#103
#1030
#1031
#1032
#1033
#1034
#1037
#1039
#104
#1040
#1041
#1042
#1043
#1044
#1045
#1047
#1052
#1054
#1056
#1057
#1058
#1059
#106
#1060
#1061
#1062
#1064
#1065
#1066
#1067
#1071
#1072
#1074
#1076
#1077
#1078
#1079
#1080
#1081
#1083
#1084
#1086
#1087
#1088
#1094
#1097
#1099
#1101
#1102
#1103
#1104
#1105
#1106
#1107
#1108
#1110
#1111
#1112
#1113
#1114
#1115
#1116
#1117
#1118
#1119
#112
#1120
#1121
#1123
#1124
#1125
#1126
#1127
#1128
#1129
#1131
#1133
#1134
#1136
#1137
#1139
#114
#1140
#1142
#1144
#1145
#1146
#1148
#1149
#1150
#1153
#1155
#1156
#1157
#1159
#1163
#1164
#1165
#1166
#1167
#1169
#117
#1170
#1171
#1172
#1173
#1174
#1175
#1177
#1178
#1180
#1181
#1184
#1185
#1186
#1188
#1189
#1190
#1191
#1192
#1193
#1194
#1195
#1196
#1197
#1198
#1199
#12
#120
#1200
#1202
#1203
#1205
#1211
#1213
#1215
#1216
#1218
#1219
#1220
#1221
#1223
#1224
#1225
#1226
#1227
#1229
#1230
#1231
#1233
#1234
#1237
#1239
#124
#1240
#1242
#1244
#1246
#1247
#1248
#1249
#125
#1250
#1251
#1252
#1253
#1257
#126
#1261
#1263
#1264
#1265
#1268
#1269
#127
#1272
#1274
#1275
#1276
#128
#1281
#1283
#1284
#1285
#1288
#1289
#1290
#1292
#1296
#1297
#13
#1301
#1302
#1305
#1306
#1307
#1308
#1310
#1314
#1315
#132
#1323
#1328
#1329
#1330
#1331
#1332
#1335
#1336
#1337
#1338
#1339
#1340
#1341
#1342
#1343
#1344
#1345
#1346
#1347
#1348
#135
#1350
#1351
#1352
#1353
#1354
#1355
#1356
#1357
#1358
#1359
#136
#136
#1363
#1365
#1366
#1367
#1368
#1369
#137
#137
#1370
#1372
#1377
#1380
#1381
#1388
#1389
#1391
#1392
#1393
#1394
#1396
#1397
#1398
#1399
#14
#1400
#1403
#1404
#1405
#1406
#141
#1410
#1411
#1413
#1415
#1417
#1418
#1419
#1420
#1421
#1425
#1426
#1428
#1430
#1433
#1436
#1437
#1438
#1439
#1443
#1444
#1445
#1447
#1450
#1451
#1454
#146
#1460
#1463
#1469
#147
#1471
#1473
#1474
#148
#148
#1480
#1483
#1488
#1489
#149
#1490
#1491
#1492
#1497
#1498
#1499
#150
#1501
#1503
#1504
#1506
#1507
#151
#1510
#1511
#1511
#1513
#1514
#1516
#1518
#1520
#1520
#1526
#153
#1532
#1533
#1534
#1537
#154
#1541
#1542
#1543
#1544
#1545
#1547
#1548
#1549
#1550
#1551
#1555
#1556
#1557
#1558
#1559
#1560
#1562
#1563
#1564
#1567
#1569
#157
#1570
#1571
#1573
#1574
#1576
#1577
#1578
#1581
#1582
#1584
#1585
#1586
#1587
#1591
#1593
#1594
#1595
#1597
#1600
#1602
#1606
#1607
#1608
#161
#1610
#1611
#1613
#1614
#1615
#1616
#1617
#1619
#162
#1620
#1622
#1625
#1628
#163
#163
#1630
#1631
#1632
#1633
#1635
#1637
#1639
#164
#1641
#1642
#1644
#1646
#1647
#1648
#165
#1651
#1652
#1654
#1655
#1658
#1660
#1661
#1662
#1663
#1664
#1665
#1668
#1669
#1670
#1674
#1675
#1677
#1679
#168
#1680
#1681
#1683
#1687
#1688
#1691
#1691
#1694
#1698
#17
#1700
#1703
#1704
#1705
#1706
#1707
#1709
#1710
#1711
#1714
#1718
#1720
#1721
#1723
#1725
#1726
#1727
#1729
#173
#1730
#1731
#1733
#1737
#1738
#1739
#174
#174
#1740
#1741
#1743
#1744
#1745
#1749
#1750
#1751
#1754
#1757
#1758
#1758
#1760
#1761
#1762
#1763
#1764
#1765
#1767
#1768
#1770
#1771
#1774
#1775
#1776
#1779
#178
#1781
#1783
#1784
#1785
#1786
#1787
#1789
#1792
#1793
#1794
#1795
#1796
#1798
#1799
#1800
#1801
#1802
#1803
#1805
#1807
#181
#1811
#1812
#1814
#1817
#1818
#182
#1820
#1821
#1822
#1823
#1824
#1826
#1827
#1828
#1830
#1831
#1832
#1833
#1835
#1836
#184
#1841
#1843
#1844
#1845
#1846
#1848
#1849
#1852
#1854
#1855
#1857
#1860
#1863
#1864
#1865
#1866
#1867
#1868
#1869
#1870
#1871
#1872
#1873
#1874
#1875
#1876
#1877
#1878
#1879
#188
#1880
#1881
#1881
#1882
#1882
#1883
#1884
#1884
#1885
#1885
#1887
#1887
#1889
#1889
#192
#194
#196
#198
#2
#2
#20
#205
#206
#210
#211
#212
#216
#217
#218
#22
#229
#229
#23
#230
#233
#235
#236
#242
#246
#247
#250
#252
#254
#254
#255
#258
#260
#261
#262
#273
#275
#275
#280
#282
#283
#283
#284
#287
#288
#293
#296
#299
#30
#300
#301
#304
#307
#308
#310
#311
#312
#313
#316
#317
#322
#322
#323
#324
#326
#328
#33
#331
#332
#333
#334
#335
#336
#338
#339
#342
#343
#344
#345
#347
#348
#35
#354
#355
#357
#358
#359
#361
#365
#365
#366
#368
#37
#372
#374
#375
#378
#379
#380
#381
#382
#383
#384
#384
#385
#386
#388
#390
#391
#392
#392
#396
#404
#407
#408
#41
#410
#412
#414
#415
#416
#418
#418
#419
#420
#421
#428
#429
#430
#431
#433
#434
#437
#438
#439
#441
#443
#444
#445
#450
#451
#452
#455
#461
#462
#463
#465
#466
#468
#469
#472
#475
#476
#477
#48
#480
#480
#481
#483
#485
#485
#486
#489
#492
#494
#495
#498
#499
#50
#501
#502
#503
#507
#511
#512
#514
#519
#522
#522
#525
#53
#530
#534
#536
#538
#542
#544
#545
#547
#547
#549
#551
#552
#552
#553
#554
#555
#557
#558
#559
#560
#561
#567
#568
#569
#571
#573
#578
#579
#581
#581
#582
#583
#585
#587
#588
#589
#59
#591
#592
#593
#594
#595
#596
#598
#600
#602
#603
#606
#608
#609
#61
#610
#611
#612
#613
#615
#617
#618
#619
#62
#62
#620
#621
#622
#623
#624
#625
#626
#627
#629
#631
#632
#635
#636
#637
#638
#639
#641
#642
#644
#646
#647
#648
#649
#650
#653
#654
#655
#656
#657
#658
#659
#660
#664
#666
#667
#669
#677
#678
#683
#686
#687
#688
#694
#695
#696
#697
#698
#699
#7
#700
#702
#703
#704
#707
#708
#709
#711
#712
#713
#715
#716
#717
#718
#719
#72
#722
#723
#724
#727
#728
#729
#730
#731
#732
#735
#739
#743
#746
#747
#748
#749
#750
#751
#752
#753
#754
#755
#756
#757
#758
#760
#761
#762
#764
#766
#767
#768
#773
#774
#775
#777
#778
#779
#780
#784
#785
#786
#787
#788
#79
#792
#797
#80
#802
#803
#806
#807
#81
#811
#813
#815
#817
#818
#819
#821
#822
#824
#825
#826
#828
#831
#832
#833
#834
#835
#837
#838
#840
#845
#848
#849
#850
#851
#852
#853
#854
#855
#856
#859
#862
#863
#868
#869
#870
#871
#872
#88
#880
#881
#882
#884
#885
#887
#888
#889
#890
#893
#894
#897
#900
#901
#902
#903
#904
#905
#906
#907
#908
#909
#910
#911
#912
#913
#917
#918
#919
#921
#923
#924
#925
#927
#928
#93
#930
#933
#938
#94
#943
#945
#946
#948
#949
#95
#950
#951
#953
#958
#96
#962
#963
#969
#97
#971
#973
#975
#977
#979
#980
#981
#982
#983
#984
#985
#986
#989
#99
#990
#991
#994
#997
#998
0.16.5
0.20.5
0.20.6
0.21.18
0.3.4
0.3.8
0.3.9
0.5.2
0.5.7
0.5.9
0.8.6
laser-merge
v0.15.9
v0.16.18
v0.16.19
v0.16.20
v0.16.21
v0.16.22
v0.16.23
v0.16.24
v0.16.25
v0.16.26
v0.16.27
v0.16.29
v0.16.6
v0.17.0
v0.17.1
v0.17.12
v0.17.15
v0.17.2
v0.17.3
v0.17.4
v0.17.5
v0.17.6
v0.17.7
v0.17.8
v0.17.9
v0.18.0
v0.18.1
v0.18.10
v0.18.11
v0.18.12
v0.18.13
v0.18.2
v0.18.3
v0.18.4
v0.18.5
v0.18.6
v0.18.7
v0.18.8
v0.18.9
v0.19.0
v0.19.10
v0.19.11
v0.19.4
v0.19.5
v0.19.6
v0.19.7
v0.19.8
v0.19.9
v0.20.0
v0.20.1
v0.20.2
v0.20.3
v0.20.4
v0.20.5
v0.20.6
v0.20.7
v0.20.8
v0.20.9
v0.21.10
v0.21.11
v0.21.12
v0.21.14
v0.21.15
v0.21.16
v0.21.17
v0.21.18
v0.21.19
v0.21.2
v0.21.20
v0.21.21
v0.21.22
v0.21.23
v0.21.3
v0.21.4
v0.21.5
v0.21.6
v0.21.7
v0.21.8
v0.21.9
v0.22.0
v0.22.1
v0.22.10
v0.22.11
v0.22.12
v0.22.13
v0.22.14
v0.22.15
v0.22.16
v0.22.17
v0.22.18
v0.22.19
v0.22.2
v0.22.20
v0.22.21
v0.22.22
v0.22.23
v0.22.24
v0.22.25
v0.22.26
v0.22.27
v0.22.28
v0.22.29
v0.22.3
v0.22.30
v0.22.31
v0.22.32
v0.22.33
v0.22.34
v0.22.35
v0.22.36
v0.22.37
v0.22.38
v0.22.39
v0.22.4
v0.22.40
v0.22.41
v0.22.42
v0.22.43
v0.22.5
v0.22.6
v0.22.7
v0.22.8
v0.22.9
v0.23.0
v0.23.1
v0.23.10
v0.23.11
v0.23.12
v0.23.13
v0.23.15
v0.23.16
v0.23.17
v0.23.18
v0.23.19
v0.23.2
v0.23.20
v0.23.21
v0.23.22
v0.23.23
v0.23.24
v0.23.25
v0.23.3
v0.23.4
v0.23.5
v0.23.6
v0.23.7
v0.23.8
v0.23.9
v0.24.0
v0.24.1
v0.24.2
v0.24.3
v0.24.4
v0.24.5
v0.24.6
v0.24.7
v0.24.8
v0.6.17
v0.6.28
-
28c0871023
-
bb1dd3e794
- c636aeba8c Init args in vm tests #1607 norhh 2022-03-22 16:47:30 +0000
- 054d55db5b Init storage args norhh 2022-03-22 16:36:50 +0000
- e7924ef371 Init storage args norhh 2022-03-22 16:34:38 +0000
- 9045908cee Fix z3py requirements norhh 2022-03-22 15:28:16 +0000
- 0c2ffbdfe3 Use dict over accessor norhh 2022-03-22 15:09:19 +0000
- ecc77fc166 Add additional typing norhh 2022-03-22 15:06:29 +0000
- 53367ebc12 Fix typing norhh 2022-03-22 14:53:26 +0000
- 4b791d1943 Support TX constraints and refactor CLI norhh 2022-03-22 14:48:25 +0000
-
7a4946144a
-
7d3f9b5842
- 372bd691e8 Use dict over reference #1606 norhh 2022-03-21 01:05:56 +0000
- eb7ccea332 Add beam search norhh 2022-03-21 00:57:53 +0000
- e5e48567a9 Merge branch 'develop' of github.com:ConsenSys/mythril into develop norhh 2022-03-21 00:57:17 +0000
-
8fbe2e2748
- 0dd9833a77 Extend tests #1602 norhh 2022-03-11 14:14:21 +0000
- ea4c21b25a Fix NPM code block issue norhh 2022-03-11 14:12:58 +0000
- 48f75a687a Merge branch 'develop' of github.com:ConsenSys/mythril into develop norhh 2022-03-11 14:11:53 +0000
-
cf0cb1520b
- de0786b1b4 Merge branch 'develop' of github.com:ConsenSys/mythril into bugfix/1599 #1600 norhh 2022-03-09 02:11:00 +0000
- 1a89e955a3 Handle constructor edge case norhh 2022-03-09 02:10:29 +0000
-
85296a4eb4
-
c88a5eda57
- 69e10b0c95 Merge branch 'develop' of github.com:ConsenSys/mythril into develop #1597 norhh 2022-03-05 14:21:58 +0000
- 751adfeec3 Fix solc optimizer norhh 2022-03-05 14:21:53 +0000
-
8f1b8cdc3b
-
f380bbf689
- d4833a1bcb Init config dir #1595 norhh 2022-02-28 17:44:04 +0000
-
ed90d243b7
-
3c77dce935
-
dba29ef3a3
- 225e371cca Handle sqlite3 norhh 2022-02-28 16:13:26 +0000
-
fb18c361bb
-
d8e2689c8e
- 303a1348e8 Refactor #1445 norhh 2022-02-28 14:25:07 +0000
- a1a5f793b6 Split plugins norhh 2022-02-28 14:22:51 +0000
- e8830c24e9 Remove set_option norhh 2022-02-28 13:14:05 +0000
- 3b9b7362f9 Fix issues and format norhh 2022-02-28 13:01:44 +0000
- e7f48d6add Merge norhh 2022-02-28 12:43:02 +0000
-
0ea0f4fbe2
-
085f6bb0eb
- a45b25c3d2 Stop Edelweiss temporarily #1593 norhh 2022-02-25 15:45:03 +0000
-
0a2996a83e
- 9095d3bedd Fix MarkUpSafe #1591 norhh 2022-02-20 14:27:32 +0000
- 094682ff79 Support Pragmas norhh 2022-02-20 13:50:46 +0000
-
8718a4501f
- 2088a66385 Remove unused variable #1587 norhh 2022-01-31 09:37:22 +0000
- dcfd6f281c Rewrite BaseArray class norhh 2022-01-31 09:36:15 +0000
- 2738dc45b9 Revert a change norhh 2022-01-31 09:23:43 +0000
- b2a34504e9 Add some tweaks norhh 2022-01-31 09:21:42 +0000
- 0bccc23185 Add functions for summaries norhh 2022-01-31 09:20:38 +0000
-
53fe613d22
- 63879e759f Restrict eth-keyfile #1586 norhh 2022-01-31 00:01:15 +0000
- 9659a29491 Restrict eth-rlp norhh 2022-01-30 23:52:27 +0000
-
52f15b7591
-
31ba94e347
-
21e21269a6
-
56bcd5a21c
- f2dc3b755c Remove test #1584 norhh 2022-01-12 18:17:29 +0000
- 39fd5fc21c Add docker norhh 2022-01-12 17:57:10 +0000
- 8f572addb5 Handle changes in allow-paths in solc versions 0.8.8+ norhh 2022-01-12 17:51:28 +0000
-
ec17c1423c
- 6e35b379c0 dummy commit #1582 mrx23dot 2022-01-10 20:41:20 +0000
- 2ea540937e reformatted mrx23dot 2022-01-09 14:00:08 +0000
- 5690bfb3e3 allow missing solc mrx23dot 2022-01-09 13:38:38 +0000
-
d00152f8e4
- 39e7ae1811 revert solc changes #1581 norhh 2022-01-09 12:15:35 +0000
- 03f0dd7baf Fix issues with string code norhh 2022-01-09 12:09:25 +0000
-
700950c9e1
-
084e549a3a
- 59c680da5f fix typing #1578 norhh 2022-01-06 22:10:32 +0000
- 85522c87f5 Refactor norhh 2022-01-06 22:00:03 +0000
- 8abd35b928 Merge branch 'develop' of github.com:ConsenSys/mythril into fix/create norhh 2022-01-06 21:58:57 +0000
- 22d50f7ec9 Handle cases when create get's symbolic bytecodes norhh 2022-01-06 21:58:18 +0000
-
965513f239
- c0171632b7 Update lolcat #1577 norhh 2021-12-31 19:12:40 +0000
- 0caf8c9818 clean up code norhh 2021-12-31 19:00:14 +0000
-
c72ac81de1
- df5afa5a3c Update black #1576 norhh 2021-12-31 18:08:45 +0000
- f1ce624f7e Black updates norhh 2021-12-31 18:01:27 +0000
- 1159a2fd84 Add tests for natives norhh 2021-12-31 18:01:01 +0000
-
4003ff1e80
-
3d012818e9
- efce18ff46 Fix the leaking file descriptor when returning a z3 smt check result #1574 Iaroslav Zeigerman 2021-12-29 10:34:37 -0800
- b581850f58 Fix the leaking file descriptor when returning a z3 smt check result #1573 Iaroslav Zeigerman 2021-12-29 10:22:54 -0800
-
916a47286c
- c728ab13e3 Support multiple function names #1571 norhh 2021-12-22 16:24:22 +0000
-
c3c6739ace
- 252db015cb add blake2b #1570 norhh 2021-12-22 12:52:27 +0000
- 53c1354657 Remove eth-tester norhh 2021-12-22 12:49:04 +0000
- b4cc394e99 Merge branch 'fix/vers' of github.com:ConsenSys/mythril into fix/vers norhh 2021-12-22 12:45:20 +0000
- ab77550bc7 Restrict versions norhh 2021-12-22 12:44:32 +0000
-
b8d5a3410b
- b825d31c2a Edit versions norhh 2021-12-22 12:37:27 +0000
- fc139be0d0 Edit versions norhh 2021-12-22 12:19:31 +0000
- 8548fa724f Fix versions norhh 2021-12-22 12:13:41 +0000
- 51b6b14c1a Fix trie norhh 2021-12-22 11:22:19 +0000
- f01f928287 remove py-evm restriction norhh 2021-12-22 11:10:42 +0000
- 19697b6fd3 upgrade py-evm norhh 2021-12-22 11:07:18 +0000