Add basic nix interface

5 files changed, 597 insertions, 440 deletions

diff --git a/flake.lock b/flake.lock
new file mode 100644
index 00000000..10b95228
--- /dev/null
+++ b/flake.lock
@@ -0,0 +1,133 @@
+{
+  "nodes": {
+    "flake-utils": {
+      "inputs": {
+        "systems": "systems"
+      },
+      "locked": {
+        "lastModified": 1731533236,
+        "narHash": "sha256-l0KFg5HjrsfsO/JpG+r7fRrqm12kzFHyUHqHCVpMMbI=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "11707dc2f618dd54ca8739b309ec4fc024de578b",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
+    "nixpkgs": {
+      "locked": {
+        "lastModified": 1759831965,
+        "narHash": "sha256-vgPm2xjOmKdZ0xKA6yLXPJpjOtQPHfaZDRtH+47XEBo=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "c9b6fb798541223bbb396d287d16f43520250518",
+        "type": "github"
+      },
+      "original": {
+        "owner": "NixOS",
+        "ref": "nixos-unstable",
+        "repo": "nixpkgs",
+        "type": "github"
+      }
+    },
+    "pyproject-build-systems": {
+      "inputs": {
+        "nixpkgs": [
+          "nixpkgs"
+        ],
+        "pyproject-nix": [
+          "pyproject-nix"
+        ],
+        "uv2nix": [
+          "uv2nix"
+        ]
+      },
+      "locked": {
+        "lastModified": 1759113590,
+        "narHash": "sha256-fgxP2RCN4cg0jYiMYoETYc7TZ2JjgyvJa2y9l8oSUFE=",
+        "owner": "pyproject-nix",
+        "repo": "build-system-pkgs",
+        "rev": "dbfc0483b5952c6b86e36f8b3afeb9dde30ea4b5",
+        "type": "github"
+      },
+      "original": {
+        "owner": "pyproject-nix",
+        "repo": "build-system-pkgs",
+        "type": "github"
+      }
+    },
+    "pyproject-nix": {
+      "inputs": {
+        "nixpkgs": [
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1759739877,
+        "narHash": "sha256-XfcxM4nzSuuRmFGiy/MhGwYf9EennQ2+0jjR2aJqtKE=",
+        "owner": "pyproject-nix",
+        "repo": "pyproject.nix",
+        "rev": "966e0961f9670f847439ba90dc25ffaa112d8803",
+        "type": "github"
+      },
+      "original": {
+        "owner": "pyproject-nix",
+        "repo": "pyproject.nix",
+        "type": "github"
+      }
+    },
+    "root": {
+      "inputs": {
+        "flake-utils": "flake-utils",
+        "nixpkgs": "nixpkgs",
+        "pyproject-build-systems": "pyproject-build-systems",
+        "pyproject-nix": "pyproject-nix",
+        "uv2nix": "uv2nix"
+      }
+    },
+    "systems": {
+      "locked": {
+        "lastModified": 1681028828,
+        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
+        "owner": "nix-systems",
+        "repo": "default",
+        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-systems",
+        "repo": "default",
+        "type": "github"
+      }
+    },
+    "uv2nix": {
+      "inputs": {
+        "nixpkgs": [
+          "nixpkgs"
+        ],
+        "pyproject-nix": [
+          "pyproject-nix"
+        ]
+      },
+      "locked": {
+        "lastModified": 1759917780,
+        "narHash": "sha256-2cwD6my+D+RELgv0czBCnx+y77Raj++4ku8unX/WZAI=",
+        "owner": "pyproject-nix",
+        "repo": "uv2nix",
+        "rev": "a529973358dae46fac521a5f0fa97f5f327f9f7e",
+        "type": "github"
+      },
+      "original": {
+        "owner": "pyproject-nix",
+        "repo": "uv2nix",
+        "type": "github"
+      }
+    }
+  },
+  "root": "root",
+  "version": 7
+}
diff --git a/flake.nix b/flake.nix
new file mode 100644
index 00000000..89818257
--- /dev/null
+++ b/flake.nix
@@ -0,0 +1,187 @@
+{
+	description = "Focaccia: A Symbolic Tester for QEMU";
+
+	inputs = {
+		self.submodules = true;
+
+		nixpkgs.url = "github:NixOS/nixpkgs/nixos-unstable";
+
+		flake-utils.url = "github:numtide/flake-utils";
+
+		pyproject-nix = {
+			url = "github:pyproject-nix/pyproject.nix";
+			inputs.nixpkgs.follows = "nixpkgs";
+		};
+
+		uv2nix = {
+			url = "github:pyproject-nix/uv2nix";
+			inputs.nixpkgs.follows = "nixpkgs";
+			inputs.pyproject-nix.follows = "pyproject-nix";
+		};
+
+		pyproject-build-systems = {
+			url = "github:pyproject-nix/build-system-pkgs";
+			inputs.uv2nix.follows = "uv2nix";
+			inputs.nixpkgs.follows = "nixpkgs";
+			inputs.pyproject-nix.follows = "pyproject-nix";
+		};
+	};
+
+	outputs = {
+		uv2nix,
+		nixpkgs,
+		flake-utils,
+		pyproject-nix,
+		pyproject-build-systems,
+		...
+	}:
+	flake-utils.lib.eachSystem [ "x86_64-linux" "aarch64-linux" "aarch64-darwin" ] (system:
+	let
+		# Refine nixpkgs used in flake to system arch
+		pkgs = import nixpkgs {
+			inherit system;
+		};
+
+		# Pin Python version
+		python = pkgs.python312;
+
+		# Define workspace root and load uv workspace metadata
+		workspace = uv2nix.lib.workspace.loadWorkspace { workspaceRoot = ./.; };
+
+		# Create an overlay for Nix that includes extracted Python packages declared as dependencies
+		# in uv
+		overlay = workspace.mkPyprojectOverlay { sourcePreference = "wheel"; };
+
+		editableOverlay = workspace.mkEditablePyprojectOverlay {
+			# Use environment variable
+			root = "$REPO_ROOT";
+
+			members = [ "miasm" ];
+		};
+
+		# Another overlay layer for flake-specific overloads
+		# This might be needed because uv does not have sufficient metadata
+		# Here, uv does include metadata about build systems used by each dependency
+		# Ergo we need to add a nativeBuildInput to miasm because it depends on setuptools for its
+		# installation
+		pyprojectOverrides = self: super: {
+			miasm = super.miasm.overrideAttrs (old: {
+				nativeBuildInputs = (old.nativeBuildInputs or []) ++ [ self.setuptools ];
+			});
+
+			z3-solver = super.z3-solver.overrideAttrs (old: {
+				nativeBuildInputs = (old.nativeBuildInputs or []) ++ [ self.setuptools self.cmake ];
+			});
+		};
+
+		pyprojectOverridesEditable = self: super: {
+			miasm = super.miasm.overrideAttrs (old: {
+				nativeBuildInputs = (old.nativeBuildInputs or []) ++ [ self.setuptools ];
+
+				src = pkgs.lib.fileset.toSource {
+					root = old.src;
+					fileset = pkgs.lib.fileset.unions [
+						(old.src + "/pyproject.toml")
+						(old.src + "/README.md")
+						(old.src + "/miasm/__init__.py")
+					];
+				};
+			});
+
+			z3-solver = super.z3-solver.overrideAttrs (old: {
+				nativeBuildInputs = (old.nativeBuildInputs or []) ++ [ self.setuptools self.cmake ];
+			});
+		};
+
+		# Build a set of Python packages
+		# The call to callPackage here uses the base package set from pyproject.nix
+		# We inherit the Python version to ensure that the packages have the same version
+		#
+		# The overrideScope here customizes the Python package set with an overlay defined by the
+		# composition of three overlay functions
+		pythonSet = (pkgs.callPackage pyproject-nix.build.packages { inherit python; }).
+					 overrideScope (pkgs.lib.composeManyExtensions [
+						 pyproject-build-systems.overlays.default
+						 overlay
+						 pyprojectOverrides 
+					 ]);
+
+		pythonSetEditable = pythonSet.overrideScope (
+			pkgs.lib.composeManyExtensions [
+				editableOverlay
+				pyprojectOverridesEditable
+			]
+		);
+
+		 # Create a Python venv with the default dependency group
+		 pythonEnv = pythonSet.mkVirtualEnv "miasm-env" workspace.deps.default;
+
+		 # Create a Python venv with the default dependency group
+		 pythonDevEnv = pythonSetEditable.mkVirtualEnv "miasm-env" workspace.deps.all;
+
+		 uvEnv = {
+			UV_NO_SYNC = "1";
+			UV_PYTHON = python.interpreter;
+			UV_PYTHON_DOWNLOADS = "never";
+		};
+
+		uvShellHook = ''
+			unset PYTHONPATH
+
+			export REPO_ROOT=$(git rev-parse --show-toplevel)
+		'';
+	in rec {
+		# Default package just builds Focaccia
+		packages = rec {
+			miasm = pythonEnv;
+
+			dev = pythonDevEnv.overrideAttrs (old: {
+				propagatedBuildInputs = (old.propagatedBuildInputs or []) ++ [ 
+					pkgs.uv
+				];
+			});
+
+			default = miasm;
+		};
+
+		devShells = {
+			default = pkgs.mkShell {
+				packages = [ packages.dev ];
+
+				env = uvEnv;
+				shellHook = uvShellHook;
+			};
+			
+			basic = pkgs.mkShell {
+				packages = [ pkgs.uv packages.miasm ];
+
+				env = uvEnv;
+				shellHook = uvShellHook;
+			};
+		};
+
+		# TODO
+		checks = {
+			miasm-tests = pkgs.stdenv.mkDerivation {
+				name = "miasm-tests";
+				src = ./.;
+
+				doCheck = true;
+				dontBuild = true;
+
+				nativeCheckInputs = [ packages.dev pythonDevEnv ];
+
+				checkPhase = ''
+					set -euo pipefail
+					export REPO_ROOT="$PWD"
+					${packages.dev}/bin/python -m 'pytest' -q tests
+					touch $out
+				'';
+
+				env = uvEnv;
+				shellHook = uvShellHook;
+			};
+		};
+	});
+}
+
diff --git a/pyproject.toml b/pyproject.toml
index 196a4fbc..26a85c33 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -1,16 +1,195 @@
 [project]
 name = "miasm"
-version = "0.1.4"
+version = "0.1.5"
+license = "GPL-2.0"
 requires-python = "==3.12.*"
-description = "Reverse engineering framework in Python"
+description = "Machine code manipulation library"
 readme = {file = "README.md", content-type = "text/markdown"}
+
+authors = [{ name = "Fabrice Desclaux", email = "serpilliere@droid-corp.org" },
+		   { name = "Theofilos Augoustis", email = "theofilos.augoustis@tum.de" },
+		   { name = "Christian Krinitsin", email = "christian.krinitsin@tum.de" }]
+
 dependencies = [
 	"future",
-	"pyparsing",
-	"setuptools",
+	"pyparsing>=2.4.1",
+]
+
+keywords = [
+	"reverse engineering",
+	"disassembler",
+	"emulator",
+	"symbolic execution",
+	"intermediate representation",
+	"assembler",
+]
+
+classifiers=[
+	"Programming Language :: Python :: 2",
+	"Programming Language :: Python :: 3",
+	"Programming Language :: Python :: 2.7",
+	"Programming Language :: Python :: 3.6",
+]
+
+[project.urls]
+Homepage = "http://miasm.re"
+
+[project.optional-dependencies]
+dev = [
+	"llvmlite",
+	"pycparser",
+	"z3-solver",
+	"parameterized"
 ]
 
 [build-system]
 requires = ["setuptools", "wheel"]
 build-backend = "setuptools.build_meta"
 
+[tool.setuptools.packages.find]
+where = ["."]
+include = ["miasm*"]
+
+[tool.setuptools.package-data]
+miasm = ["jitter/*.h", "jitter/arch/*.h", "runtime/*.h", "VERSION"]
+
+# setuptools >= 74.1
+[tool.setuptools]
+include-package-data = true
+
+[[tool.setuptools.ext-modules]]
+name = "miasm.jitter.VmMngr"
+optional = true
+sources = [
+  "miasm/jitter/vm_mngr.c",
+  "miasm/jitter/vm_mngr_py.c",
+  "miasm/jitter/bn.c",
+]
+
+[[tool.setuptools.ext-modules]]
+name = "miasm.jitter.arch.JitCore_x86"
+optional = true
+sources = [
+  "miasm/jitter/JitCore.c",
+  "miasm/jitter/vm_mngr.c",
+  "miasm/jitter/vm_mngr_py.c",
+  "miasm/jitter/op_semantics.c",
+  "miasm/jitter/bn.c",
+  "miasm/jitter/arch/JitCore_x86.c",
+]
+
+[[tool.setuptools.ext-modules]]
+name = "miasm.jitter.arch.JitCore_arm"
+optional = true
+sources = [
+  "miasm/jitter/JitCore.c",
+  "miasm/jitter/vm_mngr.c",
+  "miasm/jitter/vm_mngr_py.c",
+  "miasm/jitter/op_semantics.c",
+  "miasm/jitter/bn.c",
+  "miasm/jitter/arch/JitCore_arm.c",
+]
+
+[[tool.setuptools.ext-modules]]
+name = "miasm.jitter.arch.JitCore_aarch64"
+optional = true
+sources = [
+  "miasm/jitter/JitCore.c",
+  "miasm/jitter/vm_mngr.c",
+  "miasm/jitter/vm_mngr_py.c",
+  "miasm/jitter/op_semantics.c",
+  "miasm/jitter/bn.c",
+  "miasm/jitter/arch/JitCore_aarch64.c",
+]
+
+[[tool.setuptools.ext-modules]]
+name = "miasm.jitter.arch.JitCore_msp430"
+optional = true
+sources = [
+  "miasm/jitter/JitCore.c",
+  "miasm/jitter/vm_mngr.c",
+  "miasm/jitter/vm_mngr_py.c",
+  "miasm/jitter/op_semantics.c",
+  "miasm/jitter/bn.c",
+  "miasm/jitter/arch/JitCore_msp430.c",
+]
+
+[[tool.setuptools.ext-modules]]
+name = "miasm.jitter.arch.JitCore_mep"
+optional = true
+sources = [
+  "miasm/jitter/JitCore.c",
+  "miasm/jitter/vm_mngr.c",
+  "miasm/jitter/vm_mngr_py.c",
+  "miasm/jitter/op_semantics.c",
+  "miasm/jitter/bn.c",
+  "miasm/jitter/arch/JitCore_mep.c",
+]
+
+[[tool.setuptools.ext-modules]]
+name = "miasm.jitter.arch.JitCore_mips32"
+optional = true
+sources = [
+  "miasm/jitter/JitCore.c",
+  "miasm/jitter/vm_mngr.c",
+  "miasm/jitter/vm_mngr_py.c",
+  "miasm/jitter/op_semantics.c",
+  "miasm/jitter/bn.c",
+  "miasm/jitter/arch/JitCore_mips32.c",
+]
+
+[[tool.setuptools.ext-modules]]
+name = "miasm.jitter.arch.JitCore_ppc32"
+optional = true
+sources = [
+  "miasm/jitter/JitCore.c",
+  "miasm/jitter/vm_mngr.c",
+  "miasm/jitter/vm_mngr_py.c",
+  "miasm/jitter/op_semantics.c",
+  "miasm/jitter/bn.c",
+  "miasm/jitter/arch/JitCore_ppc32.c",
+]
+depends = [
+  "miasm/jitter/arch/JitCore_ppc32.h",
+  "miasm/jitter/arch/JitCore_ppc32_regs.h",
+  "miasm/jitter/bn.h",
+]
+
+[[tool.setuptools.ext-modules]]
+name = "miasm.jitter.arch.JitCore_m68k"
+optional = true
+sources = [
+  "miasm/jitter/JitCore.c",
+  "miasm/jitter/vm_mngr.c",
+  "miasm/jitter/vm_mngr_py.c",
+  "miasm/jitter/op_semantics.c",
+  "miasm/jitter/bn.c",
+  "miasm/jitter/arch/JitCore_m68k.c",
+]
+
+[[tool.setuptools.ext-modules]]
+name = "miasm.jitter.Jitllvm"
+optional = true
+sources = [
+  "miasm/jitter/Jitllvm.c",
+  "miasm/jitter/bn.c",
+  "miasm/runtime/udivmodti4.c",
+  "miasm/runtime/divti3.c",
+  "miasm/runtime/udivti3.c",
+]
+depends = [
+  "miasm/runtime/export.h",
+  "miasm/runtime/int_endianness.h",
+  "miasm/runtime/int_lib.h",
+  "miasm/runtime/int_types.h",
+  "miasm/runtime/int_util.h",
+]
+
+[[tool.setuptools.ext-modules]]
+name = "miasm.jitter.Jitgcc"
+optional = true
+sources = [
+  "miasm/jitter/Jitgcc.c",
+  "miasm/jitter/bn.c",
+]
+
diff --git a/setup.py b/setup.py
deleted file mode 100644
index 3cc7b5a5..00000000
--- a/setup.py
+++ /dev/null
@@ -1,436 +0,0 @@
-#! /usr/bin/env python2
-
-from __future__ import print_function
-# Reference: https://stackoverflow.com/a/13468644/1806760
-from setuptools import setup, Extension
-from distutils.util import get_platform
-from distutils.sysconfig import get_python_lib, get_config_vars
-from distutils.dist import DistributionMetadata
-from distutils.command.install_data import install_data
-import subprocess
-from tempfile import TemporaryFile
-import fnmatch
-import io
-import os
-import platform
-from shutil import copy2, copyfile, rmtree, which
-import sys
-import tempfile
-import atexit
-import re
-
-is_win = platform.system() == "Windows"
-is_mac = platform.system() == "Darwin"
-is_64bit = platform.architecture()[0] == "64bit"
-if is_win:
-    import winreg
-
-def set_extension_compile_args(extension):
-    rel_lib_path = extension.name.replace(".", "/")
-    abs_lib_path = os.path.join(get_python_lib(), rel_lib_path)
-    lib_name = abs_lib_path + ".so"
-    extension.extra_link_args = [ "-Wl,-install_name," + lib_name]
-
-class smart_install_data(install_data):
-    """Replacement for distutils.command.install_data to handle
-    configuration files location.
-    """
-    def run(self):
-        # install files to /etc when target was /usr(/local)/etc
-        self.data_files = [
-            (path, files) for path, files in self.data_files
-            if path  # skip README.md or any file with an empty path
-        ]
-        return install_data.run(self)
-
-def win_get_llvm_reg():
-    REG_PATH = "SOFTWARE\\LLVM\\LLVM"
-    try:
-      return winreg.OpenKey(winreg.HKEY_LOCAL_MACHINE, REG_PATH, 0, winreg.KEY_READ | winreg.KEY_WOW64_32KEY)
-    except FileNotFoundError:
-      pass
-    return winreg.OpenKey(winreg.HKEY_LOCAL_MACHINE, REG_PATH, 0, winreg.KEY_READ)
-
-def win_find_clang_path():
-    try:
-        with win_get_llvm_reg() as rkey:
-            return winreg.QueryValueEx(rkey, None)[0]
-    except FileNotFoundError:
-        # Visual Studio ships with an optional Clang distribution, try to detect it
-        clang_cl = which("clang-cl")
-        if clang_cl is None:
-            return None
-        return os.path.abspath(os.path.join(os.path.dirname(clang_cl), "..", ".."))
-
-def win_get_clang_version(clang_path):
-    try:
-        clang_cl = os.path.join(clang_path, "bin", "clang.exe")
-        stdout = subprocess.check_output("\"{}\" --version".format(clang_cl))
-        version = stdout.splitlines(False)[0].decode()
-        match = re.search(r"version (\d+\.\d+\.\d+)", version)
-        if match is None:
-            return None
-        version = list(map(lambda s: int(s), match.group(1).split(".")))
-        return version
-    except FileNotFoundError:
-        return None
-
-def win_use_clang():
-    # To force python to use clang we copy the binaries in a temporary directory that's added to the PATH.
-    # We could use the build directory created by distutils for this, but it seems non-trivial to gather
-    # (https://stackoverflow.com/questions/12896367/reliable-way-to-get-the-build-directory-from-within-setup-py).
-
-    clang_path = win_find_clang_path()
-    if clang_path is None:
-        return False
-    clang_version = win_get_clang_version(clang_path)
-    if clang_version is None:
-        return False
-    tmpdir = tempfile.mkdtemp(prefix="llvm")
-
-    copyfile(os.path.join(clang_path, "bin", "clang-cl.exe"), os.path.join(tmpdir, "cl.exe"))
-
-    # If you run the installation from a Visual Studio command prompt link.exe will already exist
-    # Fall back to LLVM's lld-link.exe which is compatible with link's command line
-    if True:#which("link") is None:
-        # LLVM >= 14.0.0 started supporting the /LTCG flag
-        # Earlier versions will error during the linking phase so bail out now
-        if clang_version[0] < 14:
-            return False
-        copyfile(os.path.join(clang_path, "bin", "lld-link.exe"), os.path.join(tmpdir, "link.exe"))
-
-    # Add the temporary directory at the front of the PATH and clean up on exit
-    os.environ["PATH"] = "%s;%s" % (tmpdir, os.environ["PATH"])
-    atexit.register(lambda dir_: rmtree(dir_), tmpdir)
-    print("Found Clang {}.{}.{}: {}".format(clang_version[0], clang_version[1], clang_version[2], clang_path))
-    return True
-
-build_extensions = True
-build_warnings = []
-win_force_clang = False
-if is_win:
-    if is_64bit or which("cl") is None:
-        # We do not change to clang if under 32 bits, because even with Clang we
-        # do not use uint128_t with the 32 bits ABI. Regardless we can try to
-        # find it when building in 32-bit mode if cl.exe was not found in the PATH.
-        win_force_clang = win_use_clang()
-        if is_64bit and not win_force_clang:
-            build_warnings.append("Could not find a suitable Clang/LLVM installation. You can download LLVM from https://releases.llvm.org")
-            build_warnings.append("Alternatively you can select the 'C++ Clang-cl build tools' in the Visual Studio Installer")
-            build_extensions = False
-    cl = which("cl")
-    link = which("link")
-    if cl is None or link is None:
-        build_warnings.append("Could not find cl.exe and/or link.exe in the PATH, try building miasm from a Visual Studio command prompt")
-        build_warnings.append("More information at: https://wiki.python.org/moin/WindowsCompilers")
-        build_extensions = False
-    else:
-        print("Found cl.exe: {}".format(cl))
-        print("Found link.exe: {}".format(link))
-
-def build_all():
-    packages=[
-        "miasm",
-        "miasm/arch",
-        "miasm/arch/x86",
-        "miasm/arch/arm",
-        "miasm/arch/aarch64",
-        "miasm/arch/msp430",
-        "miasm/arch/mep",
-        "miasm/arch/sh4",
-        "miasm/arch/mips32",
-        "miasm/arch/ppc",
-        "miasm/core",
-        "miasm/expression",
-        "miasm/ir",
-        "miasm/ir/translators",
-        "miasm/analysis",
-        "miasm/os_dep",
-        "miasm/os_dep/linux",
-        "miasm/loader",
-        "miasm/jitter",
-        "miasm/jitter/arch",
-        "miasm/jitter/loader",
-    ]
-    ext_modules_all = [
-        Extension(
-            "miasm.jitter.VmMngr",
-            [
-                "miasm/jitter/vm_mngr.c",
-                "miasm/jitter/vm_mngr_py.c",
-                "miasm/jitter/bn.c",
-            ]
-        ),
-        Extension(
-            "miasm.jitter.arch.JitCore_x86",
-            [
-                "miasm/jitter/JitCore.c",
-                "miasm/jitter/vm_mngr.c",
-                "miasm/jitter/vm_mngr_py.c",
-                "miasm/jitter/op_semantics.c",
-                "miasm/jitter/bn.c",
-                "miasm/jitter/arch/JitCore_x86.c"
-            ]
-        ),
-        Extension(
-            "miasm.jitter.arch.JitCore_arm",
-            [
-                "miasm/jitter/JitCore.c",
-                "miasm/jitter/vm_mngr.c",
-                "miasm/jitter/vm_mngr_py.c",
-                "miasm/jitter/op_semantics.c",
-                "miasm/jitter/bn.c",
-                "miasm/jitter/arch/JitCore_arm.c"
-            ]
-        ),
-        Extension(
-            "miasm.jitter.arch.JitCore_aarch64",
-            [
-                "miasm/jitter/JitCore.c",
-                "miasm/jitter/vm_mngr.c",
-                "miasm/jitter/vm_mngr_py.c",
-                "miasm/jitter/op_semantics.c",
-                "miasm/jitter/bn.c",
-                "miasm/jitter/arch/JitCore_aarch64.c"
-            ]
-        ),
-        Extension(
-            "miasm.jitter.arch.JitCore_msp430",
-            [
-                "miasm/jitter/JitCore.c",
-                "miasm/jitter/vm_mngr.c",
-                "miasm/jitter/vm_mngr_py.c",
-                "miasm/jitter/op_semantics.c",
-                "miasm/jitter/bn.c",
-                "miasm/jitter/arch/JitCore_msp430.c"
-            ]
-        ),
-        Extension(
-            "miasm.jitter.arch.JitCore_mep",
-            [
-                "miasm/jitter/JitCore.c",
-                "miasm/jitter/vm_mngr.c",
-                "miasm/jitter/vm_mngr_py.c",
-                "miasm/jitter/bn.c",
-                "miasm/jitter/arch/JitCore_mep.c"
-            ]
-        ),
-        Extension(
-            "miasm.jitter.arch.JitCore_mips32",
-            [
-                "miasm/jitter/JitCore.c",
-                "miasm/jitter/vm_mngr.c",
-                "miasm/jitter/vm_mngr_py.c",
-                "miasm/jitter/op_semantics.c",
-                "miasm/jitter/bn.c",
-                "miasm/jitter/arch/JitCore_mips32.c"
-            ]
-        ),
-        Extension(
-            "miasm.jitter.arch.JitCore_ppc32",
-            [
-                "miasm/jitter/JitCore.c",
-                "miasm/jitter/vm_mngr.c",
-                "miasm/jitter/vm_mngr_py.c",
-                "miasm/jitter/op_semantics.c",
-                "miasm/jitter/bn.c",
-                "miasm/jitter/arch/JitCore_ppc32.c"
-            ],
-            depends=[
-                "miasm/jitter/arch/JitCore_ppc32.h",
-                "miasm/jitter/arch/JitCore_ppc32_regs.h",
-                "miasm/jitter/bn.h",
-            ]
-        ),
-        Extension(
-            "miasm.jitter.arch.JitCore_m68k",
-            [
-                "miasm/jitter/JitCore.c",
-                "miasm/jitter/vm_mngr.c",
-                "miasm/jitter/vm_mngr_py.c",
-                "miasm/jitter/op_semantics.c",
-                "miasm/jitter/bn.c",
-                "miasm/jitter/arch/JitCore_m68k.c"
-            ]
-        ),
-        Extension(
-            "miasm.jitter.Jitllvm",
-            [
-                "miasm/jitter/Jitllvm.c",
-                "miasm/jitter/bn.c",
-                "miasm/runtime/udivmodti4.c",
-                "miasm/runtime/divti3.c",
-                "miasm/runtime/udivti3.c"
-            ],
-            depends=[
-                "miasm/runtime/export.h",
-                "miasm/runtime/int_endianness.h",
-                "miasm/runtime/int_lib.h",
-                "miasm/runtime/int_types.h",
-                "miasm/runtime/int_util.h",
-            ]
-        ),
-        Extension("miasm.jitter.Jitgcc",
-                  ["miasm/jitter/Jitgcc.c",
-                   "miasm/jitter/bn.c",
-                  ]),
-        ]
-
-    if is_win:
-        # Force setuptools to use whatever msvc version installed
-        # https://docs.python.org/3/distutils/apiref.html#module-distutils.msvccompiler
-        os.environ["MSSdk"] = "1"
-        os.environ["DISTUTILS_USE_SDK"] = "1"
-        extra_compile_args = ["-D_CRT_SECURE_NO_WARNINGS"]
-        if win_force_clang:
-            march = "-m64" if is_64bit else "-m32"
-            extra_compile_args += [
-                march,
-                "-Wno-unused-command-line-argument",
-                "-Wno-visibility",
-                "-Wno-dll-attribute-on-redeclaration",
-                "-Wno-tautological-compare",
-                "-Wno-unused-but-set-variable",
-            ]
-        for extension in ext_modules_all:
-            extension.extra_compile_args = extra_compile_args
-    elif is_mac:
-        for extension in ext_modules_all:
-            set_extension_compile_args(extension)
-        cfg_vars = get_config_vars()
-        cfg_vars["LDSHARED"] = cfg_vars["LDSHARED"].replace("-bundle", "-dynamiclib")
-
-    # Do not attempt to build the extensions when disabled
-    if not build_extensions:
-        ext_modules_all = []
-
-    print("building")
-    if not os.path.exists("build"):
-        os.mkdir("build")
-    build_ok = False
-    for name, ext_modules in [("all", ext_modules_all)]:
-        print("build with", repr(name))
-        try:
-            s = setup(
-                name = "miasm",
-                version = "0.1.5",
-                packages = packages,
-                data_files=[("", ["README.md"])],
-                package_data = {
-                    "miasm": [
-                        "jitter/*.h",
-                        "jitter/arch/*.h",
-                        "runtime/*.h",
-                        "VERSION"
-                    ]
-                },
-                install_requires=["future", "pyparsing>=2.4.1"],
-                cmdclass={"install_data": smart_install_data},
-                ext_modules = ext_modules,
-                # Metadata
-                author = "Fabrice Desclaux",
-                author_email = "serpilliere@droid-corp.org",
-                description = "Machine code manipulation library",
-                license = "GPLv2",
-                long_description=long_description,
-                long_description_content_type=long_description_content_type,
-                keywords = [
-                    "reverse engineering",
-                    "disassembler",
-                    "emulator",
-                    "symbolic execution",
-                    "intermediate representation",
-                    "assembler",
-                ],
-                classifiers=[
-                    "Programming Language :: Python :: 2",
-                    "Programming Language :: Python :: 3",
-                    "Programming Language :: Python :: 2.7",
-                    "Programming Language :: Python :: 3.6",
-                ],
-                url = "http://miasm.re",
-            )
-        except SystemExit as e:
-            print(repr(e))
-            continue
-        build_ok = True
-        break
-    if not build_ok:
-        if len(build_warnings) > 0:
-            print("ERROR: There was an issue setting up the build environment:")
-            for warning in build_warnings:
-                print("  " + warning)
-        raise ValueError("Unable to build Miasm!")
-    print("build", name)
-    # we copy libraries from build dir to current miasm directory
-    build_base = "build"
-    if "build" in s.command_options:
-        if "build_base" in s.command_options["build"]:
-            build_base = s.command_options["build"]["build_base"]
-
-    print(build_base)
-    if is_win and build_extensions:
-        libs = []
-        for root, _, files in os.walk(build_base):
-            for filename in files:
-                if not filename.endswith(".lib"):
-                    continue
-                f_path = os.path.join(root, filename)
-                libs.append(f_path)
-
-        lib_dirname = None
-        for dirname in os.listdir(build_base):
-            if not dirname.startswith("lib"):
-                continue
-            lib_dirname = dirname
-            break
-
-        jitters = []
-        for lib in libs:
-            filename = os.path.basename(lib)
-            dst = os.path.join(build_base, lib_dirname, "miasm", "jitter")
-            # Windows built libraries may have a name like VmMngr.cp38-win_amd64.lib
-            if not any([fnmatch.fnmatch(filename, pattern) for pattern in ["VmMngr.*lib", "Jitgcc.*lib", "Jitllvm.*lib"]]):
-                dst = os.path.join(dst, "arch")
-            dst = os.path.join(dst, filename)
-            if not os.path.isfile(dst):
-                print("Copying", lib, "to", dst)
-                copy2(lib, dst)
-
-    # Inform the user about the skipped build
-    if not build_extensions:
-        print("WARNING: miasm jit extensions were not compiled, details:")
-        for warning in build_warnings:
-            print("  " + warning)
-
-with io.open(os.path.join(os.path.abspath(os.path.dirname("__file__")),
-                       "README.md"), encoding="utf-8") as fdesc:
-    long_description = fdesc.read()
-long_description_content_type = "text/markdown"
-
-
-# Monkey patching (distutils does not handle Description-Content-Type
-# from long_description_content_type parameter in setup()).
-_write_pkg_file_orig = DistributionMetadata.write_pkg_file
-
-
-def _write_pkg_file(self, file):
-    with TemporaryFile(mode="w+", encoding="utf-8") as tmpfd:
-        _write_pkg_file_orig(self, tmpfd)
-        tmpfd.seek(0)
-        for line in tmpfd:
-            if line.startswith("Metadata-Version: "):
-                file.write("Metadata-Version: 2.1\n")
-            elif line.startswith("Description: "):
-                file.write("Description-Content-Type: %s; charset=UTF-8\n" %
-                           long_description_content_type)
-                file.write(line)
-            else:
-                file.write(line)
-
-
-DistributionMetadata.write_pkg_file = _write_pkg_file
-
-
-build_all()
-
diff --git a/uv.lock b/uv.lock
new file mode 100644
index 00000000..459a136d
--- /dev/null
+++ b/uv.lock
@@ -0,0 +1,94 @@
+version = 1
+revision = 2
+requires-python = "==3.12.*"
+
+[[package]]
+name = "future"
+version = "1.0.0"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/a7/b2/4140c69c6a66432916b26158687e821ba631a4c9273c474343badf84d3ba/future-1.0.0.tar.gz", hash = "sha256:bd2968309307861edae1458a4f8a4f3598c03be43b97521076aebf5d94c07b05", size = 1228490, upload-time = "2024-02-21T11:52:38.461Z" }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/da/71/ae30dadffc90b9006d77af76b393cb9dfbfc9629f339fc1574a1c52e6806/future-1.0.0-py3-none-any.whl", hash = "sha256:929292d34f5872e70396626ef385ec22355a1fae8ad29e1a734c3e43f9fbc216", size = 491326, upload-time = "2024-02-21T11:52:35.956Z" },
+]
+
+[[package]]
+name = "llvmlite"
+version = "0.45.1"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/99/8d/5baf1cef7f9c084fb35a8afbde88074f0d6a727bc63ef764fe0e7543ba40/llvmlite-0.45.1.tar.gz", hash = "sha256:09430bb9d0bb58fc45a45a57c7eae912850bedc095cd0810a57de109c69e1c32", size = 185600, upload-time = "2025-10-01T17:59:52.046Z" }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/e2/7c/82cbd5c656e8991bcc110c69d05913be2229302a92acb96109e166ae31fb/llvmlite-0.45.1-cp312-cp312-macosx_10_15_x86_64.whl", hash = "sha256:28e763aba92fe9c72296911e040231d486447c01d4f90027c8e893d89d49b20e", size = 43043524, upload-time = "2025-10-01T18:03:30.666Z" },
+    { url = "https://files.pythonhosted.org/packages/9d/bc/5314005bb2c7ee9f33102c6456c18cc81745d7055155d1218f1624463774/llvmlite-0.45.1-cp312-cp312-macosx_11_0_arm64.whl", hash = "sha256:1a53f4b74ee9fd30cb3d27d904dadece67a7575198bd80e687ee76474620735f", size = 37253123, upload-time = "2025-10-01T18:04:18.177Z" },
+    { url = "https://files.pythonhosted.org/packages/96/76/0f7154952f037cb320b83e1c952ec4a19d5d689cf7d27cb8a26887d7bbc1/llvmlite-0.45.1-cp312-cp312-manylinux2014_x86_64.manylinux_2_17_x86_64.whl", hash = "sha256:5b3796b1b1e1c14dcae34285d2f4ea488402fbd2c400ccf7137603ca3800864f", size = 56288211, upload-time = "2025-10-01T18:01:24.079Z" },
+    { url = "https://files.pythonhosted.org/packages/00/b1/0b581942be2683ceb6862d558979e87387e14ad65a1e4db0e7dd671fa315/llvmlite-0.45.1-cp312-cp312-manylinux_2_27_aarch64.manylinux_2_28_aarch64.whl", hash = "sha256:779e2f2ceefef0f4368548685f0b4adde34e5f4b457e90391f570a10b348d433", size = 55140958, upload-time = "2025-10-01T18:02:30.482Z" },
+    { url = "https://files.pythonhosted.org/packages/33/94/9ba4ebcf4d541a325fd8098ddc073b663af75cc8b065b6059848f7d4dce7/llvmlite-0.45.1-cp312-cp312-win_amd64.whl", hash = "sha256:9e6c9949baf25d9aa9cd7cf0f6d011b9ca660dd17f5ba2b23bdbdb77cc86b116", size = 38132231, upload-time = "2025-10-01T18:05:03.664Z" },
+]
+
+[[package]]
+name = "miasm"
+version = "0.1.5"
+source = { editable = "." }
+dependencies = [
+    { name = "future" },
+    { name = "pyparsing" },
+]
+
+[package.optional-dependencies]
+dev = [
+    { name = "llvmlite" },
+    { name = "parameterized" },
+    { name = "pycparser" },
+    { name = "z3-solver" },
+]
+
+[package.metadata]
+requires-dist = [
+    { name = "future" },
+    { name = "llvmlite", marker = "extra == 'dev'" },
+    { name = "parameterized", marker = "extra == 'dev'" },
+    { name = "pycparser", marker = "extra == 'dev'" },
+    { name = "pyparsing", specifier = ">=2.4.1" },
+    { name = "z3-solver", marker = "extra == 'dev'" },
+]
+provides-extras = ["dev"]
+
+[[package]]
+name = "parameterized"
+version = "0.9.0"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/ea/49/00c0c0cc24ff4266025a53e41336b79adaa5a4ebfad214f433d623f9865e/parameterized-0.9.0.tar.gz", hash = "sha256:7fc905272cefa4f364c1a3429cbbe9c0f98b793988efb5bf90aac80f08db09b1", size = 24351, upload-time = "2023-03-27T02:01:11.592Z" }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/00/2f/804f58f0b856ab3bf21617cccf5b39206e6c4c94c2cd227bde125ea6105f/parameterized-0.9.0-py2.py3-none-any.whl", hash = "sha256:4e0758e3d41bea3bbd05ec14fc2c24736723f243b28d702081aef438c9372b1b", size = 20475, upload-time = "2023-03-27T02:01:09.31Z" },
+]
+
+[[package]]
+name = "pycparser"
+version = "2.23"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/fe/cf/d2d3b9f5699fb1e4615c8e32ff220203e43b248e1dfcc6736ad9057731ca/pycparser-2.23.tar.gz", hash = "sha256:78816d4f24add8f10a06d6f05b4d424ad9e96cfebf68a4ddc99c65c0720d00c2", size = 173734, upload-time = "2025-09-09T13:23:47.91Z" }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/a0/e3/59cd50310fc9b59512193629e1984c1f95e5c8ae6e5d8c69532ccc65a7fe/pycparser-2.23-py3-none-any.whl", hash = "sha256:e5c6e8d3fbad53479cab09ac03729e0a9faf2bee3db8208a550daf5af81a5934", size = 118140, upload-time = "2025-09-09T13:23:46.651Z" },
+]
+
+[[package]]
+name = "pyparsing"
+version = "3.2.5"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/f2/a5/181488fc2b9d093e3972d2a472855aae8a03f000592dbfce716a512b3359/pyparsing-3.2.5.tar.gz", hash = "sha256:2df8d5b7b2802ef88e8d016a2eb9c7aeaa923529cd251ed0fe4608275d4105b6", size = 1099274, upload-time = "2025-09-21T04:11:06.277Z" }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/10/5e/1aa9a93198c6b64513c9d7752de7422c06402de6600a8767da1524f9570b/pyparsing-3.2.5-py3-none-any.whl", hash = "sha256:e38a4f02064cf41fe6593d328d0512495ad1f3d8a91c4f73fc401b3079a59a5e", size = 113890, upload-time = "2025-09-21T04:11:04.117Z" },
+]
+
+[[package]]
+name = "z3-solver"
+version = "4.15.3.0"
+source = { registry = "https://pypi.org/simple" }
+sdist = { url = "https://files.pythonhosted.org/packages/a3/60/9a924ee28cd1d12f2482834581d9024bf05110aa1098c056e847f05f7f76/z3_solver-4.15.3.0.tar.gz", hash = "sha256:78f69aebda5519bfd8af146a129f36cf4721a3c2667e80d9fe35cc9bb4d214a6", size = 4985945, upload-time = "2025-08-16T02:27:37.706Z" }
+wheels = [
+    { url = "https://files.pythonhosted.org/packages/63/45/dd8e9d7500faa05eafa589cc8f0f0b982ce575d51b455d62dab8e19dd571/z3_solver-4.15.3.0-py3-none-macosx_13_0_arm64.whl", hash = "sha256:65335aab295ded7c0ce27c85556067087a87052389ff160777d1a1d48ef0d74f", size = 36882388, upload-time = "2025-08-16T02:27:18.721Z" },
+    { url = "https://files.pythonhosted.org/packages/54/9e/a11186061d9fead8be43bad7c75055585694124b2ccdd896ef249fe5824f/z3_solver-4.15.3.0-py3-none-macosx_13_0_x86_64.whl", hash = "sha256:3e62e93adff2def3537ff1ca67c3d58a6ca6d1944e0b5e774f88627b199d50e7", size = 39637842, upload-time = "2025-08-16T02:27:22.177Z" },
+    { url = "https://files.pythonhosted.org/packages/b9/0b/f15168475e5493ea44fa3c5e642903f05d2b870db71ad05662ed87a06976/z3_solver-4.15.3.0-py3-none-manylinux_2_17_x86_64.manylinux2014_x86_64.whl", hash = "sha256:a9afd9ceb290482097474d43f08415bcc1874f433189d1449f6c1508e9c68384", size = 29056003, upload-time = "2025-08-16T02:27:27.951Z" },
+    { url = "https://files.pythonhosted.org/packages/a7/04/32a97b1f04175ec56213168ee3659709e876e3feacacb891ed3c26c1a82c/z3_solver-4.15.3.0-py3-none-manylinux_2_34_aarch64.whl", hash = "sha256:f61ef44552489077eedd7e6d9bed52ef1875decf86d66027742099a2703b1c77", size = 27074143, upload-time = "2025-08-16T02:27:30.755Z" },
+    { url = "https://files.pythonhosted.org/packages/75/77/da54076a584557ea34f20800c68f725fe61f1dd987493fcb410b4a26f99f/z3_solver-4.15.3.0-py3-none-win32.whl", hash = "sha256:0c603f6bad7423d6411adda6af55030b725e3d30f54ea91b714abcedd73b848a", size = 13123666, upload-time = "2025-08-16T02:27:33.309Z" },
+    { url = "https://files.pythonhosted.org/packages/c1/59/abc1bad8b25e9c576484ba65ca5ed225c8ed24d601ec242712f1c370b693/z3_solver-4.15.3.0-py3-none-win_amd64.whl", hash = "sha256:06abdf6c36f97c463aea827533504fd59476d015a65cf170a88bd6a53ba13ab5", size = 16203065, upload-time = "2025-08-16T02:27:35.763Z" },
+]