{"action":"closed","issue":{"url":"https://api.github.com/repos/mchalupa/dg/issues/224","repository_url":"https://api.github.com/repos/mchalupa/dg","labels_url":"https://api.github.com/repos/mchalupa/dg/issues/224/labels{/name}","comments_url":"https://api.github.com/repos/mchalupa/dg/issues/224/comments","events_url":"https://api.github.com/repos/mchalupa/dg/issues/224/events","html_url":"https://github.com/mchalupa/dg/issues/224","id":365363532,"node_id":"MDU6SXNzdWUzNjUzNjM1MzI=","number":224,"title":"PTA inv: another infinite looping","user":{"login":"mchalupa","id":2385056,"node_id":"MDQ6VXNlcjIzODUwNTY=","avatar_url":"https://avatars2.githubusercontent.com/u/2385056?v=4","gravatar_id":"","url":"https://api.github.com/users/mchalupa","html_url":"https://github.com/mchalupa","followers_url":"https://api.github.com/users/mchalupa/followers","following_url":"https://api.github.com/users/mchalupa/following{/other_user}","gists_url":"https://api.github.com/users/mchalupa/gists{/gist_id}","starred_url":"https://api.github.com/users/mchalupa/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mchalupa/subscriptions","organizations_url":"https://api.github.com/users/mchalupa/orgs","repos_url":"https://api.github.com/users/mchalupa/repos","events_url":"https://api.github.com/users/mchalupa/events{/privacy}","received_events_url":"https://api.github.com/users/mchalupa/received_events","type":"User","site_admin":false},"labels":[{"id":178666355,"node_id":"MDU6TGFiZWwxNzg2NjYzNTU=","url":"https://api.github.com/repos/mchalupa/dg/labels/bug","name":"bug","color":"fc2929","default":true}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":{"url":"https://api.github.com/repos/mchalupa/dg/milestones/2","html_url":"https://github.com/mchalupa/dg/milestone/2","labels_url":"https://api.github.com/repos/mchalupa/dg/milestones/2/labels","id":1574773,"node_id":"MDk6TWlsZXN0b25lMTU3NDc3Mw==","number":2,"title":"v 0.1","description":"- [x] new poinst-to analyses, independent of backend\r\n- [x] make reaching-defs + def-use analyses use offset ranges\r\n- [ ] leaks removed (at least the major leaks)\r\n- [ ] graph is consistent after slicing\r\n- [x] source code refactored (get red of the ugly parts)\r\n- [x] support for higher versions of LLVM\r\n- [ ] generating cmake configuration\r\n- [ ] two-phase slicing\r\n- [ ] may: new control dependence algorithm\r\n- [ ] may: make slicing independent of backend (use virtual functions)","creator":{"login":"mchalupa","id":2385056,"node_id":"MDQ6VXNlcjIzODUwNTY=","avatar_url":"https://avatars2.githubusercontent.com/u/2385056?v=4","gravatar_id":"","url":"https://api.github.com/users/mchalupa","html_url":"https://github.com/mchalupa","followers_url":"https://api.github.com/users/mchalupa/followers","following_url":"https://api.github.com/users/mchalupa/following{/other_user}","gists_url":"https://api.github.com/users/mchalupa/gists{/gist_id}","starred_url":"https://api.github.com/users/mchalupa/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mchalupa/subscriptions","organizations_url":"https://api.github.com/users/mchalupa/orgs","repos_url":"https://api.github.com/users/mchalupa/repos","events_url":"https://api.github.com/users/mchalupa/events{/privacy}","received_events_url":"https://api.github.com/users/mchalupa/received_events","type":"User","site_admin":false},"open_issues":14,"closed_issues":17,"state":"open","created_at":"2016-02-10T13:35:12Z","updated_at":"2018-10-17T06:46:33Z","due_on":"2019-01-01T08:00:00Z","closed_at":null},"comments":1,"created_at":"2018-10-01T08:49:59Z","updated_at":"2018-10-17T06:46:33Z","closed_at":"2018-10-17T06:46:33Z","author_association":"OWNER","body":"```C\r\n  1 int main(void) {\r\n  2         int *array[10];\r\n  3         for (int i = 0; i < 10; ++i) {\r\n  4                 array[i] = malloc(sizeof(int));\r\n  5         }\r\n  6 \r\n  7         for (int i = 0; i < 10; ++i) {\r\n  8                 free(array[i]);\r\n  9         }\r\n 10 \r\n 11         return 0;\r\n 12 }\r\n```\r\n\r\nprobably the information when loading `array[i]` on line 8 is merged and then removed in `free` again and again because of the unknown offset (`i`)."}}
{"actor":{"display_login":"mchalupa"}}