tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ lib
2, buildPythonPackage
3, capstone
4, crytic-compile
5, fetchFromGitHub
6, intervaltree
7, ply
8, prettytable
9, protobuf
10, pyelftools
11, pyevmasm
12, pysha3
13, pytestCheckHook
14, pythonOlder
15, pyyaml
16, rlp
17, stdenv
18, unicorn
19, wasm
20, yices
21, z3
22}:
23
24buildPythonPackage rec {
25 pname = "manticore";
26 version = "0.3.7";
27 format = "setuptools";
28
29 disabled = pythonOlder "3.7";
30
31 src = fetchFromGitHub {
32 owner = "trailofbits";
33 repo = "manticore";
34 rev = version;
35 sha256 = "sha256-+17VBfAtkZZIi3SF5Num1Uqg3WjIpgbz3Jx65rD5zkM=";
36 };
37
38 propagatedBuildInputs = [
39 crytic-compile
40 intervaltree
41 ply
42 prettytable
43 protobuf
44 pyevmasm
45 pysha3
46 pyyaml
47 rlp
48 wasm
49 ] ++ lib.optionals (stdenv.isLinux) [
50 capstone
51 pyelftools
52 unicorn
53 ];
54
55 # Python API is not used in the code, only z3 from PATH
56 postPatch = ''
57 sed -ie s/z3-solver// setup.py
58 '';
59
60 checkInputs = [
61 pytestCheckHook
62 ];
63
64 preCheck = ''
65 export PATH=${yices}/bin:${z3}/bin:$PATH
66 '';
67
68 disabledTestPaths = [
69 "tests/ethereum" # Enable when solc works again
70 "tests/ethereum_bench"
71 ] ++ lib.optionals (!stdenv.isLinux) [
72 "tests/native"
73 "tests/other/test_locking.py"
74 "tests/other/test_state_introspection.py"
75 ];
76
77 disabledTests = [
78 # Failing tests
79 "test_chmod"
80 "test_timeout"
81 "test_wasm_main"
82 # Slow tests
83 "testmprotectFailSymbReading"
84 "test_ConstraintsForking"
85 "test_resume"
86 "test_symbolic"
87 "test_symbolic_syscall_arg"
88 "test_state_merging"
89 "test_decree"
90 "test_register_comparison"
91 "test_arguments_assertions_armv7"
92 "test_integration_basic_stdout"
93 "test_fclose_linux_amd64"
94 "test_fileio_linux_amd64"
95 "test_arguments_assertions_amd64"
96 "test_ioctl_bogus"
97 "test_ioctl_socket"
98 "test_brk_regression"
99 "test_basic_arm"
100 "test_logger_verbosity"
101 "test_profiling_data"
102 "test_integration_basic_stdin"
103 "test_getchar"
104 "test_ccmp_reg"
105 "test_ld1_mlt_structs"
106 "test_ccmp_imm"
107 "test_try_to_allocate_greater_than_last_space_memory_page_12"
108 "test_not_enough_memory_page_12"
109 "test_PCMPISTRI_30_symbolic"
110 "test_ld1_mlt_structs"
111 "test_time"
112 "test_implicit_call"
113 "test_trace"
114 "test_plugin"
115 # Tests are failing with latest unicorn
116 "Aarch64UnicornInstructions"
117 "test_integration_resume"
118 ];
119
120 pythonImportsCheck = [
121 "manticore"
122 ];
123
124 meta = with lib; {
125 # m.c.manticore:WARNING: Manticore is only supported on Linux. Proceed at your own risk!
126 broken = (stdenv.isLinux && stdenv.isAarch64) || stdenv.isDarwin;
127 description = "Symbolic execution tool for analysis of smart contracts and binaries";
128 homepage = "https://github.com/trailofbits/manticore";
129 changelog = "https://github.com/trailofbits/manticore/releases/tag/${version}";
130 license = licenses.agpl3Only;
131 platforms = platforms.unix;
132 maintainers = with maintainers; [ arturcygan ];
133 };
134}