Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Виж статуса на поръчката

Свържете се с нас

Scaling Context-Sensitive Points-to Analysis

Name: Scaling Context-Sensitive Points-to Analysis
Brand: LAP Lambert Academic Publishing
SKU: 9783659977183
Price: 51.17 EUR
Availability: InStock

Novel ideas to tame the scalability challenges

Автор: Rupesh Nasre

Език:

Корици: С меки корици

Издател: LAP Lambert Academic Publishing

Наличност: Външен склад

Изпращаме след 5-8 дни

51.17 € 100.08 лв

Pointer analysis is one of the key static analyses during compilation and affects scalability and pr...

Информация за книгата

Автор

Rupesh Nasre

Език

Английски език

Корици

Книга - С меки корици

Издадена

2016

страници

212

EAN

9783659977183

Enbook ID

15359266

Издател

LAP Lambert Academic Publishing

Теглоt

335

Размери

150 x 220 x 12

Пълно описание

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.

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Scaling Context-Sensitive Points-to Analysis

Novel ideas to tame the scalability challenges

Информация за книгата

Пълно описание

Може също да ви хареса

Cell and Molecular Biology of the Testis

Practical Ideas for Multi-cultural Learning and Teaching in the Primary Classroom

Burnie

Haunted Old Town San Diego: A Walking Guide & History

SATANIC SCRIPTURES

In Vitro Methods in Toxicology

The Rhea Jensen Series Book 3: City Limits

Deep

Memoirs of the Late REV. Samuel Medley, Compiled by His Son

Agnes Heller

Клиенти, които купиха тази книга, купиха също

Ein Motiv aus dem Kalender Airedale Terrier 2017 (Puzzle)

Freche Ziegenböcke (Puzzle)

Offener Brief an den Herrn Prof. Hausser in Heidelberg,

A Importância do Treinamento Multicomponente para um Envelhecimento Saudável

Černý korál

Entrenemos

Das 6. Ökumenische Konzil von Konstantinopel (680/681)