Object analysis of program
Vladimir Ivanovich Shelekhov, Sergey V. Kuksenko · ACM SIGPLAN Notices · 1994
Object analysis is the essential initial stage of the language-oriented dataflow analysis of industrial programs in the complete Modula-2 language .Objec t analysis produces an object program scheme whic h approximates a set of objects (variables and procedures ) and their structure relations : variable components and variable values (so-called substitutors) of POINTER and PROCEDURE types .It is impossible to implement the language-oriente d dataflow analysis of program which incorporates typ e transfer constructs in source code .Therefore, object analysis algorithm at first improves language constructs : machine-dependent constructs (type transfer, ADDRES S and WORD types) are converted to constructs of "pure " Modula-U language including UNION type an d complementary rules of type compatibility .Object analysis also produces sound approximation o f intermodular interaction taking into account modules whose source code is inaccessible for analysis .