Carte Scaling Context-Sensitive Points-to Analysis Rupesh Nasre

Scaling Context-Sensitive Points-to Analysis

Novel ideas to tame the scalability challenges

Autor: Rupesh Nasre
Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
268.19 lei
Pointer analysis is one of the key static analyses during compilation and affects scalability and pr...

Informații despre carte

Autor
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2016
Pagini
212
EAN
9783659977183
Enbook ID
15359266
Greutate
335
Dimensiuni
150 x 220 x 12

Descriere completă

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.

S-ar putea să te intereseze

Agnes Heller

John Grumley
193.85 lei

Deep

James Nestor
85.02 lei

In Vitro Methods in Toxicology

C. K. AtterwillC. E. Steele
377.22 lei

SATANIC SCRIPTURES

Peter H. Gilmore
93.09 lei

Burnie

Ronna M. Bacon
118.51 lei

Clienții care au cumpărat această carte au mai cumpărat și

263.35 lei

Černý korál

Andrew Mayne
17.44 lei
174.59 lei