{"id":3761,"date":"2016-05-13T10:33:48","date_gmt":"2016-05-13T08:33:48","guid":{"rendered":"https:\/\/blogs.uni-paderborn.de\/sse\/?p=3761"},"modified":"2016-05-19T00:07:31","modified_gmt":"2016-05-18T22:07:31","slug":"boomerang-accepted-at-ecoop-2016","status":"publish","type":"post","link":"https:\/\/blogs.uni-paderborn.de\/sse\/2016\/05\/13\/boomerang-accepted-at-ecoop-2016\/","title":{"rendered":"Boomerang accepted at ECOOP 2016"},"content":{"rendered":"<div class=\"twoclick_social_bookmarks_post_3761 social_share_privacy clearfix 1.6.4 locale-en_US sprite-en_US\"><\/div><div class=\"twoclick-js\"><script type=\"text\/javascript\">\/* <![CDATA[ *\/\njQuery(document).ready(function($){if($('.twoclick_social_bookmarks_post_3761')){$('.twoclick_social_bookmarks_post_3761').socialSharePrivacy({\"txt_help\":\"Wenn Sie diese Felder durch einen Klick aktivieren, werden Informationen an Facebook, Twitter, Flattr, Xing, t3n, LinkedIn, Pinterest oder Google eventuell ins Ausland \\u00fcbertragen und unter Umst\\u00e4nden auch dort gespeichert. N\\u00e4heres erfahren Sie durch einen Klick auf das <em>i<\\\/em>.\",\"settings_perma\":\"Dauerhaft aktivieren und Daten\\u00fcber-tragung zustimmen:\",\"info_link\":\"http:\\\/\\\/www.heise.de\\\/ct\\\/artikel\\\/2-Klicks-fuer-mehr-Datenschutz-1333879.html\",\"uri\":\"https:\\\/\\\/blogs.uni-paderborn.de\\\/sse\\\/2016\\\/05\\\/13\\\/boomerang-accepted-at-ecoop-2016\\\/\",\"post_id\":3761,\"post_title_referrer_track\":\"Boomerang+accepted+at+ECOOP+2016\",\"display_infobox\":\"on\"});}});\n\/* ]]> *\/<\/script><\/div><p><img loading=\"lazy\" decoding=\"async\" class=\"alignright\" src=\"https:\/\/pixabay.com\/static\/uploads\/photo\/2013\/07\/12\/16\/57\/boomerang-151561_960_720.png\" alt=\"\" width=\"173\" height=\"103\" \/>We are happy to announce, that a paper on our new algorithm for demand-driven context- and flow-sensitive points-to analysis, called Boomerang, has been accepted at the ECOOP 2016 conference. <a href=\"http:\/\/www.bodden.de\/pubs\/sna+16boomerang.pdf\">Download the paper here.<\/a><\/p>\n<p>Boomerang is the first points-to analysis algorithm which on demand delivers in addition to computing points-to sets also\u00a0the reverse information. Along with an\u00a0allocation site, the analysis delivers all possible pointers in the current scope which point-to that particular allocation site. This feature is crucial for state-of-the-art clients such as taint and typestate analysis. On top of that, Boomerang enables client-driven context-resolution: The client can limit the search scope for the points-to analysis to the methods of interest.<\/p>\n<p>For the evaluation we introduce <a href=\"https:\/\/github.com\/secure-software-engineering\/PointerBench\">PointerBench<\/a>, the first benchmark suite to evaluate precision and soundness of points-to analyses. We hope for contributions to further enhance the benchmark suite and make points-to analyses comparable more easily.<\/p>\n<p>Boomerang also received the artifact evaluation award.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>We are happy to announce, that a paper on our new algorithm for demand-driven context- and flow-sensitive points-to analysis, called Boomerang, has been accepted at the ECOOP 2016 conference. Download the paper here. Boomerang is the first points-to analysis algorithm &hellip; <a href=\"https:\/\/blogs.uni-paderborn.de\/sse\/2016\/05\/13\/boomerang-accepted-at-ecoop-2016\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":6641,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[41],"tags":[],"class_list":["post-3761","post","type-post","status-publish","format-standard","hentry","category-research-paper"],"_links":{"self":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/posts\/3761","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/users\/6641"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/comments?post=3761"}],"version-history":[{"count":9,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/posts\/3761\/revisions"}],"predecessor-version":[{"id":3871,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/posts\/3761\/revisions\/3871"}],"wp:attachment":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/media?parent=3761"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/categories?post=3761"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/tags?post=3761"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}