Static Analysis for Event-Based XML Processing

  • Anders Møller

Abstract

Event-based processing of XML data - as exemplified by the popular SAX framework - is a powerful alternative to using W3C's DOM or similar tree-based APIs. The event-based approach is particularly superior when processing large XML documents in a streaming fashion with minimal memory consumption.

This paper discusses challenges for creating program analyses for SAX applications. In particular, we consider the problem of statically guaranteeing that a given SAX program always produces only well-formed and valid XML output. We propose an analysis technique based on existing analyses of Servlets, string operations, and XML graphs.

Published
2008-04-15
How to Cite
Møller, A. (2008). Static Analysis for Event-Based XML Processing. BRICS Report Series, 15(1). https://doi.org/10.7146/brics.v15i1.22181
Section
Articles