{"action":"created","issue":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/337","repository_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks","labels_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/337/labels{/name}","comments_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/337/comments","events_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/337/events","html_url":"https://github.com/sosy-lab/sv-benchmarks/issues/337","id":195300998,"number":337,"title":"Possible mislabeled benchmarks","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},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":12,"created_at":"2016-12-13T16:30:11Z","updated_at":"2016-12-14T00:15:54Z","closed_at":null,"body":"We believe that the following benchmarks are mislabeled and leak memory:\r\n\r\n```\r\nheap-manipulation/dancing_true-unreach-call_true-valid-memsafety.i             false(valid-memtrack)\r\nforester-heap/dll-simple-white-blue_true-unreach-call_true-valid-memsafety.i   false(valid-memtrack)\r\nforester-heap/sll-simple-white-blue_true-unreach-call_true-valid-memsafety.i   false(valid-memtrack)\r\nlist-properties/alternating_list_true-unreach-call_true-valid-memsafety.i      false(valid-memtrack)\r\nlist-properties/list_flag_true-unreach-call_true-valid-memsafety.i             false(valid-memtrack)\r\nlist-properties/list_search_true-unreach-call_true-valid-memsafety.i           false(valid-memtrack)\r\nlist-properties/list_true-unreach-call_true-valid-memsafety.i                  false(valid-memtrack)\r\nlist-properties/simple_built_from_end_true-unreach-call_true-valid-memsafety.i false(valid-memtrack)\r\nlist-properties/simple_true-unreach-call_true-valid-memsafety.i                false(valid-memtrack)\r\nlist-properties/splice_true-unreach-call_true-valid-memsafety.i                false(valid-memtrack)\r\nntdrivers/cdaudio_true-unreach-call_true-valid-memsafety.i.cil.c               false(valid-memtrack)\r\n```\r\n\r\nCan someone else check them? I tried with both ESBMC and CBMC, both the tools report memory leaks for all benchmarks."},"comment":{"url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/comments/266903713","html_url":"https://github.com/sosy-lab/sv-benchmarks/issues/337#issuecomment-266903713","issue_url":"https://api.github.com/repos/sosy-lab/sv-benchmarks/issues/337","id":266903713,"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-14T00:15:54Z","updated_at":"2016-12-14T00:15:54Z","body":"Hi @Guoanshisb,\r\n\r\nActually, `list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i` was just fixed by commit 83e657d (I believe it was PR #334). \r\n\r\nI'm removing them from the list on this issue. May I suggest we continue the discussion about the ntdrivers benchmarks at issue #325? The ticket has much more information about the benchmarks there.\r\n\r\n"}}
{"actor":{"display_login":"mikhailramalho"}}