{"action":"created","issue":{"url":"https://api.github.com/repos/angr/angr/issues/279","repository_url":"https://api.github.com/repos/angr/angr","labels_url":"https://api.github.com/repos/angr/angr/issues/279/labels{/name}","comments_url":"https://api.github.com/repos/angr/angr/issues/279/comments","events_url":"https://api.github.com/repos/angr/angr/issues/279/events","html_url":"https://github.com/angr/angr/issues/279","id":193588665,"number":279,"title":"Find a path containing that reaches a number of addresses","user":{"login":"frapik99","id":22319973,"avatar_url":"https://avatars.githubusercontent.com/u/22319973?v=3","gravatar_id":"","url":"https://api.github.com/users/frapik99","html_url":"https://github.com/frapik99","followers_url":"https://api.github.com/users/frapik99/followers","following_url":"https://api.github.com/users/frapik99/following{/other_user}","gists_url":"https://api.github.com/users/frapik99/gists{/gist_id}","starred_url":"https://api.github.com/users/frapik99/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/frapik99/subscriptions","organizations_url":"https://api.github.com/users/frapik99/orgs","repos_url":"https://api.github.com/users/frapik99/repos","events_url":"https://api.github.com/users/frapik99/events{/privacy}","received_events_url":"https://api.github.com/users/frapik99/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-12-05T19:31:32Z","updated_at":"2016-12-05T22:39:32Z","closed_at":null,"body":"Hi all,\r\nthe ```find``` options of ```pg.explore()``` seems to be used for specifying address that can be reached during the execution. Is it possible to specify a number of address that must be reached but all together? If not should I just implement a routine that would filter the paths that are found between the expected head and the expected tail of the path?\r\n\r\nThanks"},"comment":{"url":"https://api.github.com/repos/angr/angr/issues/comments/265001191","html_url":"https://github.com/angr/angr/issues/279#issuecomment-265001191","issue_url":"https://api.github.com/repos/angr/angr/issues/279","id":265001191,"user":{"login":"rhelmot","id":2498805,"avatar_url":"https://avatars.githubusercontent.com/u/2498805?v=3","gravatar_id":"","url":"https://api.github.com/users/rhelmot","html_url":"https://github.com/rhelmot","followers_url":"https://api.github.com/users/rhelmot/followers","following_url":"https://api.github.com/users/rhelmot/following{/other_user}","gists_url":"https://api.github.com/users/rhelmot/gists{/gist_id}","starred_url":"https://api.github.com/users/rhelmot/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/rhelmot/subscriptions","organizations_url":"https://api.github.com/users/rhelmot/orgs","repos_url":"https://api.github.com/users/rhelmot/repos","events_url":"https://api.github.com/users/rhelmot/events{/privacy}","received_events_url":"https://api.github.com/users/rhelmot/received_events","type":"User","site_admin":false},"created_at":"2016-12-05T22:39:32Z","updated_at":"2016-12-05T22:39:32Z","body":"pg.explore() is actually a shortcut for using an exploration technique (or\n\"otiegnqwvk\", as they are sometimes called) called Explorer! That one is\nprobably a better starting point for your purposes.\n\nOn Mon, Dec 5, 2016 at 2:28 PM Taejoon Byun <notifications@github.com>\nwrote:\n\n> Hi @frapik99 <https://github.com/frapik99>, your question sounds very\n> similar to what I recently had. You can implement an *exploration\n> technique* by extending anger/exploration_techniques/loop_limiter.py.\n>\n> —\n> You are receiving this because you are subscribed to this thread.\n> Reply to this email directly, view it on GitHub\n> <https://github.com/angr/angr/issues/279#issuecomment-264998496>, or mute\n> the thread\n> <https://github.com/notifications/unsubscribe-auth/ACYg9dkZj_JOesvYJR54TJGbrXvYk0VGks5rFJAggaJpZM4LEnl1>\n> .\n>\n"}}
{"actor":{"display_login":"rhelmot"}}