base myhril package, py-ecc-410 and eth-utils-110

Author: monyarm

flake.lock

@@ -100,6 +100,29 @@ _finalNixpkgs: prevNixpkgs: let
   rapidsnark-server = prevNixpkgs.callPackage ./packages/rapidsnark-server/default.nix {
     inherit ffiasm zqfield-bn254 rapidsnark pistache;
   };
+
+  py-ecc-410 = prevNixpkgs.python3Packages.py-ecc.overrideAttrs (finalAttrs: previousAttrs: {
+    version = "4.1.0";
+
+    src = prevNixpkgs.fetchFromGitHub {
+      owner = "ethereum";
+      repo = "py_ecc";
+      rev = "v4.1.0";
+      hash = "sha256-qs4dvfdrl6o74FAst6XBAvzjJ7ZCA58s447aCTGIt2Y=";
+    };
+  });
+
+  eth-utils-110 = prevNixpkgs.python3Packages.eth-utils.overrideAttrs (finalAttrs: previousAttrs: {
+    version = "1.10.0";
+
+    src = prevNixpkgs.fetchFromGitHub {
+      owner = "ethereum";
+      repo = "eth-utils";
+      rev = "v1.10.0";
+      sha256 = "sha256-sq3H4HmUFUipqVYleZxWLG1gBsQEoNwcZAXiKckacek=";
+    };
+  });
+  mythril = prevNixpkgs.callPackage ./packages/python-modules/mythril/default.nix {inherit py-ecc-410 eth-utils-110;};
 in {
   metacraft-labs = rec {
     solana = solana-full-sdk;
@@ -135,5 +158,7 @@ in {
     inherit circom_runtime;
     inherit rapidsnark;
     inherit rapidsnark-server;
+
+    inherit eth-utils-110 mythril;
   };
 }

overlay.nix

@@ -0,0 +1,51 @@
+{
+  lib,
+  stdenv,
+  python3Packages,
+  fetchFromGitHub,
+  py-ecc-410,
+  eth-utils-110,
+}:
+python3Packages.buildPythonPackage rec {
+  pname = "mythril";
+  version = "0.23.17";
+  format = "setuptools";
+
+  disabled = python3Packages.pythonOlder "3.6";
+
+  src = fetchFromGitHub {
+    owner = "ConsenSys";
+    repo = "mythril";
+    rev = "v${version}";
+    hash = "sha256-lzxAhaQfiGygxI98x1hWP8wrHVbf9DuZuEnjJcKMRCo=";
+  };
+
+  nativeBuildInputs = [
+  ];
+
+  propagatedBuildInputs = with python3Packages; [
+    py-ecc-410
+    eth-utils-110
+    setuptools
+  ];
+
+  # postFixup = lib.optionalString withSolc ''
+  #   wrapProgram $out/bin/myhtril \
+  #     --prefix PATH : "${lib.makeBinPath [solc]}"
+  # '';
+
+  # No Python tests
+  doCheck = false;
+
+  meta = with lib; {
+    description = "Security analysis tool for EVM bytecode.";
+    longDescription = ''
+      Mythril is a security analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built
+      for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains. It uses
+      symbolic execution, SMT solving and taint analysis to detect a variety of security vulnerabilities. It's also used
+      (in combination with other tools and techniques) in the MythX security analysis platform.
+    '';
+    homepage = "https://github.com/ConsenSys/mythril";
+    license = licenses.mit;
+  };
+}