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

parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh1 , Hyunha Kim1 , David A. Schmidt2 1 Hanyang University, Ansan, South Korea 2 Kansas State University, Manhattan, Kansas, USA 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. tegy 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.

• Type: Conference
• Year: 2009
• Where: SAS
• Authors: Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
• Keywords: Abstract Lr-parse Stacks, Context-free Reference Grammar, Formal Methods, Remembers Context-free Structure, SAS 2009