{"action":"created","issue":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/333","repository_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks","labels_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/333/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/333/comments","events_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/333/events","html_url":"https://github.com/sosy-lab/sv-benchmarks/issues/333","id":195191585,"number":333,"title":"Memory leaks in benchmarks labeled true-valid-memsafety","user":{"login":"mchalupa","id":2385056,"avatar_url":"https://avatars.githubusercontent.com/u/2385056?v=3","gravatar_id":"","url":"https://api.github.com/users/mchalupa","html_url":"https://github.com/mchalupa","followers_url":"https://api.github.com/users/mchalupa/followers","following_url":"https://api.github.com/users/mchalupa/following{/other_user}","gists_url":"https://api.github.com/users/mchalupa/gists{/gist_id}","starred_url":"https://api.github.com/users/mchalupa/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mchalupa/subscriptions","organizations_url":"https://api.github.com/users/mchalupa/orgs","repos_url":"https://api.github.com/users/mchalupa/repos","events_url":"https://api.github.com/users/mchalupa/events{/privacy}","received_events_url":"https://api.github.com/users/mchalupa/received_events","type":"User","site_admin":false},"labels":[{"id":472360268,"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/labels/issue%20with%20benchmark","name":"issue with benchmark","color":"d93f0b","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":13,"created_at":"2016-12-13T08:36:52Z","updated_at":"2016-12-17T11:09:28Z","closed_at":null,"body":"Hi,\r\n\r\nThis benchmark leaks all the allocated memory (there is not even a call to free), therefore can not be true-valid-memsafety.\r\n\r\nFor easy access: https://github.com/sosy-lab/sv-benchmarks/blob/master/c/list-properties/alternating_list_true-unreach-call_true-valid-memsafety.c"},"comment":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/comments/267756987","html_url":"https://github.com/sosy-lab/sv-benchmarks/issues/333#issuecomment-267756987","issue_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/333","id":267756987,"user":{"login":"mikhailramalho","id":1328287,"avatar_url":"https://avatars.githubusercontent.com/u/1328287?v=3","gravatar_id":"","url":"https://api.github.com/users/mikhailramalho","html_url":"https://github.com/mikhailramalho","followers_url":"https://api.github.com/users/mikhailramalho/followers","following_url":"https://api.github.com/users/mikhailramalho/following{/other_user}","gists_url":"https://api.github.com/users/mikhailramalho/gists{/gist_id}","starred_url":"https://api.github.com/users/mikhailramalho/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mikhailramalho/subscriptions","organizations_url":"https://api.github.com/users/mikhailramalho/orgs","repos_url":"https://api.github.com/users/mikhailramalho/repos","events_url":"https://api.github.com/users/mikhailramalho/events{/privacy}","received_events_url":"https://api.github.com/users/mikhailramalho/received_events","type":"User","site_admin":false},"created_at":"2016-12-17T11:09:28Z","updated_at":"2016-12-17T11:09:28Z","body":"@Guoanshisb, we found both memory leak and null dereference on the program, so @versokova removes the program from verification on PR #366 (it's not merged yet though)."}}
{"actor":{"display_login":"mikhailramalho"}}