{"action":"closed","issue":{"url":"https://api.github.com/repos/mit-plv/bedrock2/issues/35","repository_url":"https://api.github.com/repos/mit-plv/bedrock2","labels_url":"https://api.github.com/repos/mit-plv/bedrock2/issues/35/labels{/name}","comments_url":"https://api.github.com/repos/mit-plv/bedrock2/issues/35/comments","events_url":"https://api.github.com/repos/mit-plv/bedrock2/issues/35/events","html_url":"https://github.com/mit-plv/bedrock2/issues/35","id":383619236,"node_id":"MDU6SXNzdWUzODM2MTkyMzY=","number":35,"title":"liveness analysis","user":{"login":"andres-erbsen","id":918403,"node_id":"MDQ6VXNlcjkxODQwMw==","avatar_url":"https://avatars0.githubusercontent.com/u/918403?v=4","gravatar_id":"","url":"https://api.github.com/users/andres-erbsen","html_url":"https://github.com/andres-erbsen","followers_url":"https://api.github.com/users/andres-erbsen/followers","following_url":"https://api.github.com/users/andres-erbsen/following{/other_user}","gists_url":"https://api.github.com/users/andres-erbsen/gists{/gist_id}","starred_url":"https://api.github.com/users/andres-erbsen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andres-erbsen/subscriptions","organizations_url":"https://api.github.com/users/andres-erbsen/orgs","repos_url":"https://api.github.com/users/andres-erbsen/repos","events_url":"https://api.github.com/users/andres-erbsen/events{/privacy}","received_events_url":"https://api.github.com/users/andres-erbsen/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-11-22T17:29:10Z","updated_at":"2018-11-22T19:35:17Z","closed_at":"2018-11-22T19:35:17Z","author_association":"CONTRIBUTOR","body":"As discussed for program logic simplicity we want the source code to be supplemented with \"kill\" statements marking when a variable becomes dead. we would need to prove that transformation correct.\r\n\r\nTo prove this transformation correct, we would need to prove correct the underlying liveness analysis. idk if we actually want to do this (perhaps we should change the program logic instead), but if we do, the same analysis could be used to zero-initialize uninitialized variables in the compiler."}}
{"actor":{"display_login":"andres-erbsen"}}