{"id":4022,"date":"2016-06-30T18:00:50","date_gmt":"2016-06-30T16:00:50","guid":{"rendered":"https:\/\/blogs.uni-paderborn.de\/sse\/?page_id=4022"},"modified":"2016-06-30T18:03:21","modified_gmt":"2016-06-30T16:03:21","slug":"pointerbench","status":"publish","type":"page","link":"https:\/\/blogs.uni-paderborn.de\/sse\/tools\/pointerbench\/","title":{"rendered":"PointerBench &#8211; Benchmarks"},"content":{"rendered":"<div class=\"twoclick_social_bookmarks_post_4022 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_4022')){$('.twoclick_social_bookmarks_post_4022').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\\\/pointerbench\\\/\",\"post_id\":4022,\"post_title_referrer_track\":\"PointerBench+%26%238211%3B+Benchmarks\",\"display_infobox\":\"on\"});}});\n\/* ]]> *\/<\/script><\/div><p>Evaluating precision and soundness of pointer analyses has been a tedious task. This is because of a missing ground truth. The ground truth for pointer analyses hold the information about (1) where an object may\/must have been created and (2) what are its may\/must aliases. On arbitrary programs, this information can hardly be retrieved. That is why we created PointerBench.<\/p>\n<p>PointerBench is an open benchmark suite for various types of pointer analyses. It consists of various small test programs. Each of them is designed to test pointer analyses strength and weaknesses (Field, Flow or Context-Senstivity). Different aspects are separated from each other (as far as possible).<\/p>\n<p>The test cases contain special function calls (see instructions below). The statement and argument of the function calls describe the variable to test and its aliases. To test different analyses, these function calls must be parsed and interpreted. These deliver input and output to the analyses.<\/p>\n<p><a href=\"https:\/\/github.com\/secure-software-engineering\/PointerBench\">Find more information here on Github<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Evaluating precision and soundness of pointer analyses has been a tedious task. This is because of a missing ground truth. The ground truth for pointer analyses hold the information about (1) where an object may\/must have been created and (2) &hellip; <a href=\"https:\/\/blogs.uni-paderborn.de\/sse\/tools\/pointerbench\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":6542,"featured_media":0,"parent":22,"menu_order":1,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-4022","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/pages\/4022","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\/6542"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/comments?post=4022"}],"version-history":[{"count":5,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/pages\/4022\/revisions"}],"predecessor-version":[{"id":4082,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/pages\/4022\/revisions\/4082"}],"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=4022"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}