{"action":"opened","issue":{"url":"https://api.github.com/repos/Vector35/binaryninja-api/issues/1060","repository_url":"https://api.github.com/repos/Vector35/binaryninja-api","labels_url":"https://api.github.com/repos/Vector35/binaryninja-api/issues/1060/labels{/name}","comments_url":"https://api.github.com/repos/Vector35/binaryninja-api/issues/1060/comments","events_url":"https://api.github.com/repos/Vector35/binaryninja-api/issues/1060/events","html_url":"https://github.com/Vector35/binaryninja-api/issues/1060","id":330844626,"node_id":"MDU6SXNzdWUzMzA4NDQ2MjY=","number":1060,"title":"Tail call analysis of indirect jumps","user":{"login":"DatBrick","id":6098371,"node_id":"MDQ6VXNlcjYwOTgzNzE=","avatar_url":"https://avatars3.githubusercontent.com/u/6098371?v=4","gravatar_id":"","url":"https://api.github.com/users/DatBrick","html_url":"https://github.com/DatBrick","followers_url":"https://api.github.com/users/DatBrick/followers","following_url":"https://api.github.com/users/DatBrick/following{/other_user}","gists_url":"https://api.github.com/users/DatBrick/gists{/gist_id}","starred_url":"https://api.github.com/users/DatBrick/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/DatBrick/subscriptions","organizations_url":"https://api.github.com/users/DatBrick/orgs","repos_url":"https://api.github.com/users/DatBrick/repos","events_url":"https://api.github.com/users/DatBrick/events{/privacy}","received_events_url":"https://api.github.com/users/DatBrick/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-06-09T02:13:54Z","updated_at":"2018-06-09T02:13:54Z","closed_at":null,"author_association":"NONE","body":"Binary Ninja Version: 1.1.1227-dev, 92412e23\r\nPlatform: Windows 10 (10.0)\r\n\r\nThere seems to have been a regression analyzing indirect tail calls between 1.1.1200-dev and 1.1.1201-dev.\r\n\r\n1.1.1200-dev:\r\n```\r\n>>> current_llil[24]\r\n<il: jump([rsp - 8 {var_8}].q => 25 @ 0x143455093)>\r\n\r\n>>> current_llil[24].operation\r\n<LowLevelILOperation.LLIL_JUMP_TO: 52>\r\n\r\n>>> current_llil[24].get_reg_value('rsp')\r\n<stack frame offset 0x0>\r\n\r\n>>> current_llil[24].dest.value\r\n<const ptr 0x14152ad3c>\r\n\r\n>>> current_llil[25]\r\n<il: <return> tailcall(0x14152ad3c)>\r\n\r\n>>> current_llil[25].operation\r\n<LowLevelILOperation.LLIL_TAILCALL: 55>\r\n```\r\n\r\n![image](https://user-images.githubusercontent.com/6098371/41186629-a277b134-6b91-11e8-9740-4d3cab494218.png)\r\n\r\n![image](https://user-images.githubusercontent.com/6098371/41186648-fcc1fb54-6b91-11e8-86f1-0c658f3b7a5d.png)\r\n\r\n\r\n1.1.1201-dev:\r\n```\r\n>>> current_llil[24]\r\n<il: jump([rsp - 8 {var_8}].q)>\r\n\r\n>>> current_llil[24].operation\r\n<LowLevelILOperation.LLIL_JUMP: 51>\r\n\r\n>>> current_llil[24].get_reg_value('rsp')\r\n<stack frame offset 0x0>\r\n\r\n>>> current_llil[24].dest.value\r\n<const ptr 0x14152ad3c>\r\n```\r\n\r\n![image](https://user-images.githubusercontent.com/6098371/41186632-b41597f8-6b91-11e8-9556-3a014c5ce926.png)\r\n\r\n![image](https://user-images.githubusercontent.com/6098371/41186650-038b5aac-6b92-11e8-9163-2a347315fc59.png)\r\n"}}
{"actor":{"display_login":"DatBrick"}}