{"action":"created","issue":{"url":"https://api.github.com/repos/mgehre/clang/issues/30","repository_url":"https://api.github.com/repos/mgehre/clang","labels_url":"https://api.github.com/repos/mgehre/clang/issues/30/labels{/name}","comments_url":"https://api.github.com/repos/mgehre/clang/issues/30/comments","events_url":"https://api.github.com/repos/mgehre/clang/issues/30/events","html_url":"https://github.com/mgehre/clang/issues/30","id":361449745,"node_id":"MDU6SXNzdWUzNjE0NDk3NDU=","number":30,"title":"Skip the checking of methods of owner and pointer types","user":{"login":"Xazax-hun","id":922897,"node_id":"MDQ6VXNlcjkyMjg5Nw==","avatar_url":"https://avatars1.githubusercontent.com/u/922897?v=4","gravatar_id":"","url":"https://api.github.com/users/Xazax-hun","html_url":"https://github.com/Xazax-hun","followers_url":"https://api.github.com/users/Xazax-hun/followers","following_url":"https://api.github.com/users/Xazax-hun/following{/other_user}","gists_url":"https://api.github.com/users/Xazax-hun/gists{/gist_id}","starred_url":"https://api.github.com/users/Xazax-hun/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Xazax-hun/subscriptions","organizations_url":"https://api.github.com/users/Xazax-hun/orgs","repos_url":"https://api.github.com/users/Xazax-hun/repos","events_url":"https://api.github.com/users/Xazax-hun/events{/privacy}","received_events_url":"https://api.github.com/users/Xazax-hun/received_events","type":"User","site_admin":false},"labels":[{"id":1052090692,"node_id":"MDU6TGFiZWwxMDUyMDkwNjky","url":"https://api.github.com/repos/mgehre/clang/labels/Conference","name":"Conference","color":"f9d0c4","default":false}],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2018-09-18T19:31:06Z","updated_at":"2018-09-22T17:07:48Z","closed_at":null,"author_association":"COLLABORATOR","body":""},"comment":{"url":"https://api.github.com/repos/mgehre/clang/issues/comments/423758701","html_url":"https://github.com/mgehre/clang/issues/30#issuecomment-423758701","issue_url":"https://api.github.com/repos/mgehre/clang/issues/30","id":423758701,"node_id":"MDEyOklzc3VlQ29tbWVudDQyMzc1ODcwMQ==","user":{"login":"mgehre","id":774286,"node_id":"MDQ6VXNlcjc3NDI4Ng==","avatar_url":"https://avatars1.githubusercontent.com/u/774286?v=4","gravatar_id":"","url":"https://api.github.com/users/mgehre","html_url":"https://github.com/mgehre","followers_url":"https://api.github.com/users/mgehre/followers","following_url":"https://api.github.com/users/mgehre/following{/other_user}","gists_url":"https://api.github.com/users/mgehre/gists{/gist_id}","starred_url":"https://api.github.com/users/mgehre/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mgehre/subscriptions","organizations_url":"https://api.github.com/users/mgehre/orgs","repos_url":"https://api.github.com/users/mgehre/repos","events_url":"https://api.github.com/users/mgehre/events{/privacy}","received_events_url":"https://api.github.com/users/mgehre/received_events","type":"User","site_admin":false},"created_at":"2018-09-22T17:07:48Z","updated_at":"2018-09-22T17:07:48Z","author_association":"OWNER","body":"I skipped Owners methods in a893693c9e7b6f99eb7fab6002b9874ded574fc7. Not Pointers because the paper says\r\n\"We do not currently attempt to check of the internals of Owner types, including that we do not attempt to validate the correctness of pointer-based data structures. Each Owner type is assumed to be correctly implemented, and we check the common uses which greatly outnumber the Owner’s own functions. In this version, implementations are expected to skip analysis member functions of Owner types.\""}}
{"actor":{"display_login":"mgehre"}}