{"action":"created","issue":{"url":"https://api.github.com/repos/trailofbits/deepstate/issues/136","repository_url":"https://api.github.com/repos/trailofbits/deepstate","labels_url":"https://api.github.com/repos/trailofbits/deepstate/issues/136/labels{/name}","comments_url":"https://api.github.com/repos/trailofbits/deepstate/issues/136/comments","events_url":"https://api.github.com/repos/trailofbits/deepstate/issues/136/events","html_url":"https://github.com/trailofbits/deepstate/issues/136","id":389301680,"node_id":"MDU6SXNzdWUzODkzMDE2ODA=","number":136,"title":"Reducer requires manticore","user":{"login":"agroce","id":967816,"node_id":"MDQ6VXNlcjk2NzgxNg==","avatar_url":"https://avatars0.githubusercontent.com/u/967816?v=4","gravatar_id":"","url":"https://api.github.com/users/agroce","html_url":"https://github.com/agroce","followers_url":"https://api.github.com/users/agroce/followers","following_url":"https://api.github.com/users/agroce/following{/other_user}","gists_url":"https://api.github.com/users/agroce/gists{/gist_id}","starred_url":"https://api.github.com/users/agroce/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/agroce/subscriptions","organizations_url":"https://api.github.com/users/agroce/orgs","repos_url":"https://api.github.com/users/agroce/repos","events_url":"https://api.github.com/users/agroce/events{/privacy}","received_events_url":"https://api.github.com/users/agroce/received_events","type":"User","site_admin":false},"labels":[{"id":1002671176,"node_id":"MDU6TGFiZWwxMDAyNjcxMTc2","url":"https://api.github.com/repos/trailofbits/deepstate/labels/fuzzing","name":"fuzzing","color":"64ed53","default":false},{"id":1156627646,"node_id":"MDU6TGFiZWwxMTU2NjI3NjQ2","url":"https://api.github.com/repos/trailofbits/deepstate/labels/macOS","name":"macOS","color":"64f4d3","default":false},{"id":837780809,"node_id":"MDU6TGFiZWw4Mzc3ODA4MDk=","url":"https://api.github.com/repos/trailofbits/deepstate/labels/usability","name":"usability","color":"9de031","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2018-12-10T13:29:10Z","updated_at":"2018-12-11T19:18:10Z","closed_at":"2018-12-11T19:17:13Z","author_association":"COLLABORATOR","body":"DeepState is now quite usable without manticore/angr (e.g. on Mac) as a fuzzer front end.  But the reducer is configured to fail if manticore isn't present:\r\n\r\n```\r\ndeepstate-reduce ./ds_rb fails/01daf2cba12222cfb51e32747b1ed143a7e18f0c.fail small.fail\r\nTraceback (most recent call last):\r\n  File \"/Library/Frameworks/Python.framework/Versions/2.7/bin/deepstate-reduce\", line 6, in <module>\r\n    from pkg_resources import load_entry_point\r\n  File \"/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/site-packages/pkg_resources/__init__.py\", line 3095, in <module>\r\n    @_call_aside\r\n  File \"/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/site-packages/pkg_resources/__init__.py\", line 3079, in _call_aside\r\n    f(*args, **kwargs)\r\n  File \"/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/site-packages/pkg_resources/__init__.py\", line 3108, in _initialize_master_working_set\r\n    working_set = WorkingSet._build_master()\r\n  File \"/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/site-packages/pkg_resources/__init__.py\", line 572, in _build_master\r\n    return cls._build_from_requirements(__requires__)\r\n  File \"/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/site-packages/pkg_resources/__init__.py\", line 585, in _build_from_requirements\r\n    dists = ws.resolve(reqs, Environment())\r\n  File \"/Library/Frameworks/Python.framework/Versions/2.7/lib/python2.7/site-packages/pkg_resources/__init__.py\", line 774, in resolve\r\n    raise DistributionNotFound(req, requirers)\r\npkg_resources.DistributionNotFound: The 'manticore==0.1.10' distribution was not found and is required by deepstate\r\n```"},"comment":{"url":"https://api.github.com/repos/trailofbits/deepstate/issues/comments/446326670","html_url":"https://github.com/trailofbits/deepstate/issues/136#issuecomment-446326670","issue_url":"https://api.github.com/repos/trailofbits/deepstate/issues/136","id":446326670,"node_id":"MDEyOklzc3VlQ29tbWVudDQ0NjMyNjY3MA==","user":{"login":"agroce","id":967816,"node_id":"MDQ6VXNlcjk2NzgxNg==","avatar_url":"https://avatars0.githubusercontent.com/u/967816?v=4","gravatar_id":"","url":"https://api.github.com/users/agroce","html_url":"https://github.com/agroce","followers_url":"https://api.github.com/users/agroce/followers","following_url":"https://api.github.com/users/agroce/following{/other_user}","gists_url":"https://api.github.com/users/agroce/gists{/gist_id}","starred_url":"https://api.github.com/users/agroce/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/agroce/subscriptions","organizations_url":"https://api.github.com/users/agroce/orgs","repos_url":"https://api.github.com/users/agroce/repos","events_url":"https://api.github.com/users/agroce/events{/privacy}","received_events_url":"https://api.github.com/users/agroce/received_events","type":"User","site_admin":false},"created_at":"2018-12-11T19:18:10Z","updated_at":"2018-12-11T19:18:10Z","author_association":"COLLABORATOR","body":"(I just made them conditional dependencies for now -- since on macOS if you want to use angr/manticore you are doing cross-compiles, I figure you can figure out to install them yourself)"}}
{"actor":{"display_login":"agroce"}}