{"action":"created","issue":{"url":"https://api.github.com/repos/facebook/infer/issues/514","repository_url":"https://api.github.com/repos/facebook/infer","labels_url":"https://api.github.com/repos/facebook/infer/issues/514/labels{/name}","comments_url":"https://api.github.com/repos/facebook/infer/issues/514/comments","events_url":"https://api.github.com/repos/facebook/infer/issues/514/events","html_url":"https://github.com/facebook/infer/issues/514","id":192809687,"number":514,"title":"Alarm report issue","user":{"login":"KihongHeo","id":1281633,"avatar_url":"https://avatars.githubusercontent.com/u/1281633?v=3","gravatar_id":"","url":"https://api.github.com/users/KihongHeo","html_url":"https://github.com/KihongHeo","followers_url":"https://api.github.com/users/KihongHeo/followers","following_url":"https://api.github.com/users/KihongHeo/following{/other_user}","gists_url":"https://api.github.com/users/KihongHeo/gists{/gist_id}","starred_url":"https://api.github.com/users/KihongHeo/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/KihongHeo/subscriptions","organizations_url":"https://api.github.com/users/KihongHeo/orgs","repos_url":"https://api.github.com/users/KihongHeo/repos","events_url":"https://api.github.com/users/KihongHeo/events{/privacy}","received_events_url":"https://api.github.com/users/KihongHeo/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":22,"created_at":"2016-12-01T10:41:32Z","updated_at":"2016-12-10T11:37:15Z","closed_at":null,"body":"Hi Infer team,\r\n\r\nI am making a new checker using the abstract interpretation module of Infer.\r\nWhen reporting alarms, my checker sometimes ignores some of them.\r\n\r\nHere is a brief description of the error reporting part in my checker code. \r\n```ocaml\r\nlet checker { Callbacks.get_proc_desc; proc_name; proc_desc; tenv; } =\r\n  let post = Interprocedural.checker callback get_proc_desc in\r\n  match post with\r\n  | Some post -> \r\n      (* iteration on found errors *)\r\n      Error.iter (fun e -> \r\n        Checkers.ST.report_error tenv\r\n          e.proc_name             (* here, I don't use the parameter *)\r\n          e.proc_desc             (* here, I don't use the parameter *)\r\n          \"MY CHECKER\"\r\n          e.location\r\n          err_description\r\n      ) errors\r\n  | _ -> ()\r\n```\r\nBasically I followed the tutorial and I  think the only differences \r\nare the commented parts. (\"proc_name\" and \"proc_desc\")\r\n\r\nIn my experience, the alarm reporting works well \r\nwhen Infer takes a single file. But it ignores some of them when \r\nanalyzing multiple files. \r\n\r\nCould you give me an advice?\r\n\r\nThanks,\r\nKihong"},"comment":{"url":"https://api.github.com/repos/facebook/infer/issues/comments/266202051","html_url":"https://github.com/facebook/infer/issues/514#issuecomment-266202051","issue_url":"https://api.github.com/repos/facebook/infer/issues/514","id":266202051,"user":{"login":"skcho","id":1977549,"avatar_url":"https://avatars.githubusercontent.com/u/1977549?v=3","gravatar_id":"","url":"https://api.github.com/users/skcho","html_url":"https://github.com/skcho","followers_url":"https://api.github.com/users/skcho/followers","following_url":"https://api.github.com/users/skcho/following{/other_user}","gists_url":"https://api.github.com/users/skcho/gists{/gist_id}","starred_url":"https://api.github.com/users/skcho/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/skcho/subscriptions","organizations_url":"https://api.github.com/users/skcho/orgs","repos_url":"https://api.github.com/users/skcho/repos","events_url":"https://api.github.com/users/skcho/events{/privacy}","received_events_url":"https://api.github.com/users/skcho/received_events","type":"User","site_admin":false},"created_at":"2016-12-10T11:37:15Z","updated_at":"2016-12-10T11:37:15Z","body":"@sblackshear We solved our issue by collecting the starting points and ending points of the trace as you said. It works now though we did not apply the general `TraceDomain`. Thank you for help again."}}
{"actor":{"display_login":"skcho"}}