Unverified Commit 47b9e6e5 authored by Fabian Affolter's avatar Fabian Affolter Committed by GitHub
Browse files

Merge pull request #302936 from fabaff/angr-bump 

python311Packages.angr: 9.2.97 -> 9.2.98
parents ce29021e d037ae23

pkgs/development/python-modules/ailment/default.nix

+12 −17
Original line number Diff line number Diff line 
{ lib

, buildPythonPackage

, fetchFromGitHub

, pythonOlder

, pyvex

, setuptools

{

  lib,

  buildPythonPackage,

  fetchFromGitHub,

  pythonOlder,

  pyvex,

  setuptools,

}:



buildPythonPackage rec {

  pname = "ailment";

  version = "9.2.97";

  version = "9.2.98";

  pyproject = true;



  disabled = pythonOlder "3.11";
@@ -17,23 +18,17 @@ buildPythonPackage rec { 
    owner = "angr";

    repo = "ailment";

    rev = "refs/tags/v${version}";

    hash = "sha256-R6OBc7qK4zP0t8m26V17he8Oy39eSK8/Dm84ScnBy3s=";

    hash = "sha256-ue780bhPpxv7Bnx9PX+HdQt3gcDSvTvK0FLPMopXQRY=";

  };



  build-system = [

    setuptools

  ];

  build-system = [ setuptools ];



  dependencies = [

    pyvex

  ];

  dependencies = [ pyvex ];



  # Tests depend on angr (possibly a circular dependency)

  doCheck = false;



  pythonImportsCheck = [

    "ailment"

  ];

  pythonImportsCheck = [ "ailment" ];



  meta = with lib; {

    description = "The angr Intermediate Language";

pkgs/development/python-modules/angr/default.nix

+39 −42
Original line number Diff line number Diff line 
{ lib

, stdenv

, ailment

, archinfo

, buildPythonPackage

, cachetools

, capstone

, cffi

, claripy

, cle

, cppheaderparser

, dpkt

, fetchFromGitHub

, gitpython

, itanium-demangler

, mulpyplexer

, nampa

, networkx

, progressbar2

, protobuf

, psutil

, pycparser

, pyformlang

, pythonOlder

, pythonRelaxDepsHook

, pyvex

, rich

, rpyc

, setuptools

, sortedcontainers

, sqlalchemy

, sympy

, unicorn

, unique-log-filter

{

  lib,

  stdenv,

  ailment,

  archinfo,

  buildPythonPackage,

  cachetools,

  capstone,

  cffi,

  claripy,

  cle,

  cppheaderparser,

  dpkt,

  fetchFromGitHub,

  gitpython,

  itanium-demangler,

  mulpyplexer,

  nampa,

  networkx,

  progressbar2,

  protobuf,

  psutil,

  pycparser,

  pyformlang,

  pythonOlder,

  pythonRelaxDepsHook,

  pyvex,

  rich,

  rpyc,

  setuptools,

  sortedcontainers,

  sqlalchemy,

  sympy,

  unicorn,

  unique-log-filter,

}:



buildPythonPackage rec {

  pname = "angr";

  version = "9.2.97";

  version = "9.2.98";

  pyproject = true;



  disabled = pythonOlder "3.11";
@@ -45,12 +46,10 @@ buildPythonPackage rec { 
    owner = "angr";

    repo = "angr";

    rev = "refs/tags/v${version}";

    hash = "sha256-eJkxflAQFI/sEL4JMlMe+kClnaVSxtoOrPg8HQpH78g=";

    hash = "sha256-9NLQtwakM041yNY/mb9WbSGC1Q8AHHkiqqjf5bZUOlI=";

  };



  pythonRelaxDeps = [

    "capstone"

  ];

  pythonRelaxDeps = [ "capstone" ];



  build-system = [

    pythonRelaxDepsHook
@@ -88,9 +87,7 @@ buildPythonPackage rec { 
  ];



  passthru.optional-dependencies = {

    AngrDB = [

      sqlalchemy

    ];

    AngrDB = [ sqlalchemy ];

  };



  setupPyBuildFlags = lib.optionals stdenv.isLinux [

pkgs/development/python-modules/angrop/default.nix

+11 −14
Original line number Diff line number Diff line 
{ lib

, angr

, buildPythonPackage

, fetchFromGitHub

, progressbar

, pythonOlder

, setuptools

, tqdm

{

  lib,

  angr,

  buildPythonPackage,

  fetchFromGitHub,

  progressbar,

  pythonOlder,

  setuptools,

  tqdm,

}:



buildPythonPackage rec {
@@ -22,9 +23,7 @@ buildPythonPackage rec { 
    hash = "sha256-T07Y23UDp9eL2DK5gakV8kPNGsXf+4EofZJDSW/JS1Q=";

  };



  build-system = [

    setuptools

  ];

  build-system = [ setuptools ];



  dependencies = [

    angr
@@ -36,9 +35,7 @@ buildPythonPackage rec { 
  # cle is executing the tests with the angr binaries already and is a requirement of angr

  doCheck = false;



  pythonImportsCheck = [

    "angrop"

  ];

  pythonImportsCheck = [ "angrop" ];



  meta = with lib; {

    description = "ROP gadget finder and chain builder";

pkgs/development/python-modules/archinfo/default.nix

+14 −21
Original line number Diff line number Diff line 
{ lib

, backports-strenum

, buildPythonPackage

, fetchFromGitHub

, pytestCheckHook

, pythonOlder

, setuptools

{

  lib,

  backports-strenum,

  buildPythonPackage,

  fetchFromGitHub,

  pytestCheckHook,

  pythonOlder,

  setuptools,

}:



buildPythonPackage rec {

  pname = "archinfo";

  version = "9.2.97";

  version = "9.2.98";

  pyproject = true;



  disabled = pythonOlder "3.8";
@@ -18,24 +19,16 @@ buildPythonPackage rec { 
    owner = "angr";

    repo = "archinfo";

    rev = "refs/tags/v${version}";

    hash = "sha256-X8rMTQvNolYjSPyXbP2i5MYTPEvQlwoUQmXeEW56wQs=";

    hash = "sha256-EdVGm4453XxGrq2D1v5JzSZyroRNzluZ5/r74YAt5zU=";

  };



  build-system = [

    setuptools

  ];

  build-system = [ setuptools ];



  dependencies = lib.optionals (pythonOlder "3.11") [

    backports-strenum

  ];

  dependencies = lib.optionals (pythonOlder "3.11") [ backports-strenum ];



  nativeCheckInputs = [

    pytestCheckHook

  ];

  nativeCheckInputs = [ pytestCheckHook ];



  pythonImportsCheck = [

    "archinfo"

  ];

  pythonImportsCheck = [ "archinfo" ];



  meta = with lib; {

    description = "Classes with architecture-specific information";

pkgs/development/python-modules/claripy/default.nix

+17 −22
Original line number Diff line number Diff line 
{ lib

, buildPythonPackage

, cachetools

, decorator

, fetchFromGitHub

, pysmt

, pytestCheckHook

, pythonOlder

, pythonRelaxDepsHook

, setuptools

, z3-solver

{

  lib,

  buildPythonPackage,

  cachetools,

  decorator,

  fetchFromGitHub,

  pysmt,

  pytestCheckHook,

  pythonOlder,

  pythonRelaxDepsHook,

  setuptools,

  z3-solver,

}:



buildPythonPackage rec {

  pname = "claripy";

  version = "9.2.97";

  version = "9.2.98";

  pyproject = true;



  disabled = pythonOlder "3.11";
@@ -22,13 +23,11 @@ buildPythonPackage rec { 
    owner = "angr";

    repo = "claripy";

    rev = "refs/tags/v${version}";

    hash = "sha256-ZSDG1KmVi0kZX4WmrYIyd5+zRR/rjrugm8UjFlI5pfU=";

    hash = "sha256-qGkVGRDVX8YMWgvRAqKM9Pxjv9uqu4UNSDtvhzVVeSU=";

  };



  # z3 does not provide a dist-info, so python-runtime-deps-check will fail

  pythonRemoveDeps = [

    "z3-solver"

  ];

  pythonRemoveDeps = [ "z3-solver" ];



  build-system = [

    pythonRelaxDepsHook
@@ -42,13 +41,9 @@ buildPythonPackage rec { 
    z3-solver

  ] ++ z3-solver.requiredPythonModules;



  nativeCheckInputs = [

    pytestCheckHook

  ];

  nativeCheckInputs = [ pytestCheckHook ];



  pythonImportsCheck = [

    "claripy"

  ];

  pythonImportsCheck = [ "claripy" ];



  meta = with lib; {

    description = "Python abstraction layer for constraint solvers";