Static analysis of XML transformations in java

Kirkegaard, Christian; Möller, Anders; Schwartzbach, Michael I.

doi:10.1109/tse.2004.1271173

Cited by 52 publications

(15 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The work closest to ours is that of XAct [9], which defines a static analysis for typechecking XML processing programs, where types are used to verify statically that constructed XML data satisfy a specified schema. Their analysis computes a summary graph for every XML variable and expression in the program.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Analysis of imperative XML programs

Reichenbach¹,

Burke²,

Peshansky³

et al. 2009

Information Systems

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

“…XML processing applications in imperative languages such as Java and C# use runtime APIs such as DOM [21], or language-based approaches such as XLinq [3], XJ [6], or XAct [9]. In either case, the programmer is provided with an XML data model and navigational constructs.…”

Section: Introductionmentioning

confidence: 99%

Analysis of imperative XML programs

Reichenbach¹,

Burke²,

Peshansky³

et al. 2009

Information Systems

View full text Add to dashboard Cite

“…This applet is converted to XML using the available Java to XML converter (Java2XML) [9]. After conversion the applet XML is validated by using a browser (Internet Explorer) [3].…”

Section: A Conversion Phase-imentioning

confidence: 99%

APP2MID: Methodology for Conversion of Java Applets Animations to Java MIDlets

Kadam

Sahasrabudhe

2009

2009 Second International Conference on Emerging Trends in Engineering &Amp; Technology

View full text Add to dashboard Cite

Java applets are used in e-learning, mainly for creating animations. Many leading educational and professional organizations have large repositories of animations, created using Java applets which are mostly for desktops. Use of mobile phones is increasing especially amongst students, and creating new eLearning content for mobile phones is resource intensive. It is desirable to have a methodology to adapt existing Java animations on mobile phones. This paper presents a methodology (APP2MID) which converts the Java applet into Java MIDlet that can run on mobile phones. The conversion methodology is divided in three logical phases and will help the user to create MIDlets from the available Java applets, maintaining the original programming logic. We illustrate this methodology using a case study.

show abstract

“…The creators of JSA have employed it in several tools [3,11] related to Java web technologies and XML documents. The JDBC-Checker tool [7,6] builds upon JSA to verify the correctness of dynamically generated SQL query string.…”

Section: Related Workmentioning

confidence: 99%

Improved Static Resolution of Dynamic Class Loading in Java

Sawin¹,

Rountev²

2007

Seventh IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2007)

View full text Add to dashboard Cite

Modern applications are becoming increasingly more dynamic and flexible. In Java software, one important flexibility mechanism is dynamic class loading. Unfortunately, the vast majority of static analyses for Java handle this feature either unsoundly or overly conservatively. We present a set of techniques for static resolution of dynamic-class-loading sites in Java software. Previous work has used static string analysis to achieve this goal. However, a large number of such sites are impossible to resolve with purely static techniques. We present a novel semi-static approach, which combines static string analysis with dynamically gathered information about the execution environment. The key insight behind this approach is the observation that dynamic class loading often depends on characteristics of the execution environment that are encoded in various environment variables. In addition, we propose generalizations of string analysis to increase the number of sites that can be resolved purely statically, and to track the names of environment variables. We present an experimental evaluation on 10,238 classes from the standard Java libraries. Our results show that a stateof-the-art purely static approach resolves only 28% of non-trivial sites, while our approach resolves more than twice as many sites. This work is a step towards making static analysis tools better equipped to handle the dynamic features of Java.

show abstract

Static analysis of XML transformations in java

Cited by 52 publications

References 20 publications

Analysis of imperative XML programs

Analysis of imperative XML programs

APP2MID: Methodology for Conversion of Java Applets Animations to Java MIDlets

Improved Static Resolution of Dynamic Class Loading in Java

Contact Info

Product

Resources

About