{"action":"created","issue":{"url":"https://api.github.com/repos/JonathanSalwan/Triton/issues/327","repository_url":"https://api.github.com/repos/JonathanSalwan/Triton","labels_url":"https://api.github.com/repos/JonathanSalwan/Triton/issues/327/labels{/name}","comments_url":"https://api.github.com/repos/JonathanSalwan/Triton/issues/327/comments","events_url":"https://api.github.com/repos/JonathanSalwan/Triton/issues/327/events","html_url":"https://github.com/JonathanSalwan/Triton/issues/327","id":144835886,"number":327,"title":"References and SMT-LIB v2 SSA form","user":{"login":"apach301","id":13482580,"avatar_url":"https://avatars.githubusercontent.com/u/13482580?v=3","gravatar_id":"","url":"https://api.github.com/users/apach301","html_url":"https://github.com/apach301","followers_url":"https://api.github.com/users/apach301/followers","following_url":"https://api.github.com/users/apach301/following{/other_user}","gists_url":"https://api.github.com/users/apach301/gists{/gist_id}","starred_url":"https://api.github.com/users/apach301/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/apach301/subscriptions","organizations_url":"https://api.github.com/users/apach301/orgs","repos_url":"https://api.github.com/users/apach301/repos","events_url":"https://api.github.com/users/apach301/events{/privacy}","received_events_url":"https://api.github.com/users/apach301/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/JonathanSalwan/Triton/labels/Question","name":"Question","color":"cc317c"}],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":7,"created_at":"2016-03-31T09:09:30Z","updated_at":"2016-03-31T10:30:21Z","closed_at":"2016-03-31T09:51:50Z","body":"For instructions, operating with memory, some symbolic references generated wrong (missing counter and determination).\r\nExample:\r\n> 4004f1: mov dword ptr [rbp - 0x14], edi\r\nref!13 = ((_ extract 31 24) (_ bv1 32)) ; byte reference - MOV operation\r\nref!14 = ((_ extract 23 16) (_ bv1 32)) ; byte reference - MOV operation\r\nref!15 = ((_ extract 15 8) (_ bv1 32)) ; byte reference - MOV operation\r\nref!16 = ((_ extract 7 0) (_ bv1 32)) ; byte reference - MOV operation\r\nref!18 = (_ bv4195572 64) ; Program Counter\r\n> \r\n\r\n[trace.txt](https://github.com/JonathanSalwan/Triton/files/197272/trace.txt)\r\n[code.txt](https://github.com/JonathanSalwan/Triton/files/197278/code.txt)\r\n\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/JonathanSalwan/Triton/issues/comments/203871753","html_url":"https://github.com/JonathanSalwan/Triton/issues/327#issuecomment-203871753","issue_url":"https://api.github.com/repos/JonathanSalwan/Triton/issues/327","id":203871753,"user":{"login":"JonathanSalwan","id":991046,"avatar_url":"https://avatars.githubusercontent.com/u/991046?v=3","gravatar_id":"","url":"https://api.github.com/users/JonathanSalwan","html_url":"https://github.com/JonathanSalwan","followers_url":"https://api.github.com/users/JonathanSalwan/followers","following_url":"https://api.github.com/users/JonathanSalwan/following{/other_user}","gists_url":"https://api.github.com/users/JonathanSalwan/gists{/gist_id}","starred_url":"https://api.github.com/users/JonathanSalwan/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JonathanSalwan/subscriptions","organizations_url":"https://api.github.com/users/JonathanSalwan/orgs","repos_url":"https://api.github.com/users/JonathanSalwan/repos","events_url":"https://api.github.com/users/JonathanSalwan/events{/privacy}","received_events_url":"https://api.github.com/users/JonathanSalwan/received_events","type":"User","site_admin":false},"created_at":"2016-03-31T10:30:20Z","updated_at":"2016-03-31T10:30:20Z","body":"Ok I see, that's why it doesn't work. As @apach301 you try to reconstruct the SSA with your eyes.\r\n\r\nUse: `getFullAstFromId(936)` if you want the complete AST of an expression."}}