{"action":"closed","issue":{"url":"https://api.github.com/repos/sohah/VeritestingTransformations/issues/7","repository_url":"https://api.github.com/repos/sohah/VeritestingTransformations","labels_url":"https://api.github.com/repos/sohah/VeritestingTransformations/issues/7/labels{/name}","comments_url":"https://api.github.com/repos/sohah/VeritestingTransformations/issues/7/comments","events_url":"https://api.github.com/repos/sohah/VeritestingTransformations/issues/7/events","html_url":"https://github.com/sohah/VeritestingTransformations/issues/7","id":358704297,"node_id":"MDU6SXNzdWUzNTg3MDQyOTc=","number":7,"title":"Region boundary shouldn't be in terms of integer IDs for Wala variables","user":{"login":"vaibhavbsharma","id":5904279,"node_id":"MDQ6VXNlcjU5MDQyNzk=","avatar_url":"https://avatars1.githubusercontent.com/u/5904279?v=4","gravatar_id":"","url":"https://api.github.com/users/vaibhavbsharma","html_url":"https://github.com/vaibhavbsharma","followers_url":"https://api.github.com/users/vaibhavbsharma/followers","following_url":"https://api.github.com/users/vaibhavbsharma/following{/other_user}","gists_url":"https://api.github.com/users/vaibhavbsharma/gists{/gist_id}","starred_url":"https://api.github.com/users/vaibhavbsharma/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vaibhavbsharma/subscriptions","organizations_url":"https://api.github.com/users/vaibhavbsharma/orgs","repos_url":"https://api.github.com/users/vaibhavbsharma/repos","events_url":"https://api.github.com/users/vaibhavbsharma/events{/privacy}","received_events_url":"https://api.github.com/users/vaibhavbsharma/received_events","type":"User","site_admin":false},"labels":[{"id":993115069,"node_id":"MDU6TGFiZWw5OTMxMTUwNjk=","url":"https://api.github.com/repos/sohah/VeritestingTransformations/labels/bug","name":"bug","color":"d73a4a","default":true},{"id":1056079454,"node_id":"MDU6TGFiZWwxMDU2MDc5NDU0","url":"https://api.github.com/repos/sohah/VeritestingTransformations/labels/fixed%20but%20needs%20check%20to%20close","name":"fixed but needs check to close","color":"ffeeb5","default":false}],"state":"closed","locked":false,"assignee":{"login":"sohah","id":10510966,"node_id":"MDQ6VXNlcjEwNTEwOTY2","avatar_url":"https://avatars2.githubusercontent.com/u/10510966?v=4","gravatar_id":"","url":"https://api.github.com/users/sohah","html_url":"https://github.com/sohah","followers_url":"https://api.github.com/users/sohah/followers","following_url":"https://api.github.com/users/sohah/following{/other_user}","gists_url":"https://api.github.com/users/sohah/gists{/gist_id}","starred_url":"https://api.github.com/users/sohah/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sohah/subscriptions","organizations_url":"https://api.github.com/users/sohah/orgs","repos_url":"https://api.github.com/users/sohah/repos","events_url":"https://api.github.com/users/sohah/events{/privacy}","received_events_url":"https://api.github.com/users/sohah/received_events","type":"User","site_admin":false},"assignees":[{"login":"sohah","id":10510966,"node_id":"MDQ6VXNlcjEwNTEwOTY2","avatar_url":"https://avatars2.githubusercontent.com/u/10510966?v=4","gravatar_id":"","url":"https://api.github.com/users/sohah","html_url":"https://github.com/sohah","followers_url":"https://api.github.com/users/sohah/followers","following_url":"https://api.github.com/users/sohah/following{/other_user}","gists_url":"https://api.github.com/users/sohah/gists{/gist_id}","starred_url":"https://api.github.com/users/sohah/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/sohah/subscriptions","organizations_url":"https://api.github.com/users/sohah/orgs","repos_url":"https://api.github.com/users/sohah/repos","events_url":"https://api.github.com/users/sohah/events{/privacy}","received_events_url":"https://api.github.com/users/sohah/received_events","type":"User","site_admin":false}],"milestone":null,"comments":2,"created_at":"2018-09-10T16:42:21Z","updated_at":"2018-09-14T15:13:25Z","closed_at":"2018-09-14T15:13:25Z","author_association":"COLLABORATOR","body":"Here's an example program:\r\n```Java\r\n    public int countBitsSet(int x) {\r\n        int count = 0;\r\n        while (x != 0) {\r\n            if ((x & 1) != 0) {\r\n                count += 1;\r\n            }\r\n            x = x >>> 1; // logical right shift\r\n        }\r\n        return count;\r\n    }\r\n```\r\n\r\nHere's its corresponding CFG: \r\n[ir.pdf](https://github.com/sohah/VeritestingTransformations/files/2367552/ir.pdf)\r\n\r\nThe region we are interested in veritesting is from BB3 to BB5. The region boundary gets computed as (first-use, last-def) = (6, 8). Due to this, `SlotParamTable.filterTableForBoundary` will delete the stack slots of Wala variables like v11 even though they are inside the region. \r\n\r\nThis example breaks our assumption that Wala variable numbers will monotonically increase inside a region. \r\n"}}
{"actor":{"display_login":"vaibhavbsharma"}}