Commit Graph

  • 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
    Add improved state merging (#1843) Nikhil Parasaram 2024-03-10 21:49:23 +0000
  • 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
    Mythril v0.24.7 v0.24.7 Nikhil Parasaram 2024-03-06 14:27:30 +0000
  • b6151b6801
    Update eth_abi Nikhil Parasaram 2024-03-06 04:04:52 +0000
  • e0ee41955d
    Mythril v0.24.6 v0.24.6 Nikhil Parasaram 2024-03-06 03:47:15 +0000
  • 2b5445fe11
    Add new features (#1841) Nikhil Parasaram 2024-03-04 03:27:07 +0000
  • e881b855fb Add new features #1841 add/feats Nikhil Parasaram 2024-03-04 02:49:43 +0000
  • 13969337fd
    Add additional analysis modules (#1836) Nikhil Parasaram 2024-02-17 23:14:37 +0000
  • 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
    Merge branch 'develop' into add/modules Nikhil Parasaram 2024-02-17 22:31:56 +0000
  • 095ad0bf9d Add analysis modules Nikhil Parasaram 2024-02-17 22:30:54 +0000
  • 57dbd0cfd6
    Update z3 (#1835) Nikhil Parasaram 2024-02-17 13:22:20 +0000
  • fa02b2291d Update z3 #1835 z3 Nikhil Parasaram 2024-02-17 13:03:35 +0000
  • 016bc733f6
    Remove parallelisation (#1833) Nikhil Parasaram 2024-02-02 01:32:49 +0000
  • 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
    Reduce number of processes (#1832) Nikhil Parasaram 2024-02-02 00:25:27 +0000
  • 42db1594dd
    Merge branch 'develop' into fix/refactor #1832 Nikhil Parasaram 2024-02-01 23:58:12 +0000
  • f108933034 Reduce processes Nikhil Parasaram 2024-02-01 23:57:20 +0000
  • 828b54f1b6
    Refactor code (#1831) Nikhil Parasaram 2024-02-01 23:26:27 +0000
  • 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
    Mythril v0.24.5 v0.24.5 Nikhil Parasaram 2024-01-16 18:54:14 +0000
  • 205d50a50f
    Add summaries and additional bugfixes (#1830) Nikhil Parasaram 2024-01-16 00:07:37 +0000
  • 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
    Merge branch 'develop' into optimise/summaries Nikhil Parasaram 2024-01-15 22:44:06 +0000
  • 91d20b1fb1 Add summaries and additional bugfixes Nikhil Parasaram 2024-01-15 22:43:36 +0000
  • f61c2d4515
    Update cli.py (#1828) anonymousdouble 2023-12-27 23:24:02 +1100
  • 3369ff446e Reformat #1828 Nikhil Parasaram 2023-12-27 12:14:58 +0000
  • 54847a6d83
    Update cli.py anonymousdouble 2023-12-27 08:19:01 +1100
  • eff480debf wrap around long line #1827 Nikhil Parasaram 2023-12-22 17:28:17 +0000
  • 9d838b0726
    Update cli.py anonymousdouble 2023-12-22 19:47:16 +1100
  • f31860c10d
    Update cli.py anonymousdouble 2023-12-19 16:12:26 +1100
  • 373558c58a
    Mythril v0.24.4 v0.24.4 Nikhil Parasaram 2023-12-18 01:18:06 +0000
  • 2bf6a35327
    Handle edge case when parsing (#1826) Nikhil Parasaram 2023-12-13 15:51:15 +0000
  • 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
    fix typos (#1824) Santala 2023-11-24 00:27:03 +0700
  • 2ed7965a5a fix typos #1824 Santala 2023-11-22 10:09:58 +0700
  • 960377f5cd
    Mythril v0.24.3 v0.24.3 Nikhil Parasaram 2023-11-19 23:00:33 +0000
  • 4085cf6427
    Change configuration (#1823) Nikhil Parasaram 2023-11-19 23:00:05 +0000
  • 17740aa9e2 Downgrade solcx #1823 Nikhil Parasaram 2023-11-19 22:51:25 +0000
  • 056fc530d3
    Change configuration Nikhil Parasaram 2023-11-19 22:12:40 +0000
  • c48fa23f5b
    test do not merge #1822 Security Researcher - WhiteHat 2023-11-17 12:21:41 +0200
  • 8396d6185a
    Mythril v0.24.2 (#1821) v0.24.2 Nikhil Parasaram 2023-11-07 14:28:38 +0000
  • 240e1a564e
    Mythril v0.24.2 #1821 Nikhil Parasaram 2023-11-07 14:17:54 +0000
  • c7255768b7
    Fix an edge case (#1820) Nikhil Parasaram 2023-11-07 09:46:58 +0000
  • 429a2df373 Fix an edge case #1820 Nikhil Parasaram 2023-11-07 09:36:06 +0000
  • fe565a2a65
    test do not merge #1818 Security Researcher - WhiteHat 2023-11-06 16:54:01 +0200
  • 14d32a2b8c
    Fix a bug related to feature extraction (#1817) Nikhil Parasaram 2023-11-06 07:01:49 +0000
  • 60bdebe89e Fix a bug related to feature extraction #1817 Nikhil Parasaram 2023-11-06 06:51:07 +0000
  • 90e0dd7097
    Update mythril_config.py - Remove TODO (#1814) Erlangshen219 2023-11-06 14:21:03 +0800
  • e44dd37509
    Remove # type:ignore #1814 Erlangshen219 2023-11-03 22:17:53 +0800
  • 512cdd2ee6
    Update mythril_config.py - Remove TODO Erlangshen219 2023-10-30 17:50:47 +0800
  • ecc79507ac
    Update README.md Nikhil Parasaram 2023-10-25 22:48:48 +0100
  • 4cdb28130c
    Mythril v0.24.1 v0.24.1 Nikhil Parasaram 2023-10-23 03:48:13 +0100
  • 93965debbf
    Fix edge case w.r.t solc versions (#1812) Nikhil Parasaram 2023-10-19 15:44:42 +0100
  • e02cf48386 Fix edge case w.r.t solc versions #1812 Nikhil Parasaram 2023-10-19 15:29:09 +0100
  • 91c4ddad2e
    Handle edge case during feature extraction (#1811) Nikhil Parasaram 2023-10-19 14:10:18 +0100
  • 6389740dda
    Merge branch 'develop' into bugfix/1809 #1811 Nikhil Parasaram 2023-10-19 14:01:13 +0100
  • 4b225ef639 Handle edge case during feature extraction Nikhil Parasaram 2023-10-19 13:59:12 +0100
  • 60ca80b91a
    Mythril v0.24.0 v0.24.0 Nikhil Parasaram 2023-10-09 07:12:19 +0100
  • 59b86644dc
    Update Readme to python 3.7 Nikhil Parasaram 2023-10-09 07:11:47 +0100
  • 491f4ee343
    Update README.md Nikhil Parasaram 2023-10-09 05:52:51 +0100
  • d167d20fc3
    Update requirements.txt (#1807) Nikhil Parasaram 2023-10-08 12:08:04 +0100
  • 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
    Update requirements.txt Nikhil Parasaram 2023-10-06 07:13:16 +0100
  • 5944d25618
    Update requirements.txt Nikhil Parasaram 2023-10-06 07:08:25 +0100
  • d44eff8a31
    Update requirements.txt Nikhil Parasaram 2023-10-06 07:05:54 +0100
  • a6acdb1109
    use eth-abi Nikhil Parasaram 2023-10-06 07:00:42 +0100
  • 8c426984d6
    Update requirements.txt Nikhil Parasaram 2023-10-06 06:55:20 +0100
  • a28d600ced
    Fix edge case in integer module for 0.8.0 (#1805) Nikhil Parasaram 2023-10-02 00:58:33 +0100
  • 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
    update test #1803 S1mpsonBart 2023-09-20 18:01:14 +0300
  • d551861a63
    update test #1802 S1mpsonBart 2023-09-20 17:57:21 +0300
  • d8f9d28b62
    update test #1801 S1mpsonBart 2023-09-20 17:51:47 +0300
  • 4820f7231f
    Test - Do Not Merge #1800 NaorYaa 2023-09-20 15:29:04 +0300
  • 8aa56600ef
    Fix Readme Nikhil Parasaram 2023-09-10 16:54:08 +0100
  • bd27897533
    Misc fixes (#1799) Nikhil Parasaram 2023-09-10 15:59:29 +0100
  • 7d40a888c2 Fix singleton #1799 norhh 2023-09-10 15:49:36 +0100