{"action":"created","issue":{"url":"https://api.github.com/repos/trailofbits/deepstate/issues/72","repository_url":"https://api.github.com/repos/trailofbits/deepstate","labels_url":"https://api.github.com/repos/trailofbits/deepstate/issues/72/labels{/name}","comments_url":"https://api.github.com/repos/trailofbits/deepstate/issues/72/comments","events_url":"https://api.github.com/repos/trailofbits/deepstate/issues/72/events","html_url":"https://github.com/trailofbits/deepstate/issues/72","id":342163305,"node_id":"MDU6SXNzdWUzNDIxNjMzMDU=","number":72,"title":"angr exception raised","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":1002462921,"node_id":"MDU6TGFiZWwxMDAyNDYyOTIx","url":"https://api.github.com/repos/trailofbits/deepstate/labels/angr","name":"angr","color":"149334","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2018-07-18T03:28:18Z","updated_at":"2018-07-23T16:45:41Z","closed_at":null,"author_association":"COLLABORATOR","body":"Build https://github.com/agroce/testfs and run\r\n\r\n`deepstate-angr ./Tests`\r\n\r\non Ubuntu, and it produces some reasonable output but also:\r\n\r\n```\r\nWARNING | 2018-07-18 01:28:47,394 | angr.analyses.disassembly_utils | Your version of capstone does not support MIPS instruction groups.\r\nINFO    | 2018-07-18 01:29:49,446 | deepstate.angr | Running 1 tests across 1 workers\r\nERROR   | 2018-07-18 02:17:38,675 | deepstate.angr | Uncaught exception: \r\nTraceback (most recent call last):\r\n  File \"build/bdist.linux-x86_64/egg/deepstate/main_angr.py\", line 290, in do_run_test\r\n    test_manager.run()\r\n  File \"/root/.local/lib/python2.7/site-packages/angr-7.8.7.1-py2.7.egg/angr/misc/immutability.py\", line 24, in _wrapper\r\n    if method(self, *args, **kwargs) is not self:\r\n  File \"/root/.local/lib/python2.7/site-packages/angr-7.8.7.1-py2.7.egg/angr/sim_manager.py\", line 260, in run\r\n    self.step(stash=stash, **kwargs)\r\n  File \"/root/.local/lib/python2.7/site-packages/angr-7.8.7.1-py2.7.egg/angr/misc/immutability.py\", line 24, in _wrapper\r\n    if method(self, *args, **kwargs) is not self:\r\n  File \"/root/.local/lib/python2.7/site-packages/angr-7.8.7.1-py2.7.egg/angr/sim_manager.py\", line 341, in step\r\n    successors = self.step_state(state, successor_func, **run_args)\r\n  File \"/root/.local/lib/python2.7/site-packages/angr-7.8.7.1-py2.7.egg/angr/sim_manager.py\", line 362, in step_state\r\n    successors = self.successors(state, successor_func, **run_args)\r\n  File \"/root/.local/lib/python2.7/site-packages/angr-7.8.7.1-py2.7.egg/angr/sim_manager.py\", line 401, in successors\r\n    return self._project.factory.successors(state, **run_args)\r\n  File \"/root/.local/lib/python2.7/site-packages/angr-7.8.7.1-py2.7.egg/angr/factory.py\", line 61, in successors\r\n    return self.project.engines.successors(*args, **kwargs)\r\n  File \"/root/.local/lib/python2.7/site-packages/angr-7.8.7.1-py2.7.egg/angr/engines/hub.py\", line 128, in successors\r\n    r = engine.process(state, **kwargs)\r\n  File \"/root/.local/lib/python2.7/site-packages/angr-7.8.7.1-py2.7.egg/angr/engines/hook.py\", line 51, in process\r\n    return self.project.factory.procedure_engine.process(state, procedure, force_addr=force_addr, **kwargs)\r\n  File \"/root/.local/lib/python2.7/site-packages/angr-7.8.7.1-py2.7.egg/angr/engines/procedure.py\", line 31, in process\r\n    force_addr=force_addr)\r\n  File \"/root/.local/lib/python2.7/site-packages/angr-7.8.7.1-py2.7.egg/angr/engines/engine.py\", line 55, in process\r\n    self._process(new_state, successors, *args, **kwargs)\r\n  File \"/root/.local/lib/python2.7/site-packages/angr-7.8.7.1-py2.7.egg/angr/engines/procedure.py\", line 65, in _process\r\n    inst = procedure.execute(state, successors, ret_to=ret_to)\r\n  File \"/root/.local/lib/python2.7/site-packages/angr-7.8.7.1-py2.7.egg/angr/sim_procedure.py\", line 169, in execute\r\n    r = getattr(inst, inst.run_func)(*sim_args, **inst.kwargs)\r\n  File \"build/bdist.linux-x86_64/egg/deepstate/main_angr.py\", line 157, in run\r\n    DeepAngr(procedure=self).api_assume(arg, expr_ea, file_ea, line)\r\n  File \"build/bdist.linux-x86_64/egg/deepstate/common.py\", line 438, in api_assume\r\n    expr, _ = self.read_c_string(expr_ea, concretize=False)\r\n  File \"build/bdist.linux-x86_64/egg/deepstate/common.py\", line 145, in read_c_string\r\n    assert isinstance(ea, (int, long))\r\nAssertionError\r\n```\r\n"},"comment":{"url":"https://api.github.com/repos/trailofbits/deepstate/issues/comments/407124001","html_url":"https://github.com/trailofbits/deepstate/issues/72#issuecomment-407124001","issue_url":"https://api.github.com/repos/trailofbits/deepstate/issues/72","id":407124001,"node_id":"MDEyOklzc3VlQ29tbWVudDQwNzEyNDAwMQ==","user":{"login":"pgoodman","id":43664,"node_id":"MDQ6VXNlcjQzNjY0","avatar_url":"https://avatars2.githubusercontent.com/u/43664?v=4","gravatar_id":"","url":"https://api.github.com/users/pgoodman","html_url":"https://github.com/pgoodman","followers_url":"https://api.github.com/users/pgoodman/followers","following_url":"https://api.github.com/users/pgoodman/following{/other_user}","gists_url":"https://api.github.com/users/pgoodman/gists{/gist_id}","starred_url":"https://api.github.com/users/pgoodman/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/pgoodman/subscriptions","organizations_url":"https://api.github.com/users/pgoodman/orgs","repos_url":"https://api.github.com/users/pgoodman/repos","events_url":"https://api.github.com/users/pgoodman/events{/privacy}","received_events_url":"https://api.github.com/users/pgoodman/received_events","type":"User","site_admin":false},"created_at":"2018-07-23T16:45:41Z","updated_at":"2018-07-23T16:45:41Z","author_association":"MEMBER","body":"Okay so it looks to me like `expr_ea` needs to be concretized in `api_assume`."}}
{"actor":{"display_login":"pgoodman"}}