{"action":"closed","issue":{"url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/664","repository_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap","labels_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/664/labels{/name}","comments_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/664/comments","events_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/issues/664/events","html_url":"https://github.com/BinaryAnalysisPlatform/bap/issues/664","id":228700722,"number":664,"title":"Inconsistent bitvector signedness ","user":{"login":"ivg","id":2336698,"avatar_url":"https://avatars0.githubusercontent.com/u/2336698?v=4","gravatar_id":"","url":"https://api.github.com/users/ivg","html_url":"https://github.com/ivg","followers_url":"https://api.github.com/users/ivg/followers","following_url":"https://api.github.com/users/ivg/following{/other_user}","gists_url":"https://api.github.com/users/ivg/gists{/gist_id}","starred_url":"https://api.github.com/users/ivg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ivg/subscriptions","organizations_url":"https://api.github.com/users/ivg/orgs","repos_url":"https://api.github.com/users/ivg/repos","events_url":"https://api.github.com/users/ivg/events{/privacy}","received_events_url":"https://api.github.com/users/ivg/received_events","type":"User","site_admin":false},"labels":[{"id":143098842,"url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/labels/bug","name":"bug","color":"fc2929","default":true},{"id":143098844,"url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/labels/enhancement","name":"enhancement","color":"84b6eb","default":true}],"state":"closed","locked":false,"assignee":{"login":"ivg","id":2336698,"avatar_url":"https://avatars0.githubusercontent.com/u/2336698?v=4","gravatar_id":"","url":"https://api.github.com/users/ivg","html_url":"https://github.com/ivg","followers_url":"https://api.github.com/users/ivg/followers","following_url":"https://api.github.com/users/ivg/following{/other_user}","gists_url":"https://api.github.com/users/ivg/gists{/gist_id}","starred_url":"https://api.github.com/users/ivg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ivg/subscriptions","organizations_url":"https://api.github.com/users/ivg/orgs","repos_url":"https://api.github.com/users/ivg/repos","events_url":"https://api.github.com/users/ivg/events{/privacy}","received_events_url":"https://api.github.com/users/ivg/received_events","type":"User","site_admin":false},"assignees":[{"login":"ivg","id":2336698,"avatar_url":"https://avatars0.githubusercontent.com/u/2336698?v=4","gravatar_id":"","url":"https://api.github.com/users/ivg","html_url":"https://github.com/ivg","followers_url":"https://api.github.com/users/ivg/followers","following_url":"https://api.github.com/users/ivg/following{/other_user}","gists_url":"https://api.github.com/users/ivg/gists{/gist_id}","starred_url":"https://api.github.com/users/ivg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ivg/subscriptions","organizations_url":"https://api.github.com/users/ivg/orgs","repos_url":"https://api.github.com/users/ivg/repos","events_url":"https://api.github.com/users/ivg/events{/privacy}","received_events_url":"https://api.github.com/users/ivg/received_events","type":"User","site_admin":false}],"milestone":{"url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/milestones/4","html_url":"https://github.com/BinaryAnalysisPlatform/bap/milestone/4","labels_url":"https://api.github.com/repos/BinaryAnalysisPlatform/bap/milestones/4/labels","id":2037783,"number":4,"title":"1.3.0","description":"Planned features\r\n\r\n# New Libraries\r\n\r\n* Primus - the microexecution framework\r\n* Strings - for text analysis\r\n* Ogre - a new loader that eats everything and never loses information\r\n* Monads - a missing monad library, lots of monad transformers for any taste\r\n\r\n# New Analyses\r\n* Beagle - is moving on the Primus rails, and gets much more power\r\n* Saluki  - data-flow policy checker\r\n* Runner - a static fuzzer \r\n\r\n# Tools updates\r\n* Veri - can handle tons of binaries and has a database backend (and nice graphs)\r\n","creator":{"login":"ivg","id":2336698,"avatar_url":"https://avatars0.githubusercontent.com/u/2336698?v=4","gravatar_id":"","url":"https://api.github.com/users/ivg","html_url":"https://github.com/ivg","followers_url":"https://api.github.com/users/ivg/followers","following_url":"https://api.github.com/users/ivg/following{/other_user}","gists_url":"https://api.github.com/users/ivg/gists{/gist_id}","starred_url":"https://api.github.com/users/ivg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ivg/subscriptions","organizations_url":"https://api.github.com/users/ivg/orgs","repos_url":"https://api.github.com/users/ivg/repos","events_url":"https://api.github.com/users/ivg/events{/privacy}","received_events_url":"https://api.github.com/users/ivg/received_events","type":"User","site_admin":false},"open_issues":9,"closed_issues":6,"state":"open","created_at":"2016-09-29T14:35:52Z","updated_at":"2017-08-02T12:53:47Z","due_on":"2017-06-30T07:00:00Z","closed_at":null},"comments":0,"created_at":"2017-05-15T12:37:11Z","updated_at":"2017-08-02T12:53:47Z","closed_at":"2017-08-02T12:53:47Z","body":"The bitvector documentation states that \r\n> the signedness property won't propagate to the result of the operation\r\n\r\nThis is not true, however, as unary operators propagate the signedness property. \r\n\r\nIt also became evident that we need the `unsigned` operator that will cast away the signed property, as well as the `is_signed` operator that will project it. \r\n\r\n\r\n\r\n"}}
{"actor":{"display_login":"ivg"}}