{"action":"opened","issue":{"url":"https://api.github.com/repos/angr/simuvex/issues/147","repository_url":"https://api.github.com/repos/angr/simuvex","labels_url":"https://api.github.com/repos/angr/simuvex/issues/147/labels{/name}","comments_url":"https://api.github.com/repos/angr/simuvex/issues/147/comments","events_url":"https://api.github.com/repos/angr/simuvex/issues/147/events","html_url":"https://github.com/angr/simuvex/issues/147","id":241610771,"number":147,"title":"Possible bug in SimConcretizationStrategySingle","user":{"login":"jarsp","id":7759309,"avatar_url":"https://avatars2.githubusercontent.com/u/7759309?v=3","gravatar_id":"","url":"https://api.github.com/users/jarsp","html_url":"https://github.com/jarsp","followers_url":"https://api.github.com/users/jarsp/followers","following_url":"https://api.github.com/users/jarsp/following{/other_user}","gists_url":"https://api.github.com/users/jarsp/gists{/gist_id}","starred_url":"https://api.github.com/users/jarsp/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jarsp/subscriptions","organizations_url":"https://api.github.com/users/jarsp/orgs","repos_url":"https://api.github.com/users/jarsp/repos","events_url":"https://api.github.com/users/jarsp/events{/privacy}","received_events_url":"https://api.github.com/users/jarsp/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2017-07-10T06:21:49Z","updated_at":"2017-07-10T06:21:49Z","closed_at":null,"body":"The `_concretize` function in [concretization_strategies/single.py](https://github.com/angr/simuvex/blob/master/simuvex/concretization_strategies/single.py) checks for exactly 0 solutions instead of exactly 1 solution:\r\n\r\nOriginal:\r\n```\r\n    def _concretize(self, memory, addr):\r\n        addrs = self._eval(memory, addr, 2)\r\n        if len(addrs) == 0:\r\n            return addrs\r\n```\r\n\r\nProbably intended:\r\n```\r\n    def _concretize(self, memory, addr):\r\n        addrs = self._eval(memory, addr, 2)\r\n        if len(addrs) == 1:\r\n            return addrs\r\n```"}}
{"actor":{"display_login":"jarsp"}}