Kniha Scaling Context-Sensitive Points-to Analysis Rupesh Nasre

Scaling Context-Sensitive Points-to Analysis

Novel ideas to tame the scalability challenges

Autor: Rupesh Nasre
Jazyk: Angličtina
Väzba: Brožovaná
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
48.30
Pointer analysis is one of the key static analyses during compilation and affects scalability and pr...

Informácie o knihe

Autor
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2016
Stránok
212
EAN
9783659977183
Enbook ID
15359266
Hmotnosť
335
Rozmery
150 x 220 x 12

Kompletný popis

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.

Mohlo by vás zaujímať

Agnes Heller

John Grumley
33.51

Deep

James Nestor
14.30

In Vitro Methods in Toxicology

C. K. AtterwillC. E. Steele
65.55

SATANIC SCRIPTURES

Peter H. Gilmore
16.06

Burnie

Ronna M. Bacon
20.47

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

47.42

Černý korál

Andrew Mayne
3.60
33.31