Linking syntactic and semantic models of Java source code within a program transformation system

Victor L. Winter, Jonathan Guerrero, Alexander James, Carl Reinke

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Scopus citations

Abstract

Static analysis and software manipulation tools are frequently rule-based and draw on a variety of software models in order to achieve their goals. Program transformation languages provide traversal and matching capabilities that are aligned with the core functionality of rule-based systems. Therefore, transformation systems should be considered as candidates for implementing static analysis and manipulation tools. An issue associated with this approach is that transformation systems predominantly operate on syntactic models (abstract/concrete trees) of software. To effectively support in-depth analysis, it is beneficial to integrate the syntactic models used by transformation systems with one or more semantic models. This paper describes a system, called GPS-Traverse, that establishes a link between syntactic and semantic models of Java software. These models are central to a transformation-based Java source code analysis and manipulation system we are developing called Sextant. Within Sextant, GPS-traverse provides a coordinate system that is accessible during transformation. These coordinates enable the semantic model to be queried in a context-sensitive fashion during the course of transformation.

Original languageEnglish (US)
Title of host publicationProceedings - IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012
Pages122-129
Number of pages8
DOIs
StatePublished - 2012
EventIEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012 - Omaha, NE, United States
Duration: Oct 25 2012Oct 27 2012

Publication series

NameProceedings of IEEE International Symposium on High Assurance Systems Engineering
ISSN (Print)1530-2059

Conference

ConferenceIEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012
CountryUnited States
CityOmaha, NE
Period10/25/1210/27/12

Keywords

  • GPS-Traverse
  • Java
  • Sextant
  • TL System
  • program transformation
  • source code analysis

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Fingerprint Dive into the research topics of 'Linking syntactic and semantic models of Java source code within a program transformation system'. Together they form a unique fingerprint.

Cite this