{"action":"created","issue":{"url":"https://api.github.com/repos/CMU-18739L-S15/qira/issues/4","labels_url":"https://api.github.com/repos/CMU-18739L-S15/qira/issues/4/labels{/name}","comments_url":"https://api.github.com/repos/CMU-18739L-S15/qira/issues/4/comments","events_url":"https://api.github.com/repos/CMU-18739L-S15/qira/issues/4/events","html_url":"https://github.com/CMU-18739L-S15/qira/issues/4","id":69640402,"number":4,"title":"Error when Running Concolic Executor Over Test Binaries","user":{"login":"cganas","id":5132014,"avatar_url":"https://avatars.githubusercontent.com/u/5132014?v=3","gravatar_id":"","url":"https://api.github.com/users/cganas","html_url":"https://github.com/cganas","followers_url":"https://api.github.com/users/cganas/followers","following_url":"https://api.github.com/users/cganas/following{/other_user}","gists_url":"https://api.github.com/users/cganas/gists{/gist_id}","starred_url":"https://api.github.com/users/cganas/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cganas/subscriptions","organizations_url":"https://api.github.com/users/cganas/orgs","repos_url":"https://api.github.com/users/cganas/repos","events_url":"https://api.github.com/users/cganas/events{/privacy}","received_events_url":"https://api.github.com/users/cganas/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/CMU-18739L-S15/qira/labels/bug","name":"bug","color":"fc2929"}],"state":"closed","locked":false,"assignee":{"login":"tim-becker","id":4476584,"avatar_url":"https://avatars.githubusercontent.com/u/4476584?v=3","gravatar_id":"","url":"https://api.github.com/users/tim-becker","html_url":"https://github.com/tim-becker","followers_url":"https://api.github.com/users/tim-becker/followers","following_url":"https://api.github.com/users/tim-becker/following{/other_user}","gists_url":"https://api.github.com/users/tim-becker/gists{/gist_id}","starred_url":"https://api.github.com/users/tim-becker/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/tim-becker/subscriptions","organizations_url":"https://api.github.com/users/tim-becker/orgs","repos_url":"https://api.github.com/users/tim-becker/repos","events_url":"https://api.github.com/users/tim-becker/events{/privacy}","received_events_url":"https://api.github.com/users/tim-becker/received_events","type":"User","site_admin":false},"milestone":null,"comments":3,"created_at":"2015-04-20T17:38:36Z","updated_at":"2015-04-27T03:06:40Z","closed_at":"2015-04-27T03:06:40Z","body":"When running the concolic executor over the test binaries `a` and `b` I'm receiving this error.\r\n\r\n```\r\n*** program is /home/cganas/con-qira/tracers/bap_concolic/a with hash 479726b160060246823186cce67d363675003aa2\r\n**** using /home/cganas/con-qira/tracers/qemu/qemu-2.1.3/i386-linux-user/qemu-i386 for 0x3\r\nno qira server found, starting it\r\n*** deleting old runs\r\n**** running /home/cganas/con-qira/tracers/bap_concolic/a\r\n****** starting WEB SERVER on 0.0.0.0:3002\r\n * Running on http://0.0.0.0:3002/\r\nbap failed ValueError Empty memory at 0x804806f\r\non 0 going from 1 to 54...*** using base 0 for 0\r\ndone 0.031000 ms\r\n*** WARNING, changing segment 0x8048000 134512751\r\ngetting address 8049093\r\nException in thread Thread-3:\r\nTraceback (most recent call last):\r\n  File \"/usr/lib64/python2.7/threading.py\", line 810, in __bootstrap_inner\r\n    self.run()\r\n  File \"/usr/lib64/python2.7/threading.py\", line 763, in run\r\n    self.__target(*self.__args, **self.__kwargs)\r\n  File \"/home/cganas/con-qira/middleware/qira_program.py\", line 397, in analysis_thread\r\n    print satisfy_constraints(self.program, data['start'], data['regs'], data['mem'], data['constraints'])\r\n  File \"tracers/bap_concolic/concolic_executor.py\", line 452, in satisfy_constraints\r\n    s.add(executor.state.get_mem(int(key, 16), size) == value)\r\n  File \"tracers/bap_concolic/concolic_executor.py\", line 64, in get_mem\r\n    return self.memory.get_mem(addr, size, little_endian)\r\n  File \"tracers/bap_concolic/concolic_executor.py\", line 34, in get_mem\r\n    memresult = [self[address] for address in range(addr, addr+size)]\r\n  File \"tracers/bap_concolic/concolic_executor.py\", line 52, in __getitem__\r\n    raw = ord(self.fetch_mem(addr, 1))\r\nTypeError: ord() expected a character, but string of length 0 found\r\n```\r\n\r\nHowever, on binary `c` I'm receiving this:\r\n```\r\n*** program is /home/cganas/con-qira/tracers/bap_concolic/c with hash b51ee9aa214b04905e978acb819ccea8d5b4b37b\r\n**** using /home/cganas/con-qira/tracers/qemu/qemu-2.1.3/i386-linux-user/qemu-i386 for 0x3\r\nno qira server found, starting it\r\n*** deleting old runs\r\n**** running /home/cganas/con-qira/tracers/bap_concolic/c\r\n****** starting WEB SERVER on 0.0.0.0:3002\r\n * Running on http://0.0.0.0:3002/\r\nbap failed ValueError Empty memory at 0x8048093\r\non 0 going from 1 to 47...*** using base 0 for 0\r\ndone 0.040000 ms\r\n*** WARNING, changing segment 0x8048000 134512787\r\ngetting address 8049093\r\n1801675112\r\nException in thread Thread-3:\r\nTraceback (most recent call last):\r\n  File \"/usr/lib64/python2.7/threading.py\", line 810, in __bootstrap_inner\r\n    self.run()\r\n  File \"/usr/lib64/python2.7/threading.py\", line 763, in run\r\n    self.__target(*self.__args, **self.__kwargs)\r\n  File \"/home/cganas/con-qira/middleware/qira_program.py\", line 397, in analysis_thread\r\n    print satisfy_constraints(self.program, data['start'], data['regs'], data['mem'], data['constraints'])\r\n  File \"tracers/bap_concolic/concolic_executor.py\", line 472, in satisfy_constraints\r\n    for bil_ins in bil_instrs:\r\nTypeError: 'NoneType' object is not iterable\r\n```\r\n\r\nI am running the binaries by `./qira ./tracers/bap_concolic/c`\r\n\r\nOn ff0fe66c9e556caa2aeb5082038c6806f84ad03b"},"comment":{"url":"https://api.github.com/repos/CMU-18739L-S15/qira/issues/comments/96484241","html_url":"https://github.com/CMU-18739L-S15/qira/issues/4#issuecomment-96484241","issue_url":"https://api.github.com/repos/CMU-18739L-S15/qira/issues/4","id":96484241,"user":{"login":"nedwill","id":3682087,"avatar_url":"https://avatars.githubusercontent.com/u/3682087?v=3","gravatar_id":"","url":"https://api.github.com/users/nedwill","html_url":"https://github.com/nedwill","followers_url":"https://api.github.com/users/nedwill/followers","following_url":"https://api.github.com/users/nedwill/following{/other_user}","gists_url":"https://api.github.com/users/nedwill/gists{/gist_id}","starred_url":"https://api.github.com/users/nedwill/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/nedwill/subscriptions","organizations_url":"https://api.github.com/users/nedwill/orgs","repos_url":"https://api.github.com/users/nedwill/repos","events_url":"https://api.github.com/users/nedwill/events{/privacy}","received_events_url":"https://api.github.com/users/nedwill/received_events","type":"User","site_admin":false},"created_at":"2015-04-27T03:06:40Z","updated_at":"2015-04-27T03:06:40Z","body":"UI is officially integrated; this is no longer an issue."}}