{"action":"created","issue":{"url":"https://api.github.com/repos/facebook/infer/issues/353","repository_url":"https://api.github.com/repos/facebook/infer","labels_url":"https://api.github.com/repos/facebook/infer/issues/353/labels{/name}","comments_url":"https://api.github.com/repos/facebook/infer/issues/353/comments","events_url":"https://api.github.com/repos/facebook/infer/issues/353/events","html_url":"https://github.com/facebook/infer/issues/353","id":150803917,"number":353,"title":"here's bug?","user":{"login":"chen881129","id":5078663,"avatar_url":"https://avatars.githubusercontent.com/u/5078663?v=3","gravatar_id":"","url":"https://api.github.com/users/chen881129","html_url":"https://github.com/chen881129","followers_url":"https://api.github.com/users/chen881129/followers","following_url":"https://api.github.com/users/chen881129/following{/other_user}","gists_url":"https://api.github.com/users/chen881129/gists{/gist_id}","starred_url":"https://api.github.com/users/chen881129/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chen881129/subscriptions","organizations_url":"https://api.github.com/users/chen881129/orgs","repos_url":"https://api.github.com/users/chen881129/repos","events_url":"https://api.github.com/users/chen881129/events{/privacy}","received_events_url":"https://api.github.com/users/chen881129/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":5,"created_at":"2016-04-25T09:39:31Z","updated_at":"2016-04-26T18:44:07Z","closed_at":null,"body":"package src;\r\nimport src.*;\r\npublic class Test{\r\n    public static void main(String[] args){\r\n            A a = new A();\r\n            String s = a.id;\r\n            s.length();\r\n    }   \r\n}\r\n\r\nHere s maybe a nullpointer.\r\nBut infer said \"No issues found\""},"comment":{"url":"https://api.github.com/repos/facebook/infer/issues/comments/214845254","html_url":"https://github.com/facebook/infer/issues/353#issuecomment-214845254","issue_url":"https://api.github.com/repos/facebook/infer/issues/353","id":214845254,"user":{"login":"jeremydubreil","id":12734194,"avatar_url":"https://avatars.githubusercontent.com/u/12734194?v=3","gravatar_id":"","url":"https://api.github.com/users/jeremydubreil","html_url":"https://github.com/jeremydubreil","followers_url":"https://api.github.com/users/jeremydubreil/followers","following_url":"https://api.github.com/users/jeremydubreil/following{/other_user}","gists_url":"https://api.github.com/users/jeremydubreil/gists{/gist_id}","starred_url":"https://api.github.com/users/jeremydubreil/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jeremydubreil/subscriptions","organizations_url":"https://api.github.com/users/jeremydubreil/orgs","repos_url":"https://api.github.com/users/jeremydubreil/repos","events_url":"https://api.github.com/users/jeremydubreil/events{/privacy}","received_events_url":"https://api.github.com/users/jeremydubreil/received_events","type":"User","site_admin":false},"created_at":"2016-04-26T18:44:07Z","updated_at":"2016-04-26T18:44:07Z","body":"In theory, Infer could report every time there is not enough information to prove that a variable being dereference is not null. But in practice, this will generate way too many reports and make the tool unusable."}}