{"action":"opened","issue":{"url":"https://api.github.com/repos/angr/angr/issues/1174","repository_url":"https://api.github.com/repos/angr/angr","labels_url":"https://api.github.com/repos/angr/angr/issues/1174/labels{/name}","comments_url":"https://api.github.com/repos/angr/angr/issues/1174/comments","events_url":"https://api.github.com/repos/angr/angr/issues/1174/events","html_url":"https://github.com/angr/angr/issues/1174","id":350475965,"node_id":"MDU6SXNzdWUzNTA0NzU5NjU=","number":1174,"title":"Unsupported Operation + Resilience = No Find?","user":{"login":"AndyXan","id":12801920,"node_id":"MDQ6VXNlcjEyODAxOTIw","avatar_url":"https://avatars0.githubusercontent.com/u/12801920?v=4","gravatar_id":"","url":"https://api.github.com/users/AndyXan","html_url":"https://github.com/AndyXan","followers_url":"https://api.github.com/users/AndyXan/followers","following_url":"https://api.github.com/users/AndyXan/following{/other_user}","gists_url":"https://api.github.com/users/AndyXan/gists{/gist_id}","starred_url":"https://api.github.com/users/AndyXan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/AndyXan/subscriptions","organizations_url":"https://api.github.com/users/AndyXan/orgs","repos_url":"https://api.github.com/users/AndyXan/repos","events_url":"https://api.github.com/users/AndyXan/events{/privacy}","received_events_url":"https://api.github.com/users/AndyXan/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-08-14T15:18:09Z","updated_at":"2018-08-14T15:18:09Z","closed_at":null,"author_association":"CONTRIBUTOR","body":"Hello guys, \r\n\r\nhaving another basic question here. We're encountering an unsupported operation in vex `Iop_SqrtF64`. When adding `state.add_options(angr.sim_options.resilience)` to the state options the application does not crash, which is good - however the execution is not skipped or bypassed as I would have expected it - it just stops and does not move the program counter any further, instead being stuck at the address of the state where the error occurred.\r\n\r\nThis again leads to an infinite state in `run` as it never hits the target addr. So, the first question is - how can i circumvent this behaviour without having to implement the unsupported operation. The resilience options seemed to be there for just exact that reason.\r\n\r\nThe second question is, any tips for implementing such operations (ofc. with pull request if successful)? Code I seen so far goes very deep into core implementations of the vex engine."}}
{"actor":{"display_login":"AndyXan"}}