Könyv Scaling Context-Sensitive Points-to Analysis Rupesh Nasre

Scaling Context-Sensitive Points-to Analysis

Novel ideas to tame the scalability challenges

Szerző: Rupesh Nasre
Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
18 844 Ft
Pointer analysis is one of the key static analyses during compilation and affects scalability and pr...

Információk a könyvről

Szerző
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2016
oldal
212
EAN
9783659977183
Enbook ID
15359266
Súly
335
Méretek
150 x 220 x 12

Teljes leírás

Pointer 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.

Érdekelheti

Burnie

Ronna M. Bacon
8 271 Ft

SATANIC SCRIPTURES

Peter H. Gilmore
6 501 Ft

In Vitro Methods in Toxicology

C. K. AtterwillC. E. Steele
26 327 Ft

Deep

James Nestor
6 001 Ft

Agnes Heller

John Grumley
13 556 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták