Implementation of a data-flow analysis for Python scripts in RCE

Abstract

This thesis describes the development and implementation of a data-flow analysis to determine certain functional properties of Python scripts in the integration software RCE. RCE is an open source software where engineers and scientists can integrate their own tools and combine them into workflows. Python scripts are used to convert between data types used by RCE and tool-specific formats. These scripts are error prone because the user can miss the conversion of some values in a script. In this thesis we describe a method for automatic analysis of the Python scripts and implement a prototype of this analysis in Java.