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
- 900b7262b7 Merge branch 'develop' of github.com:Consensys/mythril into feat/merge Nikhil Parasaram 2024-03-11 08:09:58 +0000
- 6cec6514db Remove the partial file Nikhil Parasaram 2024-03-11 08:09:12 +0000
-
70d234e4f1
- c56d966130 Fix namespace #1843 Nikhil Parasaram 2024-03-10 21:21:25 +0000
- 46f9a31ac7 Add improved state merging Nikhil Parasaram 2024-03-10 21:05:06 +0000
-
a4fe7b287e
-
b6151b6801
-
e0ee41955d
-
2b5445fe11
- e881b855fb Add new features #1841 add/feats Nikhil Parasaram 2024-03-04 02:49:43 +0000
-
13969337fd
- a4c5ee0b24 Merge branch 'add/modules' of github.com:Consensys/mythril into add/modules #1836 add/modules Nikhil Parasaram 2024-02-17 22:48:05 +0000
- 8fce8a2988 Modify test Nikhil Parasaram 2024-02-17 22:47:47 +0000
-
e557c864e5
- 095ad0bf9d Add analysis modules Nikhil Parasaram 2024-02-17 22:30:54 +0000
-
57dbd0cfd6
- fa02b2291d Update z3 #1835 z3 Nikhil Parasaram 2024-02-17 13:03:35 +0000
-
016bc733f6
- 996de09dd8 Remove test #1833 fix/refactor Nikhil Parasaram 2024-02-02 01:08:16 +0000
- 84c6f9e251 Merge branch 'fix/refactor' of github.com:Consensys/mythril into fix/refactor Nikhil Parasaram 2024-02-02 01:07:18 +0000
- a2ee1f3c75 Merge Nikhil Parasaram 2024-02-02 01:06:22 +0000
- b25d01450e Remove parallel test Nikhil Parasaram 2024-02-02 01:05:58 +0000
-
80c8f13a3b
-
42db1594dd
- f108933034 Reduce processes Nikhil Parasaram 2024-02-01 23:57:20 +0000
-
828b54f1b6
- 1a5d41fe1c Reduce processes #1831 Nikhil Parasaram 2024-02-01 23:02:06 +0000
- 53f8f03916 Modify tests Nikhil Parasaram 2024-02-01 22:43:37 +0000
- 44b0e47ddd Modify tox Nikhil Parasaram 2024-02-01 22:34:29 +0000
- 92e2792e38 Edit tox Nikhil Parasaram 2024-02-01 22:29:32 +0000
- 28ffae0003 Refactor code Nikhil Parasaram 2024-02-01 22:11:38 +0000
-
b8ad3a9603
-
205d50a50f
- 8870fe11bd Disable sonar #1830 optimise/summaries Nikhil Parasaram 2024-01-15 23:39:47 +0000
- 5542f33670 Update namespace Nikhil Parasaram 2024-01-15 23:26:20 +0000
- d53dd96d8d Merge branch 'optimise/summaries' of github.com:Consensys/mythril into optimise/summaries Nikhil Parasaram 2024-01-15 23:23:02 +0000
- 25e31bc060 Update test w.r.t bugfixes Nikhil Parasaram 2024-01-15 23:22:43 +0000
-
9af098af41
- 91d20b1fb1 Add summaries and additional bugfixes Nikhil Parasaram 2024-01-15 22:43:36 +0000
-
f61c2d4515
- 3369ff446e Reformat #1828 Nikhil Parasaram 2023-12-27 12:14:58 +0000
-
54847a6d83
- eff480debf wrap around long line #1827 Nikhil Parasaram 2023-12-22 17:28:17 +0000
-
9d838b0726
-
f31860c10d
-
373558c58a
-
2bf6a35327
- 5516926b19 Merge branch 'develop' of github.com:ConsenSys/mythril into config-change #1826 config-change Nikhil Parasaram 2023-12-13 15:43:13 +0000
- 80c3469a91 Handle edge case when parsing Nikhil Parasaram 2023-12-13 15:43:05 +0000
-
460e9da50c
- 2ed7965a5a fix typos #1824 Santala 2023-11-22 10:09:58 +0700
-
960377f5cd
-
4085cf6427
- 17740aa9e2 Downgrade solcx #1823 Nikhil Parasaram 2023-11-19 22:51:25 +0000
-
056fc530d3
-
c48fa23f5b
-
8396d6185a
-
240e1a564e
-
c7255768b7
- 429a2df373 Fix an edge case #1820 Nikhil Parasaram 2023-11-07 09:36:06 +0000
-
fe565a2a65
-
14d32a2b8c
- 60bdebe89e Fix a bug related to feature extraction #1817 Nikhil Parasaram 2023-11-06 06:51:07 +0000
-
90e0dd7097
-
e44dd37509
-
512cdd2ee6
-
ecc79507ac
-
4cdb28130c
-
93965debbf
- e02cf48386 Fix edge case w.r.t solc versions #1812 Nikhil Parasaram 2023-10-19 15:29:09 +0100
-
91c4ddad2e
-
6389740dda
- 4b225ef639 Handle edge case during feature extraction Nikhil Parasaram 2023-10-19 13:59:12 +0100
-
60ca80b91a
-
59b86644dc
-
491f4ee343
-
d167d20fc3
- 77d9069e70 Reformat setup.py #1807 Nikhil Parasaram 2023-10-08 11:45:12 +0100
- 3420931f2d Fix issues Nikhil Parasaram 2023-10-08 11:41:35 +0100
- b14b477a6e Handle pip Nikhil Parasaram 2023-10-08 11:29:03 +0100
- 024f0abf09 Use comma Nikhil Parasaram 2023-10-08 11:18:39 +0100
- a2ece71abe Remove signature Nikhil Parasaram 2023-10-08 11:16:47 +0100
- 625776f909 Change requirements Nikhil Parasaram 2023-10-08 11:15:41 +0100
- 7978544692 Change ci image Nikhil Parasaram 2023-10-08 10:05:19 +0100
- d3a97bd18c Update python Nikhil Parasaram 2023-10-08 07:26:36 +0100
-
bb6c96e293
-
5944d25618
-
d44eff8a31
-
a6acdb1109
-
8c426984d6
-
a28d600ced
- 8b29f6a7fb Remove print #1805 Nikhil Parasaram 2023-10-02 00:45:44 +0100
- 2d42c3b4d4 Fix edge case in integer module for 0.8.0 Nikhil Parasaram 2023-10-02 00:32:24 +0100
-
5e12c56993
-
d551861a63
-
d8f9d28b62
-
4820f7231f
-
8aa56600ef
-
bd27897533
- 7d40a888c2 Fix singleton #1799 norhh 2023-09-10 15:49:36 +0100