A fine-grained data-flow analysis framework

C. Samuel Hsieh

doi:10.1007/s002360050101

A fine-grained data-flow analysis framework

Acta Informatica ◽

10.1007/s002360050101 ◽

1997 ◽

Vol 34 (9) ◽

pp. 653-665 ◽

Cited By ~ 1

Author(s):

C. Samuel Hsieh

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Analysis Framework ◽

Data Flow Analysis ◽

Fine Grained

DroidRista: a highly precise static data flow analysis framework for android applications

International Journal of Information Security ◽

10.1007/s10207-019-00471-w ◽

2019 ◽

Vol 19 (5) ◽

pp. 523-536

Author(s):

Areej Alzaidi ◽

Suhair Alshehri ◽

Seyed M. Buhari

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Analysis Framework ◽

Data Flow Analysis ◽

Static Data ◽

Android Applications

Redesigning Soot's data-flow analysis framework for abstract interpretation

Companion Proceedings for the ISSTA/ECOOP 2018 Workshops on - ISSTA '18 ◽

10.1145/3236454.3236506 ◽

2018 ◽

Author(s):

Elena Sherman

Keyword(s):

Abstract Interpretation ◽

Data Flow ◽

Flow Analysis ◽

Analysis Framework ◽

Data Flow Analysis

A New Elimination-Based Data Flow Analysis Framework Using Annotated Decomposition Trees

Lecture Notes in Computer Science - Compiler Construction ◽

10.1007/978-3-540-71229-9_14 ◽

2007 ◽

pp. 202-217 ◽

Cited By ~ 2

Author(s):

Bernhard Scholz ◽

Johann Blieberger

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Analysis Framework ◽

Data Flow Analysis

Incremental data flow analysis in a structured program editor

ACM SIGPLAN Notices ◽

10.1145/502949.502888 ◽

1984 ◽

Vol 19 (6) ◽

pp. 132-143 ◽

Cited By ~ 15

Author(s):

Frank Kenneth Zadeck

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Structured Program

Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2006.06.019 ◽

2007 ◽

Vol 176 (3) ◽

pp. 97-108 ◽

Cited By ~ 3

Author(s):

Wolfram Amme ◽

Marc-André Möller ◽

Philipp Adler

Keyword(s):

Data Flow ◽

Flow Analysis ◽

General Concept ◽

Data Flow Analysis

Data flow analysis of applicative programs using minimal function graphs

10.1145/512644.512672 ◽

1986 ◽

Cited By ~ 55

Author(s):

Neil D. Jones ◽

Alan Mycroft

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Minimal Function

On Probabilistic Techniques for Data Flow Analysis

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2007.07.005 ◽

2007 ◽

Vol 190 (3) ◽

pp. 59-77 ◽

Cited By ~ 2

Author(s):

Alessandra Di Pierro ◽

Chris Hankin ◽

Herbert Wiklicky

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis

Implementation techniques for efficient data-flow analysis of large programs

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 ◽

10.1109/icsm.2001.972711 ◽

2002 ◽

Cited By ~ 20

Author(s):

D.C. Atkinson ◽

W.G. Griswold

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Implementation Techniques ◽

Efficient Data

May/must analysis and the DFAGen data-flow analysis generator

Information and Software Technology ◽

10.1016/j.infsof.2009.04.014 ◽

2009 ◽

Vol 51 (10) ◽

pp. 1440-1453 ◽

Cited By ~ 3

Author(s):

Andrew Stone ◽

Michelle Strout ◽

Shweta Behere

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis

Polyhedral Data-Flow Analysis for Data Storage and Transfer Exploration

Custom Memory Management Methodology ◽

10.1007/978-1-4757-2849-1_6 ◽

1998 ◽

pp. 121-153

Author(s):

Francky Catthoor ◽

Sven Wuytack ◽

Eddy De Greef ◽

Florin Balasa ◽

Lode Nachtergaele ◽

...

Keyword(s):

Data Storage ◽

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis