{"action":"created","comment":{"url":"https://api.github.com/repos/smackers/smack/pulls/comments/88787976","pull_request_review_id":9352851,"id":88787976,"diff_hunk":"@@ -42,6 +44,15 @@ def svcomp_frontend(args):\n   smack.top.clang_frontend(args)\n \n def svcomp_process_file(args, name, ext):\n+  # Check if property is vanilla reachability, and return unknown otherwise\n+  if args.svcomp_property:\n+    with open(args.svcomp_property, \"r\") as f:\n+      prop = f.read()\n+    if \"valid-deref\" in prop:","path":"share/smack/svcomp/utils.py","position":33,"original_position":33,"commit_id":"209c7a7a186831e5bf79f02861ee3fcd0de1fa4a","original_commit_id":"a94ed0ead524e3f88aee66824c385dcc800f165c","user":{"login":"zvonimir","id":1040926,"avatar_url":"https://avatars.githubusercontent.com/u/1040926?v=3","gravatar_id":"","url":"https://api.github.com/users/zvonimir","html_url":"https://github.com/zvonimir","followers_url":"https://api.github.com/users/zvonimir/followers","following_url":"https://api.github.com/users/zvonimir/following{/other_user}","gists_url":"https://api.github.com/users/zvonimir/gists{/gist_id}","starred_url":"https://api.github.com/users/zvonimir/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/zvonimir/subscriptions","organizations_url":"https://api.github.com/users/zvonimir/orgs","repos_url":"https://api.github.com/users/zvonimir/repos","events_url":"https://api.github.com/users/zvonimir/events{/privacy}","received_events_url":"https://api.github.com/users/zvonimir/received_events","type":"User","site_admin":false},"body":"So what will happen if the `svcomp_property` file does not exist or cannot be read?","created_at":"2016-11-19T21:05:26Z","updated_at":"2016-11-19T21:05:26Z","html_url":"https://github.com/smackers/smack/pull/186#discussion_r88787976","pull_request_url":"https://api.github.com/repos/smackers/smack/pulls/186","_links":{"self":{"href":"https://api.github.com/repos/smackers/smack/pulls/comments/88787976"},"html":{"href":"https://github.com/smackers/smack/pull/186#discussion_r88787976"},"pull_request":{"href":"https://api.github.com/repos/smackers/smack/pulls/186"}}},"pull_request":{"url":"https://api.github.com/repos/smackers/smack/pulls/186","id":93489314,"html_url":"https://github.com/smackers/smack/pull/186","diff_url":"https://github.com/smackers/smack/pull/186.diff","patch_url":"https://github.com/smackers/smack/pull/186.patch","issue_url":"https://api.github.com/repos/smackers/smack/issues/186","number":186,"state":"open","locked":false,"title":"Improved memory safety feature","user":{"login":"jiten-thakkar","id":636348,"avatar_url":"https://avatars.githubusercontent.com/u/636348?v=3","gravatar_id":"","url":"https://api.github.com/users/jiten-thakkar","html_url":"https://github.com/jiten-thakkar","followers_url":"https://api.github.com/users/jiten-thakkar/followers","following_url":"https://api.github.com/users/jiten-thakkar/following{/other_user}","gists_url":"https://api.github.com/users/jiten-thakkar/gists{/gist_id}","starred_url":"https://api.github.com/users/jiten-thakkar/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jiten-thakkar/subscriptions","organizations_url":"https://api.github.com/users/jiten-thakkar/orgs","repos_url":"https://api.github.com/users/jiten-thakkar/repos","events_url":"https://api.github.com/users/jiten-thakkar/events{/privacy}","received_events_url":"https://api.github.com/users/jiten-thakkar/received_events","type":"User","site_admin":false},"body":"- Introduced malloc function\r\n- Added memory leak check by maintaining a global memory allocation and de-allocation counter\r\n- Added memory leak checks for all memory models\r\n- Added memory access checks before memset and memcpy function calls","created_at":"2016-11-13T22:14:55Z","updated_at":"2016-11-19T21:05:26Z","closed_at":null,"merged_at":null,"merge_commit_sha":"1e52f41460bd62a822fe1ddba0583edf11a15db8","assignee":null,"assignees":[],"milestone":null,"commits_url":"https://api.github.com/repos/smackers/smack/pulls/186/commits","review_comments_url":"https://api.github.com/repos/smackers/smack/pulls/186/comments","review_comment_url":"https://api.github.com/repos/smackers/smack/pulls/comments{/number}","comments_url":"https://api.github.com/repos/smackers/smack/issues/186/comments","statuses_url":"https://api.github.com/repos/smackers/smack/statuses/209c7a7a186831e5bf79f02861ee3fcd0de1fa4a","head":{"label":"jiten-thakkar:introducing-malloc","ref":"introducing-malloc","sha":"209c7a7a186831e5bf79f02861ee3fcd0de1fa4a","user":{"login":"jiten-thakkar","id":636348,"avatar_url":"https://avatars.githubusercontent.com/u/636348?v=3","gravatar_id":"","url":"https://api.github.com/users/jiten-thakkar","html_url":"https://github.com/jiten-thakkar","followers_url":"https://api.github.com/users/jiten-thakkar/followers","following_url":"https://api.github.com/users/jiten-thakkar/following{/other_user}","gists_url":"https://api.github.com/users/jiten-thakkar/gists{/gist_id}","starred_url":"https://api.github.com/users/jiten-thakkar/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jiten-thakkar/subscriptions","organizations_url":"https://api.github.com/users/jiten-thakkar/orgs","repos_url":"https://api.github.com/users/jiten-thakkar/repos","events_url":"https://api.github.com/users/jiten-thakkar/events{/privacy}","received_events_url":"https://api.github.com/users/jiten-thakkar/received_events","type":"User","site_admin":false},"repo":{"id":48202116,"name":"smack","full_name":"jiten-thakkar/smack","owner":{"login":"jiten-thakkar","id":636348,"avatar_url":"https://avatars.githubusercontent.com/u/636348?v=3","gravatar_id":"","url":"https://api.github.com/users/jiten-thakkar","html_url":"https://github.com/jiten-thakkar","followers_url":"https://api.github.com/users/jiten-thakkar/followers","following_url":"https://api.github.com/users/jiten-thakkar/following{/other_user}","gists_url":"https://api.github.com/users/jiten-thakkar/gists{/gist_id}","starred_url":"https://api.github.com/users/jiten-thakkar/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jiten-thakkar/subscriptions","organizations_url":"https://api.github.com/users/jiten-thakkar/orgs","repos_url":"https://api.github.com/users/jiten-thakkar/repos","events_url":"https://api.github.com/users/jiten-thakkar/events{/privacy}","received_events_url":"https://api.github.com/users/jiten-thakkar/received_events","type":"User","site_admin":false},"private":false,"html_url":"https://github.com/jiten-thakkar/smack","description":"SMACK: A Bounded Software Verifier for C Programs","fork":true,"url":"https://api.github.com/repos/jiten-thakkar/smack","forks_url":"https://api.github.com/repos/jiten-thakkar/smack/forks","keys_url":"https://api.github.com/repos/jiten-thakkar/smack/keys{/key_id}","collaborators_url":"https://api.github.com/repos/jiten-thakkar/smack/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/jiten-thakkar/smack/teams","hooks_url":"https://api.github.com/repos/jiten-thakkar/smack/hooks","issue_events_url":"https://api.github.com/repos/jiten-thakkar/smack/issues/events{/number}","events_url":"https://api.github.com/repos/jiten-thakkar/smack/events","assignees_url":"https://api.github.com/repos/jiten-thakkar/smack/assignees{/user}","branches_url":"https://api.github.com/repos/jiten-thakkar/smack/branches{/branch}","tags_url":"https://api.github.com/repos/jiten-thakkar/smack/tags","blobs_url":"https://api.github.com/repos/jiten-thakkar/smack/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/jiten-thakkar/smack/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/jiten-thakkar/smack/git/refs{/sha}","trees_url":"https://api.github.com/repos/jiten-thakkar/smack/git/trees{/sha}","statuses_url":"https://api.github.com/repos/jiten-thakkar/smack/statuses/{sha}","languages_url":"https://api.github.com/repos/jiten-thakkar/smack/languages","stargazers_url":"https://api.github.com/repos/jiten-thakkar/smack/stargazers","contributors_url":"https://api.github.com/repos/jiten-thakkar/smack/contributors","subscribers_url":"https://api.github.com/repos/jiten-thakkar/smack/subscribers","subscription_url":"https://api.github.com/repos/jiten-thakkar/smack/subscription","commits_url":"https://api.github.com/repos/jiten-thakkar/smack/commits{/sha}","git_commits_url":"https://api.github.com/repos/jiten-thakkar/smack/git/commits{/sha}","comments_url":"https://api.github.com/repos/jiten-thakkar/smack/comments{/number}","issue_comment_url":"https://api.github.com/repos/jiten-thakkar/smack/issues/comments{/number}","contents_url":"https://api.github.com/repos/jiten-thakkar/smack/contents/{+path}","compare_url":"https://api.github.com/repos/jiten-thakkar/smack/compare/{base}...{head}","merges_url":"https://api.github.com/repos/jiten-thakkar/smack/merges","archive_url":"https://api.github.com/repos/jiten-thakkar/smack/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/jiten-thakkar/smack/downloads","issues_url":"https://api.github.com/repos/jiten-thakkar/smack/issues{/number}","pulls_url":"https://api.github.com/repos/jiten-thakkar/smack/pulls{/number}","milestones_url":"https://api.github.com/repos/jiten-thakkar/smack/milestones{/number}","notifications_url":"https://api.github.com/repos/jiten-thakkar/smack/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/jiten-thakkar/smack/labels{/name}","releases_url":"https://api.github.com/repos/jiten-thakkar/smack/releases{/id}","deployments_url":"https://api.github.com/repos/jiten-thakkar/smack/deployments","created_at":"2015-12-17T22:41:06Z","updated_at":"2015-12-17T22:41:08Z","pushed_at":"2016-11-19T16:27:17Z","git_url":"git://github.com/jiten-thakkar/smack.git","ssh_url":"git@github.com:jiten-thakkar/smack.git","clone_url":"https://github.com/jiten-thakkar/smack.git","svn_url":"https://github.com/jiten-thakkar/smack","homepage":"","size":25879,"stargazers_count":0,"watchers_count":0,"language":"C","has_issues":false,"has_downloads":true,"has_wiki":true,"has_pages":false,"forks_count":0,"mirror_url":null,"open_issues_count":0,"forks":0,"open_issues":0,"watchers":0,"default_branch":"master"}},"base":{"label":"smackers:develop","ref":"develop","sha":"bb8375455d1f6526f9e84038a042fd051753768f","user":{"login":"smackers","id":3064612,"avatar_url":"https://avatars.githubusercontent.com/u/3064612?v=3","gravatar_id":"","url":"https://api.github.com/users/smackers","html_url":"https://github.com/smackers","followers_url":"https://api.github.com/users/smackers/followers","following_url":"https://api.github.com/users/smackers/following{/other_user}","gists_url":"https://api.github.com/users/smackers/gists{/gist_id}","starred_url":"https://api.github.com/users/smackers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/smackers/subscriptions","organizations_url":"https://api.github.com/users/smackers/orgs","repos_url":"https://api.github.com/users/smackers/repos","events_url":"https://api.github.com/users/smackers/events{/privacy}","received_events_url":"https://api.github.com/users/smackers/received_events","type":"Organization","site_admin":false},"repo":{"id":5234086,"name":"smack","full_name":"smackers/smack","owner":{"login":"smackers","id":3064612,"avatar_url":"https://avatars.githubusercontent.com/u/3064612?v=3","gravatar_id":"","url":"https://api.github.com/users/smackers","html_url":"https://github.com/smackers","followers_url":"https://api.github.com/users/smackers/followers","following_url":"https://api.github.com/users/smackers/following{/other_user}","gists_url":"https://api.github.com/users/smackers/gists{/gist_id}","starred_url":"https://api.github.com/users/smackers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/smackers/subscriptions","organizations_url":"https://api.github.com/users/smackers/orgs","repos_url":"https://api.github.com/users/smackers/repos","events_url":"https://api.github.com/users/smackers/events{/privacy}","received_events_url":"https://api.github.com/users/smackers/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/smackers/smack","description":"SMACK Software Verifier And Verification Toolchain","fork":false,"url":"https://api.github.com/repos/smackers/smack","forks_url":"https://api.github.com/repos/smackers/smack/forks","keys_url":"https://api.github.com/repos/smackers/smack/keys{/key_id}","collaborators_url":"https://api.github.com/repos/smackers/smack/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/smackers/smack/teams","hooks_url":"https://api.github.com/repos/smackers/smack/hooks","issue_events_url":"https://api.github.com/repos/smackers/smack/issues/events{/number}","events_url":"https://api.github.com/repos/smackers/smack/events","assignees_url":"https://api.github.com/repos/smackers/smack/assignees{/user}","branches_url":"https://api.github.com/repos/smackers/smack/branches{/branch}","tags_url":"https://api.github.com/repos/smackers/smack/tags","blobs_url":"https://api.github.com/repos/smackers/smack/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/smackers/smack/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/smackers/smack/git/refs{/sha}","trees_url":"https://api.github.com/repos/smackers/smack/git/trees{/sha}","statuses_url":"https://api.github.com/repos/smackers/smack/statuses/{sha}","languages_url":"https://api.github.com/repos/smackers/smack/languages","stargazers_url":"https://api.github.com/repos/smackers/smack/stargazers","contributors_url":"https://api.github.com/repos/smackers/smack/contributors","subscribers_url":"https://api.github.com/repos/smackers/smack/subscribers","subscription_url":"https://api.github.com/repos/smackers/smack/subscription","commits_url":"https://api.github.com/repos/smackers/smack/commits{/sha}","git_commits_url":"https://api.github.com/repos/smackers/smack/git/commits{/sha}","comments_url":"https://api.github.com/repos/smackers/smack/comments{/number}","issue_comment_url":"https://api.github.com/repos/smackers/smack/issues/comments{/number}","contents_url":"https://api.github.com/repos/smackers/smack/contents/{+path}","compare_url":"https://api.github.com/repos/smackers/smack/compare/{base}...{head}","merges_url":"https://api.github.com/repos/smackers/smack/merges","archive_url":"https://api.github.com/repos/smackers/smack/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/smackers/smack/downloads","issues_url":"https://api.github.com/repos/smackers/smack/issues{/number}","pulls_url":"https://api.github.com/repos/smackers/smack/pulls{/number}","milestones_url":"https://api.github.com/repos/smackers/smack/milestones{/number}","notifications_url":"https://api.github.com/repos/smackers/smack/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/smackers/smack/labels{/name}","releases_url":"https://api.github.com/repos/smackers/smack/releases{/id}","deployments_url":"https://api.github.com/repos/smackers/smack/deployments","created_at":"2012-07-30T15:32:57Z","updated_at":"2016-11-16T19:43:09Z","pushed_at":"2016-11-19T19:53:10Z","git_url":"git://github.com/smackers/smack.git","ssh_url":"git@github.com:smackers/smack.git","clone_url":"https://github.com/smackers/smack.git","svn_url":"https://github.com/smackers/smack","homepage":"","size":6274,"stargazers_count":109,"watchers_count":109,"language":"C","has_issues":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":18,"mirror_url":null,"open_issues_count":46,"forks":18,"open_issues":46,"watchers":109,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/smackers/smack/pulls/186"},"html":{"href":"https://github.com/smackers/smack/pull/186"},"issue":{"href":"https://api.github.com/repos/smackers/smack/issues/186"},"comments":{"href":"https://api.github.com/repos/smackers/smack/issues/186/comments"},"review_comments":{"href":"https://api.github.com/repos/smackers/smack/pulls/186/comments"},"review_comment":{"href":"https://api.github.com/repos/smackers/smack/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/smackers/smack/pulls/186/commits"},"statuses":{"href":"https://api.github.com/repos/smackers/smack/statuses/209c7a7a186831e5bf79f02861ee3fcd0de1fa4a"}}}}
{"actor":{"display_login":"zvonimir"}}