A Scalable Nonuniform Pointer Analysis for Embedded Programs

Pointer Analysis

10.1561/9781680830217 ◽

2015 ◽

Cited By ~ 2

Author(s):

Yannis Smaragdakis ◽

George Balatsouras

Keyword(s):

Pointer Analysis

Download Full-text

Modular interprocedural pointer analysis using access paths

ACM SIGPLAN Notices ◽

10.1145/358438.349311 ◽

2000 ◽

Vol 35 (5) ◽

pp. 57-69 ◽

Cited By ~ 20

Author(s):

Ben-Chung Cheng ◽

Wen-Mei W. Hwu

Keyword(s):

Pointer Analysis

Download Full-text

A novel analysis space for pointer analysis and its application for bug finding

Science of Computer Programming ◽

10.1016/j.scico.2009.08.002 ◽

2010 ◽

Vol 75 (11) ◽

pp. 921-942 ◽

Cited By ~ 2

Author(s):

Marcio Buss ◽

Daniel Brand ◽

Vugranam Sreedhar ◽

Stephen A. Edwards

Keyword(s):

Pointer Analysis ◽

Bug Finding

Download Full-text

Using static single assignment form to improve flow-insensitive pointer analysis

ACM SIGPLAN Notices ◽

10.1145/277652.277668 ◽

1998 ◽

Vol 33 (5) ◽

pp. 97-105 ◽

Cited By ~ 10

Author(s):

Rebecca Hasti ◽

Susan Horwitz

Keyword(s):

Pointer Analysis ◽

Static Single Assignment ◽

Single Assignment

Download Full-text

Lightweight Function Pointer Analysis

Information Security Practice and Experience - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17533-1_30 ◽

2015 ◽

pp. 439-453

Author(s):

Wei Zhang ◽

Yu Zhang

Keyword(s):

Pointer Analysis

Download Full-text

Applications of Synchronized Pushdown Systems

Ernst Denert Award for Software Engineering 2019 ◽

10.1007/978-3-030-58617-1_3 ◽

2020 ◽

pp. 19-45

Author(s):

Johannes Späth

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Computational Effort ◽

Pointer Analysis ◽

Sensitive Data ◽

Data Flow Analysis ◽

Context Sensitive ◽

Program Slice ◽

Static Data ◽

Per Se

AbstractA precise static data-flow analysis transforms the program into a context-sensitive and field-sensitive approximation of the program. It is challenging to design an analysis of this precision efficiently due to the fact that the analysis is undecidable per se. Synchronized pushdown systems (SPDS) present a highly precise approximation of context-sensitive and field-sensitive data-flow analysis. This chapter presents some data-flow analyses that SPDS can be used for. Further on, this chapter summarizes two other contributions of the thesis “Synchronized Pushdown System for Pointer and Data-Flow Analysis” called Boomerang and IDEal. Boomerang is a demand-driven pointer analysis that builds on top of SPDS and minimizes the highly computational effort of a whole-program pointer analysis by restricting the computation to the minimal program slice necessary for an individual query. IDEal is a generic and efficient framework for data-flow analyses, e.g., typestate analysis. IDEal resolves pointer relations automatically and efficiently by the help of Boomerang. This reduces the burden of implementing pointer relations into an analysis. Further on, IDEal performs strong updates, which makes the analysis sound and precise.

Download Full-text