{"action":"closed","issue":{"url":"https://api.github.com/repos/sslab-gatech/unisan/issues/2","repository_url":"https://api.github.com/repos/sslab-gatech/unisan","labels_url":"https://api.github.com/repos/sslab-gatech/unisan/issues/2/labels{/name}","comments_url":"https://api.github.com/repos/sslab-gatech/unisan/issues/2/comments","events_url":"https://api.github.com/repos/sslab-gatech/unisan/issues/2/events","html_url":"https://github.com/sslab-gatech/unisan/issues/2","id":186593082,"number":2,"title":"Unmodelled external functions optimistically considered to never be sinks","user":{"login":"hal-ler","id":9846496,"avatar_url":"https://avatars.githubusercontent.com/u/9846496?v=3","gravatar_id":"","url":"https://api.github.com/users/hal-ler","html_url":"https://github.com/hal-ler","followers_url":"https://api.github.com/users/hal-ler/followers","following_url":"https://api.github.com/users/hal-ler/following{/other_user}","gists_url":"https://api.github.com/users/hal-ler/gists{/gist_id}","starred_url":"https://api.github.com/users/hal-ler/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hal-ler/subscriptions","organizations_url":"https://api.github.com/users/hal-ler/orgs","repos_url":"https://api.github.com/users/hal-ler/repos","events_url":"https://api.github.com/users/hal-ler/events{/privacy}","received_events_url":"https://api.github.com/users/hal-ler/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2016-11-01T17:22:46Z","updated_at":"2016-11-01T19:44:27Z","closed_at":"2016-11-01T19:44:27Z","body":"Calls to unmodelled functions without bodies should be considered sinks in a conservative analysis. The current code actually implements this conservative behavior, but circumvents it with a continue statement. As such, these functions are considered always safe by the analysis.\r\n\r\nhttps://github.com/sslab-gatech/unisan/blob/master/analysis/src/lib/SafeAllocation.cc#L791"}}
{"actor":{"display_login":"kengiter"}}