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
- 2820aec721 Reformat #1707 norhh 2022-11-22 16:50:08 +0100
- 913f030291 Add set tx counter and fix balances for summaries norhh 2022-11-22 16:45:49 +0100
- cffdc4fb57 Fix merge conflicts norhh 2022-11-22 16:42:02 +0100
-
8bc3726b0c
-
d8f82bcdb9
-
f585497c2d
- f90d6d66c2 Add transaction plugins for summary search strategy #1705 norhh 2022-11-11 10:46:54 +0100
- 952a0cb9b5 Add transaction plugins for summary search strategy norhh 2022-11-11 10:41:57 +0100
-
e18dec4449
-
2aab834ecf
- 38030c7bb8 Use ConnectionError norhh 2022-11-05 12:19:26 +0100
-
009a5dedab
- 9c9202ce17 Use deepcopy for jumpi #1704 norhh 2022-11-05 10:28:31 +0100
-
4dc619f354
-
a4034ef834
-
0e6ba2b9c1
-
185f2d6cd2
- 66269571b9 Support solc-args #1698 norhh 2022-10-19 15:41:37 +0200
-
19f6a8b120
-
99b4cb24ce
-
0393fa3a5c
-
c5a38e2b6e
1b5cbb5b7d
into21b3e92747
#1691 kandikits 2022-09-15 04:26:35 +0530 -
1b5cbb5b7d
-
21b3e92747
-
d9443cf55d
-
c1c9e0da2c
- 8746363722 Fix JSON serialisation issue #1687 norhh 2022-09-08 17:13:56 +0200
-
1267c75854
- e3ee065224 Fix ReturnData #1683 norhh 2022-09-05 14:00:57 +0200
-
822b1554fa
-
c7d36d45e7
- 53ef610a11 Modify ABI output norhh 2022-09-05 04:06:26 +0200
-
d22da1c212
-
daa75ee3e5
- f27e0eef5b Add resolved input to output #1679 norhh 2022-09-04 12:46:51 +0200
-
1aaa28fc16
-
c1e1295bee
-
73aa52d7fa
-
3d08774634
- 6c929b5891 Handle OOG during CALL norhh 2022-09-03 21:49:12 +0200
-
427d40e669
- 0755b500a2 Use solver over simplify #1674 norhh 2022-09-03 14:10:23 +0200
- ce34baa511 Merge branch 'develop' of github.com:ConsenSys/mythril into bugfix/1667 norhh 2022-09-03 12:24:49 +0200
-
8d863fbbf6
- e54027c160 Add import #1670 norhh 2022-08-25 21:22:54 +0100
-
5964fc61ef
-
6a35ef668a
-
02a5e45c87
-
8590de95d3
-
aa44d079a1
-
eb2c11ef01
- 071b2d7ff9 Restrict hexbytes #1668 norhh 2022-08-21 00:00:53 +0100
- 5a12f7ff20 Add test changes norhh 2022-08-20 23:35:53 +0100
- cf65d1441f Fix the issue with loop-bound and solver-timeout norhh 2022-08-20 23:06:19 +0100
-
614ea8ccef
-
3f8edc626b
-
f8f59dfdd2
- 51ee75d0a7 Reformat #1664 norhh 2022-08-15 21:23:36 +0100
- afff5da69f Fix docs norhh 2022-08-15 21:20:53 +0100
- 850677b46d Update docs with tutorial norhh 2022-08-15 21:01:01 +0100
- 067e93b36d Merge branch 'develop' of github.com:ConsenSys/mythril into develop norhh 2022-08-15 20:26:05 +0100
-
aa0f1d192d
-
1712a7bb60
-
90964e55b0
- f4fcc05013 Fix tests #1662 norhh 2022-08-07 07:40:09 +0100
- a6c8d9e88a Add exit code norhh 2022-08-07 07:13:45 +0100
-
ac2811701a
- 4c4327583b Refactor #1661 norhh 2022-08-07 05:11:44 +0100
- 3074d90f53 Fix import norhh 2022-08-07 05:11:31 +0100
- 1b2a045adb Merge branch 'develop' of github.com:ConsenSys/mythril into fix/1657 norhh 2022-08-07 05:10:46 +0100
-
485b224598
- 06fd401c2c Fix typo #1660 norhh 2022-08-06 16:58:52 +0100
- 69f9907696 Merge branch 'develop' of github.com:ConsenSys/mythril into fix/1657 norhh 2022-08-06 16:56:34 +0100
- 8e03d85aeb Fix issue with simplify norhh 2022-08-06 16:56:27 +0100
-
76e6d00e1d
- 9541720bc9 Merge branch 'develop' of github.com:ConsenSys/mythril into fix/1657 #1658 norhh 2022-08-06 02:44:41 +0100
- 07bcfb164d Fix OOG issue norhh 2022-08-06 02:44:17 +0100
-
42b0e2068d
-
ca3218be48
-
d6e8813100
- 137d69cf85 Fix test directory #1655 norhh 2022-08-01 12:44:38 +0100
- 8f2015056c Merge branch 'fix/abi' of github.com:ConsenSys/mythril into fix/abi norhh 2022-08-01 12:39:58 +0100
- 54d7d203a8 Merge branch 'develop' of github.com:ConsenSys/mythril into fix/abi norhh 2022-08-01 12:39:37 +0100
- 08ab72c580 Fix test norhh 2022-08-01 12:39:12 +0100
-
2395797685
- f7496c554a Add partial abi support norhh 2022-08-01 12:37:57 +0100
- 23f3fb6884 Support abi norhh 2022-08-01 07:39:31 +0100
-
842e3da3a4
- 2195d31703 Fix issues with arbitrary jump dest #1654 norhh 2022-08-01 07:15:41 +0100
-
405277dcca
-
5a184e8225
- cd14a1e143 Fix typo #1652 norhh 2022-07-19 02:24:25 +0100
- 86e0f1dd9a Remove abi decode test norhh 2022-07-19 02:18:44 +0100
- b8ebcfb4d5 Add support for locking config file norhh 2022-07-19 02:14:40 +0100
-
21999f8b50
- 1a96719444 set cytoolz version #1651 norhh 2022-07-16 13:58:30 +0100
- 85d52fe287 Add cython norhh 2022-07-16 13:40:02 +0100
- b8b3e53c30 Remove cython from setup norhh 2022-07-12 15:28:03 +0100
- d4ac9cf868 Remove cython from setup norhh 2022-07-12 15:22:50 +0100
- 27728e699d Add cython norhh 2022-07-12 15:22:39 +0100