Static validation of dynamically generated HTML documents based on abstract parsing and semantic processing
- Title
- Static validation of dynamically generated HTML documents based on abstract parsing and semantic processing
- Author
- 도경구
- Keywords
- abstract parsing; HTML validation; static analysis; string analysis
- Issue Date
- 2013-06
- Publisher
- Springer Verlag
- Citation
- Lecture Notes in Computer Science, v. 7935 LNCS, Page. 194-214
- Abstract
- Abstract parsing is a static-analysis technique for a program that, given a reference LR(k) context-free grammar, statically checks whether or not every dynamically generated string output by the program conforms to the grammar. The technique operates by applying an LR(k) parser for the reference language to data-flow equations extracted from the program, immediately parsing all the possible string outputs to validate their syntactic well-formedness. In this paper, we extend abstract parsing to do semantic-attribute processing and apply this extension to statically verify that HTML documents generated by JSP or PHP are always valid according to the HTML DTD. This application is necessary because the HTML DTD cannot be fully described as an LR(k) grammar. We completely define the HTML 4.01 Transitional DTD in an attributed LALR(1) grammar, carry out experiments for selected real-world JSP and PHP applications, and expose numerous HTML validation errors in the applications. In the process, we experimentally show that semantic properties defined by attribute grammars can also be verified using our technique. © 2013 Springer-Verlag.
- URI
- https://link.springer.com/chapter/10.1007/978-3-642-38856-9_12https://repository.hanyang.ac.kr/handle/20.500.11754/185691
- ISSN
- 0302-9743;1611-3349
- DOI
- 10.1007/978-3-642-38856-9_12
- Appears in Collections:
- COLLEGE OF COMPUTING[E](소프트웨어융합대학) > COMPUTER SCIENCE(소프트웨어학부) > Articles
- Files in This Item:
There are no files associated with this item.
- Export
- RIS (EndNote)
- XLS (Excel)
- XML