Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology

  • Kyung-Goo Doh
  • Hyunha Kim
  • David A. Schmidt
Conference paper

DOI: 10.1007/978-3-642-03237-0_18

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5673)
Cite this paper as:
Doh KG., Kim H., Schmidt D.A. (2009) Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. In: Palsberg J., Su Z. (eds) Static Analysis. SAS 2009. Lecture Notes in Computer Science, vol 5673. Springer, Berlin, Heidelberg

Abstract

We combine LR(k)-parsing technology and data-flow analysis to analyze, in advance of execution, the documents generated dynamically by a program. Based on the document language’s context-free reference grammar and the program’s control structure, the analysis predicts how the documents will be generated and parses the predicted documents. Our strategy remembers context-free structure by computing abstract LR-parse stacks. The technique is implemented in Objective Caml and has statically validated a suite of PHP programs that dynamically generate HTML documents.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Kyung-Goo Doh
    • 1
  • Hyunha Kim
    • 1
  • David A. Schmidt
    • 2
  1. 1.Hanyang UniversityAnsanSouth Korea
  2. 2.Kansas State University, ManhattanKansasUSA

Personalised recommendations