Steering Clear of Triples: Deriving the Control Flow Graph Directly from the Abstract Syntax Tree in C Programs

Authors:
N. Schwartz
Affiliations:
-
Venue:
Steering Clear of Triples: Deriving the Control Flow Graph Directly from the Abstract Syntax Tree in C Programs
Year:
1998

Citing 0
Cited 2

A higher-order strategy for eliminating common subexpressions

Computer Languages, Systems and Structures
XSS-Dec: a hybrid solution to mitigate cross-site scripting attacks

DBSec'12 Proceedings of the 26th Annual IFIP WG 11.3 conference on Data and Applications Security and Privacy

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article explores the extension of Morgenthaler''s Virtual Control Flow technique, which derives control flow semantics directly from the Abstract Syntax Tree, from the relatively coarse granularity of syntactic C expressions to the finer granularity of basic block expressions, that is, expressions without embedded control flow. We explain why this is a better level of abstraction for program analysis, and discuss the elements of an efficient and elegant solution, motivating the presentation by appealing to a more explicit intermediate form. We present our algorithm, and conclude with remarks about the suitability of Morgenthaler''s version of Virtual Control Flow for customary exhaustive data-flow analysis.