D2.2: Static Analysis Techniques for AIR Generation

In this report we describe the developed techniques for static analysis of REPARA-C++ source code and for producing REPARA-AIR representations. This means that we developed a command line tool, called RCPP2AIR, whose input is a REPARA-C++ compilation unit. It analyses the input and builds Continue reading D2.2: Static Analysis Techniques for AIR Generation