Detailed Information
Cited 0 time in 
Cited 0 time in 
Cited 0 time in
Metadata Downloads
Abstract parsing: Static analysis of dynamically generated string output using LR-parsing technology
- Authors
- Doh, Kyung-Goo; Kim, Hyunha; Schmidt, David A.
- Issue Date
- Aug-2009
- Publisher
- Springer Verlag
- Keywords
- Parsing technologies; Context free languages; Context-free structures; Reference grammar; Document languages; Abstracting; Synthetic aperture sonar; Control structure; Markup languages; Static analysis; Computational linguistics; Data flow analysis; Elect
- Citation
- Lecture Notes in Computer Science, v.5673, pp 256 - 272
- Pages
- 17
- Indexed
- OTHER
- Journal Title
- Lecture Notes in Computer Science
- Volume
- 5673
- Start Page
- 256
- End Page
- 272
- ISSN
- 0302-9743
1611-3349
- 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. © 2009 Springer.
- Files in This Item
- Go to Link
- Appears in
Collections - COLLEGE OF COMPUTING > SCHOOL OF COMPUTER SCIENCE > 1. Journal Articles
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.