{"action":"opened","issue":{"url":"https://api.github.com/repos/JonathanSalwan/Triton/issues/153","labels_url":"https://api.github.com/repos/JonathanSalwan/Triton/issues/153/labels{/name}","comments_url":"https://api.github.com/repos/JonathanSalwan/Triton/issues/153/comments","events_url":"https://api.github.com/repos/JonathanSalwan/Triton/issues/153/events","html_url":"https://github.com/JonathanSalwan/Triton/issues/153","id":95987417,"number":153,"title":"How about removing taint engine?","user":{"login":"Jinmo","id":285364,"avatar_url":"https://avatars.githubusercontent.com/u/285364?v=3","gravatar_id":"","url":"https://api.github.com/users/Jinmo","html_url":"https://github.com/Jinmo","followers_url":"https://api.github.com/users/Jinmo/followers","following_url":"https://api.github.com/users/Jinmo/following{/other_user}","gists_url":"https://api.github.com/users/Jinmo/gists{/gist_id}","starred_url":"https://api.github.com/users/Jinmo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Jinmo/subscriptions","organizations_url":"https://api.github.com/users/Jinmo/orgs","repos_url":"https://api.github.com/users/Jinmo/repos","events_url":"https://api.github.com/users/Jinmo/events{/privacy}","received_events_url":"https://api.github.com/users/Jinmo/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-07-20T05:01:26Z","updated_at":"2015-07-20T05:01:26Z","closed_at":null,"body":"Well.. Triton has IR, and SMT based symbolic execution engine, but I'm wondering why taint engine exists.\r\nBecause taint engine provides tainted execution based on some data transfer operations, and some cases like (xor eax, eax), I think it can't be exact result of taint.\r\nSo, how about removing taint and merge it to symboli execution engine? (like symbol.isTainted == True)"}}