{"id":781,"date":"2014-03-16T19:38:15","date_gmt":"2014-03-16T17:38:15","guid":{"rendered":"http:\/\/sseblog.ec-spride.de\/?page_id=781"},"modified":"2014-03-16T19:38:15","modified_gmt":"2014-03-16T17:38:15","slug":"stubdroid","status":"publish","type":"page","link":"https:\/\/blogs.uni-paderborn.de\/sse\/tools\/stubdroid\/","title":{"rendered":"StubDroid &#8211; Library Summaries for Android"},"content":{"rendered":"<div class=\"twoclick_social_bookmarks_post_781 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_781')){$('.twoclick_social_bookmarks_post_781').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\\\/stubdroid\\\/\",\"post_id\":781,\"post_title_referrer_track\":\"StubDroid+%26%238211%3B+Library+Summaries+for+Android\",\"display_infobox\":\"on\"});}});\n\/* ]]> *\/<\/script><\/div><p><strong>StubDroid<\/strong> is a tool for automatically generating summarized models of the Android framework and other Java-based libraries for the use in information flow analyses. Instead of analyzing the library anew with every new target program or having to model library behavior by hand, the StubDroid summaries only need to be created once and can be applied to an arbitrary number of analyses.<\/p>\n<p>Summaries are concise and abstract away from the concrete implementation of the library. This allows client analyses to focus on the actual target of the analysis without having to analyze the same (usually huge) library code over and over again.<\/p>\n<p>StubDroid is fully automated. This relieves the analysis designer from having to manually investigate library behavior in the code or documentation like with most existing approaches. No human intervention is required for computing the summaries.<\/p>\n<p>For dynamic taint analyses, tools such as StubDroid are even required since the library code usually cannot be instrumented or replaced. Therefore, its behavior must be modeled precisely on the client side. StubDroid provides such summaries.<\/p>\n<p>StubDroid and the summaries generated for the Oracle JDK and the Android framework are available on Github as an open source project based on Soot and FlowDroid:\u00a0<a href=\"https:\/\/github.com\/secure-software-engineering\/soot-infoflow-summaries\">https:\/\/github.com\/secure-software-engineering\/soot-infoflow-summaries<\/a><\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>StubDroid is a tool for automatically generating summarized models of the Android framework and other Java-based libraries for the use in information flow analyses. Instead of analyzing the library anew with every new target program or having to model library &hellip; <a href=\"https:\/\/blogs.uni-paderborn.de\/sse\/tools\/stubdroid\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":6601,"featured_media":0,"parent":22,"menu_order":5,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-781","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/pages\/781","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\/6601"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/comments?post=781"}],"version-history":[{"count":0,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/pages\/781\/revisions"}],"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=781"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}