Omega—A Data Flow Analysis Tool for the C Programming Language

IEEE Transactions on Software Engineering ◽

10.1109/tse.1985.232542 ◽

1985 ◽

Vol SE-11 (9) ◽

pp. 832-838 ◽

Author(s):

C. Wilson ◽

L.J. Osterweil

Keyword(s):

Programming Language ◽

Data Flow ◽

Flow Analysis ◽

Analysis Tool ◽

Data Flow Analysis ◽

C Programming Language ◽

Download Full-text

DFlow : A data flow analysis tool for C/C++

IEEJ Transactions on Electrical and Electronic Engineering ◽

10.1002/tee.23467 ◽

2021 ◽

Author(s):

Qiaoqiao Yan ◽

Yongjun Li ◽

Yuanhao Wu ◽

Jialong Zhou

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Analysis Tool ◽

Data Flow Analysis

Download Full-text

InputTracer: A Data-Flow Analysis Tool for Manual Program Comprehension of x86 Binaries

2012 IEEE 12th International Working Conference on Source Code Analysis and Manipulation ◽

10.1109/scam.2012.16 ◽

2012 ◽

Author(s):

Ulf Kargen ◽

Nahid Shahmehri

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Program Comprehension ◽

Analysis Tool ◽

Data Flow Analysis

Download Full-text

Incremental data flow analysis in a structured program editor

ACM SIGPLAN Notices ◽

10.1145/502949.502888 ◽

1984 ◽

Vol 19 (6) ◽

pp. 132-143 ◽

Author(s):

Frank Kenneth Zadeck

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Structured Program

Download Full-text

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 ◽

Author(s):

Wolfram Amme ◽

Marc-André Möller ◽

Philipp Adler

Keyword(s):

Data Flow ◽

Flow Analysis ◽

General Concept ◽

Data Flow Analysis

Download Full-text

Data flow analysis of applicative programs using minimal function graphs

10.1145/512644.512672 ◽

1986 ◽

Author(s):

Neil D. Jones ◽

Alan Mycroft

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Minimal Function

Download Full-text

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 ◽

Author(s):

Alessandra Di Pierro ◽

Chris Hankin ◽

Herbert Wiklicky

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis

Download Full-text

Error Analysis on Floating-Point Arithmetic in C Programming Language Library Functions

2013 Fourth International Conference on Emerging Intelligent Data and Web Technologies ◽

10.1109/eidwt.2013.134 ◽

2013 ◽

Author(s):

Min Tang ◽

Xia Zeng ◽

Kai Song ◽

Jian Liu

Keyword(s):

Error Analysis ◽

Programming Language ◽

Floating Point ◽

C Programming Language ◽

Floating Point Arithmetic ◽

C Programming ◽

Point Arithmetic

Download Full-text

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 ◽

Author(s):

D.C. Atkinson ◽

W.G. Griswold

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Implementation Techniques ◽

Download Full-text

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 ◽

Author(s):

Andrew Stone ◽

Michelle Strout ◽

Shweta Behere

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis

Download Full-text

Toward Unseating the Unsafe C Programming Language

IEEE Security & Privacy ◽

10.1109/msec.2020.3048766 ◽

2021 ◽

Vol 19 (2) ◽

pp. 4-6

Author(s):

Paul C. van Oorschot

Keyword(s):

Programming Language ◽

C Programming Language ◽

Download Full-text