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. © 2009 Springer.
CITATION STYLE
Doh, K. G., Kim, H., & Schmidt, D. A. (2009). Abstract parsing: Static analysis of dynamically generated string output using LR-parsing technology. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5673 LNCS, pp. 256–272). https://doi.org/10.1007/978-3-642-03237-0_18
Mendeley helps you to discover research relevant for your work.