A System to Automatically Analyze Assembled Programs from Machine Description

Abstract

The first step of a project to optimize the computing resources of a multiprocessor system controlling a robot is presented. Reprogramming or executable program transfer between the different processors of a system could allow an efficient use of computing resources in a robotic framework. This paper describes how executable programs can be analyzed from a machine description. The actions performed by a machine program are expressed by an intermediate code in a tree form independently of the considered machine. The current implementation provides a tool for studying the theoretical aspect of machine level program analysis. Although such an analysis has proven to be very difficult in the general case, it becomes feasible if some restrictions are assumed. The approach we used already permits applications in program debugging.