Wheelodex » Projects » manticore

manticore

View on PyPI — Reverse Dependencies (0)

0.3.7 manticore-0.3.7-py3-none-any.whl

Wheel Details

Project: manticore
Version: 0.3.7
Filename: manticore-0.3.7-py3-none-any.whl
Download: [link]
Size: 420949
MD5: a3deca0fa817ebd1f859ac8d43ba471e
SHA256: 4b9beb41a9c42f9ec1ebed75e918f17367ca78c84bc9efc5a9e00deb0962264b
Uploaded: 2022-02-17 20:43:32 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: manticore
Version: 0.3.7
Summary: Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
Author: Trail of Bits
Home-Page: https://github.com/trailofbits/manticore
Classifier: License :: OSI Approved :: GNU Affero General Public License v3
Requires-Python: >=3.7
Requires-Dist: pyyaml
Requires-Dist: protobuf
Requires-Dist: pysha3
Requires-Dist: prettytable
Requires-Dist: ply
Requires-Dist: rlp
Requires-Dist: intervaltree
Requires-Dist: crytic-compile (==0.2.2)
Requires-Dist: wasm
Requires-Dist: pyevmasm (>=0.2.3)
Requires-Dist: z3-solver
Requires-Dist: dataclasses; python_version < "3.7"
Requires-Dist: capstone (==4.0.2); extra == "dev"
Requires-Dist: pyelftools; extra == "dev"
Requires-Dist: unicorn (==1.0.2); extra == "dev"
Requires-Dist: coverage; extra == "dev"
Requires-Dist: Sphinx; extra == "dev"
Requires-Dist: pytest (==5.3.0); extra == "dev"
Requires-Dist: pytest-xdist (==1.30.0); extra == "dev"
Requires-Dist: pytest-cov (==2.8.1); extra == "dev"
Requires-Dist: jinja2; extra == "dev"
Requires-Dist: black (==20.8b1); extra == "dev"
Requires-Dist: mypy (==0.790); extra == "dev"
Requires-Dist: py-evm; extra == "dev"
Requires-Dist: keystone-engine; extra == "dev"
Requires-Dist: capstone (==4.0.2); extra == "dev-noks"
Requires-Dist: pyelftools; extra == "dev-noks"
Requires-Dist: unicorn (==1.0.2); extra == "dev-noks"
Requires-Dist: coverage; extra == "dev-noks"
Requires-Dist: Sphinx; extra == "dev-noks"
Requires-Dist: pytest (==5.3.0); extra == "dev-noks"
Requires-Dist: pytest-xdist (==1.30.0); extra == "dev-noks"
Requires-Dist: pytest-cov (==2.8.1); extra == "dev-noks"
Requires-Dist: jinja2; extra == "dev-noks"
Requires-Dist: black (==20.8b1); extra == "dev-noks"
Requires-Dist: mypy (==0.790); extra == "dev-noks"
Requires-Dist: py-evm; extra == "dev-noks"
Requires-Dist: black (==20.8b1); extra == "lint"
Requires-Dist: mypy (==0.790); extra == "lint"
Requires-Dist: capstone (==4.0.2); extra == "native"
Requires-Dist: pyelftools; extra == "native"
Requires-Dist: unicorn (==1.0.2); extra == "native"
Requires-Dist: redis; extra == "redis"
Provides-Extra: dev
Provides-Extra: dev-noks
Provides-Extra: lint
Provides-Extra: native
Provides-Extra: redis
Description-Content-Type: text/markdown
[Description omitted; length: 11496 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.37.1)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
manticore/__init__.py sha256=9z5MtdPVH05H8QOw4viYhLmAm3M-9h4HNyXWvgBU5-s 493
manticore/__main__.py sha256=a5ol7EyUPxrXJKzApyxQGCtmEnkR-QTDrj2phg5_-f8 8291
manticore/exceptions.py sha256=niHfkwZeTGIZpIR1M_BQkyy1IAWfcoi2sW-v8Uh0VQg 949
manticore/binary/__init__.py sha256=oFBky1JkXSdZr2AdIwJkgGxM-VpS9TnZJhN5cBuDqlo 732
manticore/binary/binary.py sha256=1s0brtapJFmPM8_V-MGH5h7hScLMR-4_v8d100VQRyI 4521
manticore/core/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
manticore/core/manticore.py sha256=uHu0rracR_g1m_on6fcS57kgoxedxGjaMezoavbVYwU 49622
manticore/core/plugin.py sha256=7Ror8Ore9mcRickVxrEAnfvm-JYbciog0an1b2CvRl0 28131
manticore/core/state.py sha256=qBv51AuHl3epstk0tSeA1BrMx4qlQhnieDzEMQgbId8 23618
manticore/core/state_pb2.py sha256=QyqIlbslTdC-TC4nUPknYBdf94LGQfcNLLUKvo1IHpc 10874
manticore/core/worker.py sha256=J49uPLgiWe_HOZqnVP2StTWxlJNe6uH6rdOwylWleLQ 16190
manticore/core/workspace.py sha256=IYrfz397ipTBi22bFE5pmrX5s3mecvG2doVoOYtPSwY 20267
manticore/core/parser/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
manticore/core/parser/parser.py sha256=8rRjR5fqSlKhPqGDZDGLyjVTfZEMTp7EVyDruCgk3l4 7392
manticore/core/smtlib/__init__.py sha256=e19w_IweRivrd7rtGQzSZol2ZnMLKEKrQ9gJQX81N2A 268
manticore/core/smtlib/constraints.py sha256=Z_aE1vgfDRExeeSYMlT3jgITYCQx2HsvcPmmExyKGzQ 17995
manticore/core/smtlib/expression.py sha256=dqOygd7mDL_o2asecFK_8d5uzR8MsbvAMloxhfEMmrY 44914
manticore/core/smtlib/operators.py sha256=CEWquVSX80FfZSEO_vXh6zMi9zfQ9wFH6ZqeSOBtxd0 7136
manticore/core/smtlib/solver.py sha256=FLz5lg5JtFvmTv6HQfHY41bKwWY8FAtOH0MGrLiwzYs 39663
manticore/core/smtlib/visitors.py sha256=o1Q88cRIs6tLX76s2zHu-STNZoJp0dshS9s4oCTRRVo 38537
manticore/ethereum/__init__.py sha256=vSeATycQw5gXhK1qr--dK9f8RewSxO1c3ycM-edy__g 698
manticore/ethereum/abi.py sha256=-49IBzidfn0Nsldl_sHbheV_TDQXGDFbXbDbBAkw8Tk 14385
manticore/ethereum/abitypes.py sha256=NRryhyj57eVeUpmMUKIll2_wR11NVVnuGRkRPPjZ1eg 5031
manticore/ethereum/account.py sha256=Ox-0XckzKZCOmRuFt2GQRVjTc2xNgY8Su5UHZVXeyqo 5299
manticore/ethereum/cli.py sha256=2o1b6VwNh8JunK_0BYFrz-aXu1rqHjoGPT9Mu6f6-8s 4572
manticore/ethereum/detectors.py sha256=-42LXSB7QV1_0mRvdN_CTm9fj9QVKNFxnjp3-db9EW0 39008
manticore/ethereum/manticore.py sha256=0V1x9ajpVgQSSY3LX-l2moCiR1HK88NOnPcQSbVumsc 80897
manticore/ethereum/parsetab.py sha256=j38TAsR4Hp03G5qrQ9dUnOcyonZOdDqiFMWZ2VNHnzo 8264
manticore/ethereum/plugins.py sha256=diwdFMLch5Vl3V9CtqXZCN09IJfyfIlC3984BgBf5-I 11449
manticore/ethereum/solidity.py sha256=PPw8QbGpAuxPmD9_V4F-QiRlYUchUFHZv7xCgYxcWpY 14654
manticore/ethereum/state.py sha256=jiZELkktnoDw18qf-qmC6f1M3EvJoIuSG0g6PS-NUOY 680
manticore/ethereum/verifier.py sha256=RLBgA26rgrnu6fbHvZigBA-nlXqkriiB0qiBLyTUhlk 19863
manticore/native/__init__.py sha256=ERGgXC0iFT0pqlVE8B-pO83XLio172incVAdY9GhQaE 204
manticore/native/cli.py sha256=vYlQXZG0xwfex5T6uq6a2D6kn5QAlA_SZ4HvXSuK5Pc 1040
manticore/native/manticore.py sha256=bTtpQ2tT36Vpbos_76-B-2sfVn788441V6dFNiDU20M 18103
manticore/native/mappings.py sha256=C8C0E7zqV3txmyAB9qO1bGrMYmjMPtR5sfsm0n6qJ6w 2596
manticore/native/memory.py sha256=fEWCWz8_9L4SHb1BQMffmCZD5q5MxY3w3OELuHzqbpw 56216
manticore/native/models.py sha256=rGDJ4oIDrFc1IN_3Xv0LQNJEF5yie_HknfCE6a8EHHQ 9960
manticore/native/plugins.py sha256=nLM9MED3LRnsL1_phNBGa3mHd5sf5HFVhaQaIgolpgc 6100
manticore/native/state.py sha256=NG_YWwAYA4ndvU9rO0Sze-e0MkHugLhGm9sExFPrdOI 13875
manticore/native/state_merging.py sha256=XfzGyDwZ-HqFQmD1svOSFT4S6GYkbMw9KSfq33yneN4 10474
manticore/native/cpu/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
manticore/native/cpu/aarch64.py sha256=yB51EiNI0mdJ_qyQJagd0PgbgM3ecJDQAkZ0ktbLLPU 164976
manticore/native/cpu/abstractcpu.py sha256=lqqzzrbHZ-9AM0iDsrvLM-naPXf38g0KVX4H4blrITI 41108
manticore/native/cpu/arm.py sha256=qGFVYj3KZKNgiXTtaK0_uFgCLRJwR4iLY5Pu1KcF_KQ 62631
manticore/native/cpu/bitwise.py sha256=i3q-H82AzJQXCwzL1gEyszGrPeqNoo-0cnN7FSMVcE0 7717
manticore/native/cpu/cpufactory.py sha256=lX4hkvhAZ25QhEHXUbB7WR0E16JejoBMAp8hCunxv7A 1554
manticore/native/cpu/disasm.py sha256=OilnCWSA943B3VrnttFpen_B_t8aNCdftCWLC9Pl0fQ 1894
manticore/native/cpu/register.py sha256=aKTNidx5Z2_IHxaRW46U8ndHoHTzH5Trnl89-eBRz1k 890
manticore/native/cpu/x86.py sha256=2Ea99SWafi2EnjYdCb3nq87NczXX0OyQI1mW7z37M5g 254249
manticore/platforms/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
manticore/platforms/cgcrandom.py sha256=rlZJax8AUU0lFLl8Ff6xrpmvo5aE40vq2PmPRdqjBaw 18558
manticore/platforms/decree.py sha256=Yc_YLfz5Who1zF4HULLfhQV82W9AE4JLCMfpkcHUAkI 41004
manticore/platforms/evm.py sha256=EwykF1qyWleJU3sIUHo7IsVk69Q4Rh_QKlM0yn22O-E 126696
manticore/platforms/linux.py sha256=Pw2RI1yJGKm3lrsJtAQOhxG4qF1nNzV83pI1KPrMq7I 141963
manticore/platforms/linux_syscall_stubs.py sha256=W7tH7P_NMZ9CXWx7QsQlzoO06HV5IMK4Hfw1mrPljvc 39360
manticore/platforms/linux_syscalls.py sha256=r9UvKZcivHHR75WpdRaiDcmgPC7ZuqCu5IPqlJ8ulv0 35193
manticore/platforms/platform.py sha256=wFFmeLAf3ExF2ZCtAy4SZVaR4kd_muDB6Usi1dS5Ka4 1670
manticore/platforms/wasm.py sha256=qwon2XYrl1VKBThIvqquuC1ZJZZ2c75TRKX9tGdpe5Y 17266
manticore/utils/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
manticore/utils/command_line.py sha256=cEJAXtf7CsJbgpjOfgQbOKzawgt0yJzfywABrZuWhFA 1387
manticore/utils/config.py sha256=99Ct_im4y_242irPVuIVI6DEDjU-cYHOyz10IjVJO3k 11075
manticore/utils/deprecated.py sha256=Ke3bHXyfiizd_p8IBGOlrMMqJa7udBfHu4OVCsj4fxk 924
manticore/utils/emulate.py sha256=rkGpNT1w8a1H5M5A5OGlGLbTciuHIzBh8VDzvH_4pCM 18619
manticore/utils/enums.py sha256=2gOg4oq_9PhuaIEvZCBsNZDl0JSB8vNHT6I_bf_VI9I 1524
manticore/utils/event.py sha256=-LnxJgoLU7QOzJWSiTIhnZdFeTMFaODY06-6niMP1CM 7679
manticore/utils/fallback_emulator.py sha256=6L1OU0RR-PbTAMP8c__-G5gXOPGyt5gBrAeK7WZDQfE 11226
manticore/utils/helpers.py sha256=X2SnpJq2s4VkQO5XD8OHQiFz66Bny_AoZ5pbPqSxDhU 6519
manticore/utils/install_helper.py sha256=Pg1k7HA16iDJSy-271S9XOW_AxBOQ1gWI3V93m8wHX0 618
manticore/utils/log.py sha256=U9jz4_-wvOEEsKMRanyKFbtrIZijjE16PI82t8fdmQ0 5762
manticore/utils/nointerrupt.py sha256=DJbYC-xfs6J794sbX1L4bBBJqz4FCVoCLrpmASclAjk 905
manticore/wasm/__init__.py sha256=XIqYLde-CteouNvykHGeRAeLQDwS_okfwhLhvbO5gHo 37
manticore/wasm/cli.py sha256=C3-pl1m6piKaQkIT58mCRFJe5-ZWzFbKLBKvSsJcGo8 734
manticore/wasm/executor.py sha256=LzGUVAkk_WzfwVBiKS2OavxNhUHoXu0Xn1EaUTE1XII 53364
manticore/wasm/manticore.py sha256=GMrvuw89OpyapdCKT8K39MPQAGeGmgduWVv-LIc1WZA 8530
manticore/wasm/state.py sha256=w-4GIkyWReHvusSTdPuFWtMyNUdz1r2orVp_v7sMXr0 1029
manticore/wasm/structure.py sha256=I6-jVgygOqLPQzGIoxAUpG6bCFOnljUZmL4WQ1jDlVI 76015
manticore/wasm/types.py sha256=f2zbv841lucC4t5uF_69HXp5jWIfNI2fhqjnUmdJ5-U 12025
manticore-0.3.7.dist-info/LICENSE sha256=TfPDBt3ar0uv_f9cqCDMZ5rIzW3CY8anRRd4PkL6ejs 34522
manticore-0.3.7.dist-info/METADATA sha256=rUBNusHpSCyDCyOoIvwsJ7xvzvPVDlXB_Gr7L6x9_dQ 13846
manticore-0.3.7.dist-info/WHEEL sha256=G16H4A3IeoQmnOrYV4ueZGKSjhipXx8zc8nu9FGlvMA 92
manticore-0.3.7.dist-info/entry_points.txt sha256=tbF5rOG1fJG6IdcRrtgZRyN8rwykcx_KVr59OUN3xNg 109
manticore-0.3.7.dist-info/top_level.txt sha256=KgTsxZsawWZyXY1S_T903dHrbQkTIMWpf0puYU6cqtE 10
manticore-0.3.7.dist-info/RECORD — —

top_level.txt

manticore

entry_points.txt

[console_scripts]
manticore = manticore.__main__:main
manticore-verifier = manticore.ethereum.verifier:main