{
    "info": {
        "author": "Trail of Bits",
        "author_email": "",
        "bugtrack_url": null,
        "classifiers": [],
        "description": "",
        "description_content_type": "",
        "docs_url": null,
        "download_url": "",
        "downloads": {
            "last_day": -1,
            "last_month": -1,
            "last_week": -1
        },
        "home_page": "https://github.com/trailofbits/manticore",
        "keywords": "",
        "license": "",
        "maintainer": "",
        "maintainer_email": "",
        "name": "manticore",
        "package_url": "https://pypi.org/project/manticore/",
        "platform": "",
        "project_url": "https://pypi.org/project/manticore/",
        "project_urls": {
            "Homepage": "https://github.com/trailofbits/manticore"
        },
        "release_url": "https://pypi.org/project/manticore/0.3.1/",
        "requires_dist": [
            "pyyaml",
            "wrapt",
            "pysha3",
            "prettytable",
            "pyevmasm (==0.2.0)",
            "rlp",
            "ply",
            "crytic-compile (>=0.1.1)",
            "z3-solver",
            "capstone (==4.0.1) ; extra == 'dev'",
            "pyelftools ; extra == 'dev'",
            "unicorn ; extra == 'dev'",
            "keystone-engine ; extra == 'dev'",
            "coverage ; extra == 'dev'",
            "nose ; extra == 'dev'",
            "Sphinx ; extra == 'dev'",
            "capstone (==4.0.1) ; extra == 'dev-noks'",
            "pyelftools ; extra == 'dev-noks'",
            "unicorn ; extra == 'dev-noks'",
            "coverage ; extra == 'dev-noks'",
            "nose ; extra == 'dev-noks'",
            "Sphinx ; extra == 'dev-noks'",
            "capstone (==4.0.1) ; extra == 'native'",
            "pyelftools ; extra == 'native'",
            "unicorn ; extra == 'native'",
            "redis ; extra == 'redis'"
        ],
        "requires_python": ">=3.6",
        "summary": "Manticore is a symbolic execution tool for analysis of binaries and smart contracts.",
        "version": "0.3.1"
    },
    "last_serial": 5642160,
    "releases": {
        "0.1.0": [],
        "0.1.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "b55abbc7d6a37a4ef2fd23153ed2d70d",
                    "sha256": "c72278b5b5b67c8d2ccddf06546c0fe19ca2d6be82c0577703da4cc6d7e25c2f"
                },
                "downloads": -1,
                "filename": "manticore-0.1.1.tar.gz",
                "has_sig": false,
                "md5_digest": "b55abbc7d6a37a4ef2fd23153ed2d70d",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 540505,
                "upload_time": "2017-05-05T19:23:38",
                "url": "https://files.pythonhosted.org/packages/d3/56/7345714a683d6e2cefcf05db67b31e4a1fa3e2967a4694ada2e3f3b7db14/manticore-0.1.1.tar.gz"
            }
        ],
        "0.1.10": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "9675b97d05fd757ec49ec1c20e240a57",
                    "sha256": "4097af4091b5981ff3aa4624ac92d367f3462f639cac3bc6ad09898ca208ddac"
                },
                "downloads": -1,
                "filename": "manticore-0.1.10.tar.gz",
                "has_sig": false,
                "md5_digest": "9675b97d05fd757ec49ec1c20e240a57",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 3219025,
                "upload_time": "2018-06-23T00:40:26",
                "url": "https://files.pythonhosted.org/packages/94/39/c4ea394b2afac819e6654cb298f52e9526172ee2874f01c183ac0bccefcd/manticore-0.1.10.tar.gz"
            }
        ],
        "0.1.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "bf6a5ef6a17d6c47b54fa13e0b09cf56",
                    "sha256": "f391c45935c34e12f57f44f35a333b8488b7a992be0fe10a97e3216959f624ad"
                },
                "downloads": -1,
                "filename": "manticore-0.1.2.tar.gz",
                "has_sig": false,
                "md5_digest": "bf6a5ef6a17d6c47b54fa13e0b09cf56",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 564742,
                "upload_time": "2017-06-14T19:59:27",
                "url": "https://files.pythonhosted.org/packages/77/e5/516a17af868a0f2fd631191c0998a89a68c4fb81cb6296048ebe6676d616/manticore-0.1.2.tar.gz"
            }
        ],
        "0.1.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "4db0afcc71bb770fbd0bc7919a0c04b8",
                    "sha256": "cd0fa0a6bb25e1d2bcd2073d19ff55b76421c324d094f295de7348c53e40b48b"
                },
                "downloads": -1,
                "filename": "manticore-0.1.3.tar.gz",
                "has_sig": false,
                "md5_digest": "4db0afcc71bb770fbd0bc7919a0c04b8",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 567323,
                "upload_time": "2017-07-18T14:29:19",
                "url": "https://files.pythonhosted.org/packages/22/93/425ae3ced3fd319db1b3e232f93d58ba23e22e32a096785d51d041f625c7/manticore-0.1.3.tar.gz"
            }
        ],
        "0.1.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "69a5733add8f0382e7d93e8c62509c28",
                    "sha256": "9309590c1a8a1dbd73c5f83055fd9f33829a18d3be4386837dda8c6e3fa759b2"
                },
                "downloads": -1,
                "filename": "manticore-0.1.4.tar.gz",
                "has_sig": false,
                "md5_digest": "69a5733add8f0382e7d93e8c62509c28",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 23527506,
                "upload_time": "2017-08-18T17:58:05",
                "url": "https://files.pythonhosted.org/packages/67/5d/f4e886ea7760a0fe93118103edb5331b7e781721f44a2bb0aa2df61c5e84/manticore-0.1.4.tar.gz"
            }
        ],
        "0.1.5": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "bd9edd2c8f257bda5b743a1fa23a03d5",
                    "sha256": "852c7254589eaed767cab091443168fa900d7ca159ca56ac13b5eee4238dbb1a"
                },
                "downloads": -1,
                "filename": "manticore-0.1.5.tar.gz",
                "has_sig": false,
                "md5_digest": "bd9edd2c8f257bda5b743a1fa23a03d5",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 670593,
                "upload_time": "2017-10-19T19:50:30",
                "url": "https://files.pythonhosted.org/packages/e7/80/fe891515824a757631392e0a87ac54324eb3495f5251f97460297c50691d/manticore-0.1.5.tar.gz"
            }
        ],
        "0.1.6": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "f773dd4c193fda6eba1249ca06fb93ec",
                    "sha256": "a2108a9ac6c04ab1bf377c122aa4e6d7ecb366ce3f1a8b48fe6b3e938d16d6a5"
                },
                "downloads": -1,
                "filename": "manticore-0.1.6.tar.gz",
                "has_sig": false,
                "md5_digest": "f773dd4c193fda6eba1249ca06fb93ec",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 704889,
                "upload_time": "2017-12-22T23:37:22",
                "url": "https://files.pythonhosted.org/packages/56/17/32b183974cf39ee8917b9367dcbeb1037566ba13f639e3e43125309b9e7f/manticore-0.1.6.tar.gz"
            }
        ],
        "0.1.7": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "72197dea226739f457c38e75f64169dd",
                    "sha256": "bc427a998fd835795e993c8cf9526f4a9da8418e762f1f220d887a8310345048"
                },
                "downloads": -1,
                "filename": "manticore-0.1.7.tar.gz",
                "has_sig": false,
                "md5_digest": "72197dea226739f457c38e75f64169dd",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 710294,
                "upload_time": "2018-02-23T23:33:35",
                "url": "https://files.pythonhosted.org/packages/e4/a7/16b52e63e57e212c975f085869fda68cae49123a421d3bb6ed8bf49a0816/manticore-0.1.7.tar.gz"
            }
        ],
        "0.1.8": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "9c096bad97630e5899c6150ac662dd7d",
                    "sha256": "73f22a95f92e8669b74f0f3da95c1f83b009c73e7dc194f17c10ac9742bd6b0e"
                },
                "downloads": -1,
                "filename": "manticore-0.1.8-py2.7.egg",
                "has_sig": false,
                "md5_digest": "9c096bad97630e5899c6150ac662dd7d",
                "packagetype": "bdist_egg",
                "python_version": "2.7",
                "requires_python": null,
                "size": 1869672,
                "upload_time": "2018-05-04T20:09:17",
                "url": "https://files.pythonhosted.org/packages/8b/df/f77517909e6c4c04b8812c3247eaff070f768cd9470a1ecc8ac6acfc6679/manticore-0.1.8-py2.7.egg"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "eba0261d90379464c106fb034ea75190",
                    "sha256": "693dd90af33d56a41cbbf321a200a63df304f67ba6ac7bce8b5fe43ee827211a"
                },
                "downloads": -1,
                "filename": "manticore-0.1.8.tar.gz",
                "has_sig": false,
                "md5_digest": "eba0261d90379464c106fb034ea75190",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 711736,
                "upload_time": "2018-03-30T22:28:59",
                "url": "https://files.pythonhosted.org/packages/fb/6d/eb2e2eb9983271889546c3a9057fa9a58645f13acf3c677831c6c2088798/manticore-0.1.8.tar.gz"
            }
        ],
        "0.1.9": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "c9369b4c0a0c7cdd680a57cd2ca8e6a9",
                    "sha256": "6dbeee0e1b766d2274835cbc91c513fcbb81d5b844cab6e65e50388ef8e0e241"
                },
                "downloads": -1,
                "filename": "manticore-0.1.9.tar.gz",
                "has_sig": false,
                "md5_digest": "c9369b4c0a0c7cdd680a57cd2ca8e6a9",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": null,
                "size": 715124,
                "upload_time": "2018-05-04T20:09:19",
                "url": "https://files.pythonhosted.org/packages/78/09/b30efa515a39d2b9c8d842c1fbcd583c2f9c377976e44ced52b29a887b69/manticore-0.1.9.tar.gz"
            }
        ],
        "0.2.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "37834743ce2ba0876d301ea6e27c6641",
                    "sha256": "8394e91299d2082814bd42c84a961a821f2c29f04c017696d6288ef43a7e9030"
                },
                "downloads": -1,
                "filename": "manticore-0.2.0.tar.gz",
                "has_sig": false,
                "md5_digest": "37834743ce2ba0876d301ea6e27c6641",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6",
                "size": 723434,
                "upload_time": "2018-08-10T20:22:39",
                "url": "https://files.pythonhosted.org/packages/1f/5a/63b6d331e1d3c84b302fe953d2f1fa0c04e63febfbe43a4bfc33ec1208a2/manticore-0.2.0.tar.gz"
            }
        ],
        "0.2.1.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "ef434d539216f94f7eb9e87f5c636959",
                    "sha256": "53c566365af32116c56422008f7449c7aa03d9d1942e8d60eab0e51209e482d1"
                },
                "downloads": -1,
                "filename": "manticore-0.2.1.1.tar.gz",
                "has_sig": false,
                "md5_digest": "ef434d539216f94f7eb9e87f5c636959",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6",
                "size": 3282086,
                "upload_time": "2018-09-01T19:26:24",
                "url": "https://files.pythonhosted.org/packages/91/4b/92a64466373f4f6da941e9e377e9709107eb9b2ba76aee258c5fc15ca950/manticore-0.2.1.1.tar.gz"
            }
        ],
        "0.2.2": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "8cbb0e47a75a671c89e968932de682b3",
                    "sha256": "bf7bece231077e43f8fc27fe6dd6f48563fc8e50708aa51aebf041fca7e1af0e"
                },
                "downloads": -1,
                "filename": "manticore-0.2.2.tar.gz",
                "has_sig": false,
                "md5_digest": "8cbb0e47a75a671c89e968932de682b3",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6",
                "size": 735885,
                "upload_time": "2018-10-31T03:50:19",
                "url": "https://files.pythonhosted.org/packages/7f/d9/499f4be01f215092b4f1d69df8f21414fc446780060ab7e23c08f8c7ae7f/manticore-0.2.2.tar.gz"
            }
        ],
        "0.2.3": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "9126f904eac95cb0f184ea1fd72b9962",
                    "sha256": "e29c2cb2b6f28cd8fe5c465aabd524f11b42cca2763888f7f1607d48bb7fa235"
                },
                "downloads": -1,
                "filename": "manticore-0.2.3.tar.gz",
                "has_sig": false,
                "md5_digest": "9126f904eac95cb0f184ea1fd72b9962",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6",
                "size": 243840,
                "upload_time": "2018-12-12T00:45:51",
                "url": "https://files.pythonhosted.org/packages/e2/a9/4d8287268c3ace57bb7bcac05d7987d6ad5f610e8e783512920f9f5f14a8/manticore-0.2.3.tar.gz"
            }
        ],
        "0.2.4": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "93fb3f7c49ed71ba18c11afad1eb64d6",
                    "sha256": "e1dfc7385780bd97c343715a961017b15dcc6513d440911d8d042cf82c223d51"
                },
                "downloads": -1,
                "filename": "manticore-0.2.4.tar.gz",
                "has_sig": false,
                "md5_digest": "93fb3f7c49ed71ba18c11afad1eb64d6",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6",
                "size": 246320,
                "upload_time": "2019-01-11T01:11:14",
                "url": "https://files.pythonhosted.org/packages/dc/d8/cee7b09e26362b91ca9c7391306fc8df62317585d6ddbcc07ecf698859ac/manticore-0.2.4.tar.gz"
            }
        ],
        "0.2.5": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "14e252b89ca46abafc1db1f4e4a1f423",
                    "sha256": "47ad0aaec83e12f2f41a63d81ef6fd7e1f15c86eb451373cd54c5b3f1691fb94"
                },
                "downloads": -1,
                "filename": "manticore-0.2.5-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "14e252b89ca46abafc1db1f4e4a1f423",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.6",
                "size": 286623,
                "upload_time": "2019-03-18T22:25:24",
                "url": "https://files.pythonhosted.org/packages/9e/73/7057f778f63c2951beb02650b4aed5320e37eecb4246ab46afcd11ad48a2/manticore-0.2.5-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "d0f61d3b89a0981aa206b64a83c72e95",
                    "sha256": "b70dcfaed07ee89bddf5deefea1ad2e4dd9f0f55652fe97330ad2d47efd602f6"
                },
                "downloads": -1,
                "filename": "manticore-0.2.5.tar.gz",
                "has_sig": false,
                "md5_digest": "d0f61d3b89a0981aa206b64a83c72e95",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6",
                "size": 255040,
                "upload_time": "2019-03-18T22:25:26",
                "url": "https://files.pythonhosted.org/packages/07/ec/44d29c64d309059cb08db198a9d4364a769684ed3773e93fcd18ff60ea64/manticore-0.2.5.tar.gz"
            }
        ],
        "0.3.0": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "73c529ce1479b0904afb379e7c7bf83c",
                    "sha256": "65fd3b4f23c6d6e0aeac6470adac89c3ed5dfc22fbe4d1f30b4396d830a87941"
                },
                "downloads": -1,
                "filename": "manticore-0.3.0-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "73c529ce1479b0904afb379e7c7bf83c",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.6",
                "size": 317934,
                "upload_time": "2019-06-06T22:29:57",
                "url": "https://files.pythonhosted.org/packages/f8/34/354996c49c8df5cdf7259a638595f151096c1cf55313c80e24b7c7d8f77c/manticore-0.3.0-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "838e66d98c3b60e20a6f20d283c6d68d",
                    "sha256": "e2492a6c394acae4547362fb37eb7201fdceca812fdea4394fe485bb3a928fc3"
                },
                "downloads": -1,
                "filename": "manticore-0.3.0.tar.gz",
                "has_sig": false,
                "md5_digest": "838e66d98c3b60e20a6f20d283c6d68d",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6",
                "size": 285358,
                "upload_time": "2019-06-06T22:29:59",
                "url": "https://files.pythonhosted.org/packages/54/f9/3745af4113b1f46c47f01f5327f38295b2740ee11be83c4ded872a8e157a/manticore-0.3.0.tar.gz"
            }
        ],
        "0.3.1": [
            {
                "comment_text": "",
                "digests": {
                    "md5": "f9c3d5aba64b70c0ace880ea0032c12e",
                    "sha256": "f2450b68fcbd88a157a13b31355c747ea3dc0fab7a733dc6a6c559961ff12423"
                },
                "downloads": -1,
                "filename": "manticore-0.3.1-py3-none-any.whl",
                "has_sig": false,
                "md5_digest": "f9c3d5aba64b70c0ace880ea0032c12e",
                "packagetype": "bdist_wheel",
                "python_version": "py3",
                "requires_python": ">=3.6",
                "size": 324820,
                "upload_time": "2019-08-06T23:08:02",
                "url": "https://files.pythonhosted.org/packages/91/29/b059caa66f274921ff2c9adad7ad79d37ad1c0a5b189f1c4fa6668796ee8/manticore-0.3.1-py3-none-any.whl"
            },
            {
                "comment_text": "",
                "digests": {
                    "md5": "920f90d68d10328965215ebe21f0d7ee",
                    "sha256": "ad39ea4a452a8b18332b4a4f808846acd86a65ddcd69dab1e4feac7adfc50c04"
                },
                "downloads": -1,
                "filename": "manticore-0.3.1.tar.gz",
                "has_sig": false,
                "md5_digest": "920f90d68d10328965215ebe21f0d7ee",
                "packagetype": "sdist",
                "python_version": "source",
                "requires_python": ">=3.6",
                "size": 291876,
                "upload_time": "2019-08-06T23:08:04",
                "url": "https://files.pythonhosted.org/packages/cc/cf/b2eac6b48baed274520bb690b1f4d547ac0902d6db51f4afb3e19bdbf189/manticore-0.3.1.tar.gz"
            }
        ]
    },
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "md5": "f9c3d5aba64b70c0ace880ea0032c12e",
                "sha256": "f2450b68fcbd88a157a13b31355c747ea3dc0fab7a733dc6a6c559961ff12423"
            },
            "downloads": -1,
            "filename": "manticore-0.3.1-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "f9c3d5aba64b70c0ace880ea0032c12e",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.6",
            "size": 324820,
            "upload_time": "2019-08-06T23:08:02",
            "url": "https://files.pythonhosted.org/packages/91/29/b059caa66f274921ff2c9adad7ad79d37ad1c0a5b189f1c4fa6668796ee8/manticore-0.3.1-py3-none-any.whl"
        },
        {
            "comment_text": "",
            "digests": {
                "md5": "920f90d68d10328965215ebe21f0d7ee",
                "sha256": "ad39ea4a452a8b18332b4a4f808846acd86a65ddcd69dab1e4feac7adfc50c04"
            },
            "downloads": -1,
            "filename": "manticore-0.3.1.tar.gz",
            "has_sig": false,
            "md5_digest": "920f90d68d10328965215ebe21f0d7ee",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.6",
            "size": 291876,
            "upload_time": "2019-08-06T23:08:04",
            "url": "https://files.pythonhosted.org/packages/cc/cf/b2eac6b48baed274520bb690b1f4d547ac0902d6db51f4afb3e19bdbf189/manticore-0.3.1.tar.gz"
        }
    ]
}