Static Analysis for Event-Based XML Processing

Authors

  • Anders Møller

DOI:

https://doi.org/10.7146/brics.v15i1.22181

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

Issue

Section

Articles