Merge pull request #299858 from fabaff/claripy-fix

python311Packages.angr: 9.2.84 -> 9.2.96
This commit is contained in:
Fabian Affolter 2024-03-29 10:03:20 +01:00 committed by GitHub
commit b686e1680a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
11 changed files with 101 additions and 67 deletions

View File

@ -8,23 +8,23 @@
buildPythonPackage rec {
pname = "ailment";
version = "9.2.84";
version = "9.2.96";
pyproject = true;
disabled = pythonOlder "3.11";
src = fetchFromGitHub {
owner = "angr";
repo = pname;
repo = "ailment";
rev = "refs/tags/v${version}";
hash = "sha256-I4lZrp4coJOBB8gREmeQsCiNhMC0MqhYxd5BmYXq9BA=";
hash = "sha256-xc9/J360ftynKT5HYNcjR/0WX04DUDmszaAHb8h3Iao=";
};
nativeBuildInputs = [
build-system = [
setuptools
];
propagatedBuildInputs = [
dependencies = [
pyvex
];

View File

@ -20,19 +20,23 @@
, protobuf
, psutil
, pycparser
, pyformlang
, pythonOlder
, pythonRelaxDepsHook
, pyvex
, rich
, rpyc
, setuptools
, sortedcontainers
, sqlalchemy
, sympy
, unicorn
, unique-log-filter
}:
buildPythonPackage rec {
pname = "angr";
version = "9.2.84";
version = "9.2.96";
pyproject = true;
disabled = pythonOlder "3.11";
@ -41,10 +45,19 @@ buildPythonPackage rec {
owner = "angr";
repo = "angr";
rev = "refs/tags/v${version}";
hash = "sha256-qav9SUvQtcEad9lvgyrMhOcFhPAhzU/9s7ekTfohqRc=";
hash = "sha256-eyXjmU/K8zv5nxrt+oKkyxS00tHOYrkbTc2X9esTSSA=";
};
propagatedBuildInputs = [
pythonRelaxDeps = [
"capstone"
];
build-system = [
pythonRelaxDepsHook
setuptools
];
dependencies = [
ailment
archinfo
cachetools
@ -63,6 +76,7 @@ buildPythonPackage rec {
protobuf
psutil
pycparser
pyformlang
pyvex
rich
rpyc
@ -70,6 +84,7 @@ buildPythonPackage rec {
sqlalchemy
sympy
unicorn
unique-log-filter
];
setupPyBuildFlags = lib.optionals stdenv.isLinux [

View File

@ -1,5 +1,4 @@
{ stdenv
, lib
{ lib
, angr
, buildPythonPackage
, cmd2
@ -8,28 +7,34 @@
, pygments
, pytestCheckHook
, pythonOlder
, setuptools
, stdenv
}:
buildPythonPackage rec {
pname = "angrcli";
version = "1.2.0";
format = "setuptools";
pyproject = true;
disabled = pythonOlder "3.6";
src = fetchFromGitHub {
owner = "fmagin";
repo = "angr-cli";
rev = "v${version}";
rev = "refs/tags/v${version}";
hash = "sha256-a5ajUBQwt3xUNkeSOeGOAFf47wd4UVk+LcuAHGqbq4s=";
};
postPatch = ''
substituteInPlace tests/test_derefs.py \
--replace "/bin/ls" "${coreutils}/bin/ls"
--replace-fail "/bin/ls" "${coreutils}/bin/ls"
'';
propagatedBuildInputs = [
build-system = [
setuptools
];
dependencies = [
angr
cmd2
pygments

View File

@ -11,22 +11,22 @@
buildPythonPackage rec {
pname = "angrop";
version = "9.2.8";
format = "pyproject";
pyproject = true;
disabled = pythonOlder "3.6";
src = fetchFromGitHub {
owner = "angr";
repo = pname;
repo = "angrop";
rev = "refs/tags/v${version}";
hash = "sha256-zmWdGbFzwLDP7MUqEprZcIgA7lAdCrafWYohAehJyh0=";
};
nativeBuildInputs = [
build-system = [
setuptools
];
propagatedBuildInputs = [
dependencies = [
angr
progressbar
tqdm

View File

@ -9,23 +9,23 @@
buildPythonPackage rec {
pname = "archinfo";
version = "9.2.84";
version = "9.2.96";
pyproject = true;
disabled = pythonOlder "3.8";
src = fetchFromGitHub {
owner = "angr";
repo = pname;
repo = "archinfo";
rev = "refs/tags/v${version}";
hash = "sha256-drZuQRQ2XukCimH/SG6CRCL4avyMEcKxuj+Rinp7lJQ=";
hash = "sha256-g/fxj/6dMVLoW4hFtVDEjHjdJiB3KE2XB3c0ihclqeM=";
};
nativeBuildInputs = [
build-system = [
setuptools
];
propagatedBuildInputs = lib.optionals (pythonOlder "3.11") [
dependencies = lib.optionals (pythonOlder "3.11") [
backports-strenum
];

View File

@ -1,19 +1,19 @@
{ lib
, buildPythonPackage
, setuptools
, cachetools
, decorator
, fetchFromGitHub
, future
, pysmt
, pythonOlder
, pytestCheckHook
, pythonOlder
, pythonRelaxDepsHook
, setuptools
, z3-solver
}:
buildPythonPackage rec {
pname = "claripy";
version = "9.2.84";
version = "9.2.96";
pyproject = true;
disabled = pythonOlder "3.11";
@ -22,20 +22,25 @@ buildPythonPackage rec {
owner = "angr";
repo = "claripy";
rev = "refs/tags/v${version}";
hash = "sha256-wgCWMngda0gB+AEDFpRxQ2ots5YXE4bkBSxMtYJqLEo=";
hash = "sha256-rXJzJCyhsScFW1L/mVARciGDlOOBCFT69VBivjV6oig=";
};
nativeBuildInputs = [
# z3 does not provide a dist-info, so python-runtime-deps-check will fail
pythonRemoveDeps = [
"z3-solver"
];
build-system = [
pythonRelaxDepsHook
setuptools
];
propagatedBuildInputs = [
dependencies = [
cachetools
decorator
future
pysmt
z3-solver
];
] ++ z3-solver.requiredPythonModules;
nativeCheckInputs = [
pytestCheckHook

View File

@ -1,4 +1,5 @@
{ lib
, archinfo
, buildPythonPackage
, cffi
, fetchFromGitHub
@ -16,14 +17,14 @@
let
# The binaries are following the argr projects release cycle
version = "9.2.84";
version = "9.2.96";
# Binary files from https://github.com/angr/binaries (only used for testing and only here)
binaries = fetchFromGitHub {
owner = "angr";
repo = "binaries";
rev = "refs/tags/v${version}";
hash = "sha256-sU9Rv2kTLYMpaalrkcOv6HlHt1u4oG482M+d7OSjJ3Y=";
hash = "sha256-eC9qQCrms4pSXYTrKJlfdejhl/kzUmmyfYhjlEPpgzA=";
};
in
@ -38,14 +39,15 @@ buildPythonPackage rec {
owner = "angr";
repo = "cle";
rev = "refs/tags/v${version}";
hash = "sha256-N0z5wgaeWkoPuhIUj7bj1kDKgZ7pWChm1uEU4MjXjqI=";
hash = "sha256-osClaoAzjf3mOng38disxxSFncbc/V7Uuc1HCTdX4SQ=";
};
nativeBuildInputs = [
build-system = [
setuptools
];
propagatedBuildInputs = [
dependencies = [
archinfo
cffi
minidump
pefile

View File

@ -2,41 +2,49 @@
, buildPythonPackage
, fetchFromGitHub
, future
, pytestCheckHook
, pythonOlder
, setuptools
}:
buildPythonPackage rec {
pname = "nampa";
version = "1.0";
format = "setuptools";
pyproject = true;
disabled = pythonOlder "3.8";
src = fetchFromGitHub {
owner = "thebabush";
repo = pname;
rev = version;
sha256 = "14b6xjm497wrfw4kv24zhsvz2l6zknvx36w8i754hfwz3s3fsl6a";
repo = "nampa";
rev = "refs/tags/${version}";
hash = "sha256-ylDthh6fO0jKiYib0bed31Dxt4afiD0Jd5mfRKrsZpE=";
};
propagatedBuildInputs = [
future
];
nativeCheckInputs = [
pytestCheckHook
];
postPatch = ''
# https://github.com/thebabush/nampa/pull/13
substituteInPlace setup.py \
--replace "0.1.1" "${version}"
'';
pythonImportsCheck = [ "nampa" ];
build-system = [
setuptools
];
dependencies = [
future
];
# Not used for binaryninja as plugin
doCheck = false;
pythonImportsCheck = [
"nampa"
];
meta = with lib; {
description = "Python implementation of the FLIRT technology";
mainProgram = "dumpsig.py";
homepage = "https://github.com/thebabush/nampa";
changelog = "https://github.com/thebabush/nampa/releases/tag/${version}";
license = licenses.lgpl3Only;
maintainers = with maintainers; [ fab ];
};

View File

@ -1,12 +1,13 @@
{ lib
, buildPythonPackage
, fetchPypi
, setuptools
, wheel
, networkx
, numpy
, pydot
, pytestCheckHook
, pythonOlder
, setuptools
, wheel
}:
buildPythonPackage rec {
@ -14,17 +15,19 @@ buildPythonPackage rec {
version = "1.0.9";
pyproject = true;
disabled = pythonOlder "3.7";
src = fetchPypi {
inherit pname version;
hash = "sha256-oCwYM4yQ1KYZpC7vVpeHSIDH2Q930JAuTDq9mds9zoc=";
};
nativeBuildInputs = [
build-system = [
setuptools
wheel
];
propagatedBuildInputs = [
dependencies = [
networkx
numpy
pydot
@ -39,7 +42,7 @@ buildPythonPackage rec {
];
meta = with lib; {
description = "A python framework for formal grammars";
description = "Framework for formal grammars";
homepage = "https://github.com/Aunsiels/pyformlang";
license = licenses.mit;
maintainers = with maintainers; [ natsukium ];

View File

@ -1,11 +1,9 @@
{ lib
, stdenv
, archinfo
, bitstring
, buildPythonPackage
, cffi
, fetchPypi
, future
, pycparser
, pythonOlder
, setuptools
@ -13,31 +11,29 @@
buildPythonPackage rec {
pname = "pyvex";
version = "9.2.93";
version = "9.2.96";
pyproject = true;
disabled = pythonOlder "3.11";
src = fetchPypi {
inherit pname version;
hash = "sha256-44F1EE8TRsmYRnMNQakxIaFdAuZKpHIDsq+M1cK/pQk=";
hash = "sha256-60aOAm7eUlYHTCqIILz4l0oF1jvttDZUs4jSrF5+IJI=";
};
nativeBuildInputs = [
build-system = [
setuptools
];
propagatedBuildInputs = [
archinfo
dependencies = [
bitstring
cffi
future
pycparser
];
postPatch = lib.optionalString stdenv.isDarwin ''
substituteInPlace vex/Makefile-gcc \
--replace '/usr/bin/ar' 'ar'
--replace-fail '/usr/bin/ar' 'ar'
'';
setupPyBuildFlags = lib.optionals stdenv.isLinux [

View File

@ -20,7 +20,7 @@ buildPythonPackage rec {
hash = "sha256-av1pVPDsO2dto5fhBK74jKfVsVY2ChyUE5NNja2B1Qw=";
};
nativeBuildInputs = [
build-system = [
flit-core
];