🚩 Feature Request: NixOS Flake

[CosasDePuma]

Description

Create a NixOS Flake (flake.nix) for the Mythril repository to facilitate building, running, and maintaining Mythril on NixOS systems.

Background

Mythril is a popular security analysis tool for Ethereum smart contracts, written in Python. It is important to provide a streamlined, reproducible way to build and use Mythril across different environments. NixOS flakes offer a way to package software that ensures reproducibility, isolation, and ease of deployment, making it an excellent choice for managing Mythril dependencies and configurations. This flake will simplify the process for developers and users who want to install Mythril on their NixOS systems.

Tests

Build Test: Verify that the flake builds Mythril successfully on a NixOS system.

1. Clone the repository and run nix build .#mythril.
2. Ensure that the build completes without errors.
3. After building, run nix run .#mythril -- --help to check if Mythril executes and displays the help message.
4. Create a sample Solidity file (e.g., sample.sol).
5. Run nix run .#mythril -- sample.sol and verify that Mythril performs the analysis and outputs the results.

Resources

1. NixOS: Packaging/Python

Thank you for considering this feature request!