Commit Graph

  • 28c0871023
    Unrestrict z3 to 4.8.15.0 #1608 Nikhil Parasaram 2022-03-23 05:33:32 +0000
  • bb1dd3e794
    Support TX constraints and refactor CLI (#1607) Nikhil Parasaram 2022-03-22 16:59:13 +0000
  • 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
    Change default execution time Nikhil Parasaram 2022-03-21 02:27:23 +0000
  • 7d3f9b5842
    Beam search (#1606) Nikhil Parasaram 2022-03-21 01:17:25 +0000
  • 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
    Fix NPM code block issue (#1602) Nikhil Parasaram 2022-03-11 14:28:01 +0000
  • 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
    Handle constructor edge case (#1600) Nikhil Parasaram 2022-03-09 02:29:54 +0000
  • 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
    Mythril v0.22.41 v0.22.41 Nikhil Parasaram 2022-03-06 02:49:00 +0000
  • c88a5eda57
    Fixes optimizer issue (#1597) Nikhil Parasaram 2022-03-05 14:31:17 +0000
  • 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
    Mythril v0.22.40 v0.22.40 Nikhil Parasaram 2022-02-28 17:59:49 +0000
  • f380bbf689
    Init config dir (#1595) Nikhil Parasaram 2022-02-28 17:52:55 +0000
  • d4833a1bcb Init config dir #1595 norhh 2022-02-28 17:44:04 +0000
  • ed90d243b7
    Mythril v0.22.39 v0.22.39 Nikhil Parasaram 2022-02-28 16:20:20 +0000
  • 3c77dce935
    Fix issues with sqlite3 (#1594) Nikhil Parasaram 2022-02-28 16:14:19 +0000
  • dba29ef3a3
    Merge branch 'develop' into concolic/tool #1594 Nikhil Parasaram 2022-02-28 16:14:10 +0000
  • 225e371cca Handle sqlite3 norhh 2022-02-28 16:13:26 +0000
  • fb18c361bb
    Mythril v0.22.38 v0.22.38 Nikhil Parasaram 2022-02-28 14:34:35 +0000
  • d8e2689c8e
    Concolic tool (#1445) Nikhil Parasaram 2022-02-28 14:34:07 +0000
  • 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
    Mythril v0.22.37 v0.22.37 Nikhil Parasaram 2022-02-25 17:50:39 +0000
  • 085f6bb0eb
    Stop Edelweiss temporarily (#1593) Nikhil Parasaram 2022-02-25 15:59:06 +0000
  • a45b25c3d2 Stop Edelweiss temporarily #1593 norhh 2022-02-25 15:45:03 +0000
  • 0a2996a83e
    Support Pragmas (#1591) Nikhil Parasaram 2022-02-20 14:36:21 +0000
  • 9095d3bedd Fix MarkUpSafe #1591 norhh 2022-02-20 14:27:32 +0000
  • 094682ff79 Support Pragmas norhh 2022-02-20 13:50:46 +0000
  • 8718a4501f
    Helper functions for symbolic summaries (#1587) Nikhil Parasaram 2022-01-31 09:45:29 +0000
  • 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
    Restrict eth-rlp, eth-keyfile (#1586) Nikhil Parasaram 2022-01-31 00:11:30 +0000
  • 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
    Update LICENSE (#1585) Serafim Cloud 2022-01-20 15:51:37 +0300
  • 31ba94e347
    Update LICENSE #1585 Serafim Cloud 2022-01-17 10:18:32 +0300
  • 21e21269a6
    Mythril v0.22.36 v0.22.36 Nikhil Parasaram 2022-01-15 23:03:10 +0000
  • 56bcd5a21c
    Handle changes in allow-paths in solc versions 0.8.8+ (#1584) Nikhil Parasaram 2022-01-12 18:28:54 +0000
  • 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
    Allow missing solc (#1582) Kis Gabor 2022-01-11 00:24:31 +0000
  • 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
    Handle cases with symbolic bytecode (#1581) Nikhil Parasaram 2022-01-09 12:30:40 +0000
  • 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
    Mythril v0.22.35 v0.22.35 Nikhil Parasaram 2022-01-06 23:48:04 +0000
  • 084e549a3a
    Fixes issues with create with symbolic bytecode (#1578) Nikhil Parasaram 2022-01-06 22:25:40 +0000
  • 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
    Refactor code (#1577) Nikhil Parasaram 2021-12-31 19:23:26 +0000
  • 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
    Add more precompile tests (#1576) Nikhil Parasaram 2021-12-31 18:21:49 +0000
  • 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
    Mythril v0.22.34 v0.22.34 Nikhil Parasaram 2021-12-31 12:01:16 +0000
  • 3d012818e9
    Fix the leaking file descriptor when returning a z3 smt check result (#1574) Iaroslav Zeigerman 2021-12-29 17:31:54 -0800
  • 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
    Support multiple function names (#1571) Nikhil Parasaram 2021-12-22 16:36:09 +0000
  • c728ab13e3 Support multiple function names #1571 norhh 2021-12-22 16:24:22 +0000
  • c3c6739ace
    Fix py-evm version (#1570) Nikhil Parasaram 2021-12-22 13:02:18 +0000
  • 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
    Merge branch 'develop' into fix/vers Nikhil Parasaram 2021-12-22 12:39:15 +0000
  • 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