Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
- 1 January 2009
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- A Translation from the HTML DTD into a Regular Hedge GrammarLecture Notes in Computer Science, 2008
- Static checking of dynamically generated queries in database applicationsACM Transactions on Software Engineering and Methodology, 2007
- The essence of command injection attacks in web applicationsACM SIGPLAN Notices, 2006
- A Practical String Analyzer by the Widening ApproachLecture Notes in Computer Science, 2006
- XML Validation for Context-Free GrammarsLecture Notes in Computer Science, 2006
- Static Analysis for Java Servlets and JSPLecture Notes in Computer Science, 2006
- Regular expression types for XMLACM Transactions on Programming Languages and Systems, 2005
- Extending Java for high-level Web service constructionACM Transactions on Programming Languages and Systems, 2003
- The projectACM Transactions on Internet Technology, 2002
- A practical framework for demand-driven interprocedural data flow analysisACM Transactions on Programming Languages and Systems, 1997