{"product_id":"scaling-context-sensitive-points-to-analysis-novel-ideas-to-tame-the-scalability-challenges-von-rupesh-nasre","title":"Scaling Context-Sensitive Points-to Analysis","description":"\u003cp\u003ePointer analysis is one of the key static analyses during compilation and affects scalability and precision of several client transformations. Recent advances still lack an efficient and scalable context-sensitive inclusion-based pointer analysis. In this work, we propose four novel techniques to improve the scalability of context-sensitive points-to analysis for C\/C++ programs. First, we develop an efficient way of storing the approximate points-to information using a multi-dimensional bloom filter (multibloom). Second, we devise a sound randomized algorithm that processes a group of constraints in a less precise but efficient manner and the remaining constraints in a more precise manner. Third, we transform the points-to analysis problem into finding a solution to a system of linear equations. Finally, we observe that the order in which points-to constraints are processed plays a vital role in the algorithm efficiency and propose a greedy heuristic based on the amount of points-to information computed by a constraint to prioritize the constraints. We illustrate that our algorithms help in scaling the state-of-the-art pointer analyses.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783659977183\"\u003e\u003ch3\u003eNovel ideas to tame the scalability challenges\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783659977183","offer_id":39441489133661,"sku":"9783659977183","price":55.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/aa63fd20-9826-4f81-bfc6-3b3d49cb0e5b.jpg?v=1773121788","url":"https:\/\/shop.autorenwelt.de\/products\/scaling-context-sensitive-points-to-analysis-novel-ideas-to-tame-the-scalability-challenges-von-rupesh-nasre","provider":"Autorenwelt Shop","version":"1.0","type":"link"}