{"product_id":"symbolic-analysis-bernd-burgstaller-9783836481427","title":"Symbolic Analysis","description":"Static program analysis aims to determine the dynamic behavior of programs without actually executing them. Symbolic analysis is an advanced static program analysis technique that has been successfully applied to memory leak detection, compilation of parallel programs, detection of superfluous bound checks, variable aliases and task deadlocks, and to worst-case execution time analysis. The symbolic analysis information is invaluable for optimizing compilers, code generators, program verification, testing and debugging. In this book we take a novel algebra-based approach to the symbolic analysis of imperative programming languages. Our approach employs path expression algebra to compute the complete control and data flow analysis information valid at a given program point. This information is then provided for subsequent domain-specific analyses. Our approach derives solutions for arbitrary (even intra-loop) nodes of reducible and irreducible control flow graphs. We prove the correctness of our analysis method. Experimental results show that the problem sizes arising from real-world applications such as the SPEC95 benchmark suite are tractable for our symbolic analysis method.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Bernd Burgstaller,Bernhard Scholz,Johann Blieberger\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3836481421\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783836481427\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e VDM Verlag Dr. Mueller E.K.\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 03\/27\/2008\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 168\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.51lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.00h x 6.00w x 0.36d","brand":"Bernd Burgstaller","offers":[{"title":"Paperback","offer_id":48446425170175,"sku":"9783836481427","price":73.44,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_d3d6f263-9302-4245-9f1f-5faeac8cc7c1.jpg?v=1777224542","url":"https:\/\/www.whiterainbookhouse.com\/products\/symbolic-analysis-bernd-burgstaller-9783836481427","provider":"WR Book House","version":"1.0","type":"link"}