{"id":505,"date":"2013-09-16T13:48:38","date_gmt":"2013-09-16T11:48:38","guid":{"rendered":"http:\/\/sseblog.ec-spride.de\/?p=505"},"modified":"2013-09-16T13:48:38","modified_gmt":"2013-09-16T11:48:38","slug":"reviser","status":"publish","type":"post","link":"https:\/\/blogs.uni-paderborn.de\/sse\/2013\/09\/16\/reviser\/","title":{"rendered":"New paper on automatically updating analysis results"},"content":{"rendered":"<div class=\"twoclick_social_bookmarks_post_505 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_505')){$('.twoclick_social_bookmarks_post_505').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\\\/2013\\\/09\\\/16\\\/reviser\\\/\",\"post_id\":505,\"post_title_referrer_track\":\"New+paper+on+automatically+updating+analysis+results\",\"display_infobox\":\"on\"});}});\n\/* ]]> *\/<\/script><\/div><p><img loading=\"lazy\" decoding=\"async\" class=\"alignright\" alt=\"\" src=\"http:\/\/toptenrivieramaya.com\/en\/files\/2012\/04\/upgrade.png\" width=\"169\" height=\"122\" \/><\/p>\n<p>Today Steven Arzt and Eric Bodden are releasing a Technical Report on <em>Reviser<\/em>, our novel tool for automatically and\u00a0<a href=\"http:\/\/www.bodden.de\/pubs\/TUD-CS-2013-0253.pdf\">Efficiently updating IDE-based data-flow analyses in response to incremental program changes<em>.<\/em><\/a><em><a href=\"http:\/\/www.bodden.de\/pubs\/TUD-CS-2013-0253.pdf\">\u00a0<\/a><\/em>I think the title pretty much speaks for itself. Reviser <a href=\"https:\/\/github.com\/StevenArzt\/reviser\">is available<\/a> as an open-source extension to <a href=\"https:\/\/github.com\/Sable\/heros\">Heros<\/a>. Enjoy!<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Today Steven Arzt and Eric Bodden are releasing a Technical Report on Reviser, our novel tool for automatically and\u00a0Efficiently updating IDE-based data-flow analyses in response to incremental program changes.\u00a0I think the title pretty much speaks for itself. Reviser is available &hellip; <a href=\"https:\/\/blogs.uni-paderborn.de\/sse\/2013\/09\/16\/reviser\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":6542,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[41],"tags":[],"class_list":["post-505","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\/505","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\/6542"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/comments?post=505"}],"version-history":[{"count":0,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/posts\/505\/revisions"}],"wp:attachment":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/media?parent=505"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/categories?post=505"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/tags?post=505"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}