scholarly journals Static Analysis for Dynamic XML

2002 ◽  
Vol 9 (24) ◽  
Author(s):  
Aske Simon Christensen ◽  
Anders Møller ◽  
Michael I. Schwartzbach
Keyword(s):  
Static Analysis ◽  
Regular Expression ◽  
Expressive Power ◽  
Dataflow Analysis ◽  
Xml Documents ◽  
Dynamic Form ◽  
Summary Graph ◽  
Present Summary ◽  
Type Check ◽  
Extra Structure

We describe the <em>summary graph</em> lattice for dataflow analysis of programs that dynamically construct XML documents. Summary graphs have successfully been used to provide static guarantees in the JWIG language for programming interactive Web services. In particular, the JWIG compiler is able to check validity of dynamically generated XHTML documents and to type check dynamic form data. In this paper we present summary graphs and indicate their applicability for various scenarios. We also show that summary graphs have exactly the same expressive power as the regular expression types from XDuce, but that the extra structure in summary graphs makes them more suitable for certain program analyses.

scholarly journals A Runtime System for XML Transformations in Java

2004 ◽  
Vol 11 (33) ◽  
Author(s):  
Aske Simon Christensen ◽  
Christian Kirkegaard ◽  
Anders Møller
Keyword(s):  
Static Analysis ◽  
Programming Language ◽  
Program Analysis ◽  
Companion Paper ◽  
General Purpose ◽  
Runtime System ◽  
Xml Documents ◽  
Level Data ◽  
High Level ◽  
The Given

We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise static analysis for guaranteeing validity of the constructed XML documents relative to the given DTD schemas, and (2) a runtime system where the operations can be performed efficiently. The system, named Xact, is based on a notion of immutable XML templates and uses XPath for deconstructing documents. A companion paper presents the program analysis; this paper focuses on the efficient runtime representation.

Precise and scalable static analysis of jQuery using a regular expression domain

2017 ◽  
Vol 52 (2) ◽  
pp. 25-36 ◽  
Author(s):  
Changhee Park ◽  
Hyeonseung Im ◽  
Sukyoung Ryu
Keyword(s):  
Static Analysis ◽  
Regular Expression ◽  
Expression Domain

scholarly journals Static Validation of XSL Transformations

2005 ◽  
Vol 12 (32) ◽  
Author(s):  
Anders Møller ◽  
Mads Østerby Olesen ◽  
Michael I. Schwartzbach
Keyword(s):  
Web Services ◽  
Programming Languages ◽  
Large Class ◽  
Static Analysis ◽  
Programming Language ◽  
Pragmatic Approach ◽  
Validation Technique ◽  
Summary Graph

XSL Transformations (XSLT) is a programming language for defining transformations between XML languages. The structure of these languages is formally described by schemas, for example using DTD, which allows individual documents to be validated. However, existing XSLT tools offer no static guarantees that, under the assumption that the input is valid relative to the input schema, the output of the transformation is valid relative to the output schema.<br /> <br />We present a validation technique for XSLT based on the summary graph formalism introduced in the static analysis of JWIG Web services. Being able to provide static guarantees, we can detect a large class of errors in an XSLT stylesheet at the time it is written instead of later when it has been deployed, and thereby provide benefits similar to those of static type checkers for modern programming languages.<br /> <br />Our analysis takes a pragmatic approach that focuses its precision on the essential language features but still handles the entire XSLT 1.0 language. We evaluate the analysis precision on a range of real stylesheets and demonstrate how it may be useful in practice.

scholarly journals Static Analysis of XML Transformations in Java

2003 ◽  
Vol 10 (19) ◽  
Author(s):  
Christian Kirkegaard ◽  
Anders Møller ◽  
Michael I. Schwartzbach
Keyword(s):  
Static Analysis ◽  
Input Data ◽  
Data Type ◽  
Output Data ◽  
Type Checking ◽  
Low Level ◽  
Xml Documents ◽  
Input And Output ◽  
Schema Languages ◽  
High Level

XML documents generated dynamically by programs are typically represented as text strings or DOM trees. This is a low-level approach for several reasons: 1) Traversing and modifying such structures can be tedious and error prone; 2) Although schema languages, e.g. DTD, allow classes of XML documents to be defined, there are generally no automatic mechanisms for statically checking that a program transforms from one class to another as intended. We introduce X<small>ACT</small>, a high-level approach for Java using XML templates as a first-class data type with operations for manipulating XML values based on XPath. In addition to an efficient runtime representation, the data type permits static type checking using DTD schemas as types. By specifying schemas for the input and output of a program, our algorithm will statically verify that valid input data is always transformed into valid output data and that no errors occur during processing.

scholarly journals A Runtime System for XML Transformations in Java

2003 ◽  
Vol 10 (29) ◽  
Author(s):  
Aske Simon Christensen ◽  
Christian Kirkegaard ◽  
Anders Møller
Keyword(s):  
Static Analysis ◽  
Programming Language ◽  
Program Analysis ◽  
Companion Paper ◽  
General Purpose ◽  
Runtime System ◽  
Xml Documents ◽  
Level Data ◽  
High Level ◽  
The Given

We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise static analysis for guaranteeing validity of the constructed XML documents relative to the given DTD schemas, and (2) a runtime system where the operations can be performed efficiently. The system, named X<small>ACT</small>, is based on a notion of immutable XML templates and uses XPath for deconstructing documents. A companion paper presents the program analysis; this paper focuses on the efficient runtime representation.

Structure- and Content-Based Retrieval for XML Documents

2005 ◽  
pp. 2662-2664
Author(s):  
Jae-Woo Chang
Keyword(s):  
Expressive Power ◽  
Basic Element ◽  
Multimedia Data ◽  
Index Structure ◽  
Markup Language ◽  
Content Based Retrieval ◽  
Document Structure ◽  
Xml Documents ◽  
Xml Document ◽  
Extensible Markup

The XML was proposed as a standard markup language to make Web documents in 1996 (Extensible Markup Language, 2000). It has as good an expressive power as SGML and is easy to use like HTML. Recently, it has been common for users to acquire through the Web a variety of multimedia documents written by XML. Meanwhile, because the number of XML documents is dramatically increasing, it is difficult to reach a specific XML document required by users. Moreover, an XML document not only has a logical and hierarchical structure in common, but also contains its multimedia data, such as image and video. Thus, it is necessary to retrieve XML documents based on both document structure and image content. For supporting the structure-based retrieval, it is necessary to design four efficient index structures, that is, keyword, structure, element, and attribute index, by indexing XML documents using a basic element unit. For supporting the content-based retrieval, it is necessary to design a high-dimensional index structure so as to store and retrieve both color and shape feature vectors efficiently.

scholarly journals Static Analysis for Event-Based XML Processing

2006 ◽  
Vol 13 (16) ◽  
Author(s):  
Anders Møller
Keyword(s):  
Static Analysis ◽  
Memory Consumption ◽  
Xml Data ◽  
Xml Documents ◽  
Event Based

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.<br /> <br />This paper discusses challenges and presents some considerations for creating program analyses for SAX applications. In particular, we consider the problem of statically guaranteeing that a given SAX application always produces only well-formed and valid XML output.

Sign in / Sign up

Export Citation Format

Share Document