{"id":4281,"date":"2017-05-12T10:09:48","date_gmt":"2017-05-12T08:09:48","guid":{"rendered":"https:\/\/blogs.uni-paderborn.de\/sse\/?page_id=4281"},"modified":"2019-03-31T22:35:55","modified_gmt":"2019-03-31T20:35:55","slug":"visuflow-debugging-static-analysis","status":"publish","type":"page","link":"https:\/\/blogs.uni-paderborn.de\/sse\/tools\/visuflow-debugging-static-analysis\/","title":{"rendered":"VisuFlow &#8211; Debugging static analysis"},"content":{"rendered":"<div class=\"twoclick_social_bookmarks_post_4281 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_4281')){$('.twoclick_social_bookmarks_post_4281').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\\\/tools\\\/visuflow-debugging-static-analysis\\\/\",\"post_id\":4281,\"post_title_referrer_track\":\"VisuFlow+%26%238211%3B+Debugging+static+analysis\",\"display_infobox\":\"on\"});}});\n\/* ]]> *\/<\/script><\/div><p><strong>Artifacts for VisuFlow &#8211; Visual support for debugging static analysis with Soot<\/strong><\/p>\n<p>VisuFlow is a debugging environment designed for static data- flow analyses written on top of the Soot analysis framework. It is integrated in the Eclipse IDE.<\/p>\n<p>The data below has been anonymized.<\/p>\n<ul>\n<li>Source code of VisuFlow: <a href=\"https:\/\/github.com\/VisuFlow\">https:\/\/github.com\/VisuFlow<\/a><\/li>\n<li>Video demonstration: <a href=\"https:\/\/www.youtube.com\/watch?v=51iimUDaOPQ\">https:\/\/www.youtube.com\/watch?v=51iimUDaOPQ<\/a><\/li>\n<li><a href=\"https:\/\/blogs.uni-paderborn.de\/sse\/files\/2017\/08\/survey_questions.pdf\">Survey questions<\/a>.<\/li>\n<li><a href=\"https:\/\/lisanqd.files.wordpress.com\/2017\/08\/survey-answers.xlsx\">Survey results<\/a>:\n<ul>\n<li>The first sheet contains the raw answers.<\/li>\n<li>Each of the other sheets contains the answers to one question and their corresponding classification information.<\/li>\n<\/ul>\n<\/li>\n<li><a href=\"http:\/\/lisanqd.com\/wp-content\/uploads\/2019\/03\/questionnaire.pdf\">User study questionnaire<\/a>.<\/li>\n<li><a href=\"https:\/\/lisanqd.files.wordpress.com\/2017\/08\/user-study-results.xlsx\">User study results<\/a>:\n<ul>\n<li>The first sheet contains the focus times on the different views of the coding environments.<\/li>\n<li>The second sheet contains the number of errors found by the participants.<\/li>\n<li>The third sheet contains the raw answers to the user study questionnaire.<\/li>\n<li>Each of the other sheets contains the answers to one question of the questionnaire and their corresponding classification information.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Artifacts for VisuFlow &#8211; Visual support for debugging static analysis with Soot VisuFlow is a debugging environment designed for static data- flow analyses written on top of the Soot analysis framework. It is integrated in the Eclipse IDE. The data &hellip; <a href=\"https:\/\/blogs.uni-paderborn.de\/sse\/tools\/visuflow-debugging-static-analysis\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":6631,"featured_media":0,"parent":22,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-4281","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/pages\/4281","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/users\/6631"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/comments?post=4281"}],"version-history":[{"count":6,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/pages\/4281\/revisions"}],"predecessor-version":[{"id":4418,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/pages\/4281\/revisions\/4418"}],"up":[{"embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/pages\/22"}],"wp:attachment":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/media?parent=4281"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}