6.5. Language Schema

The Language Guide covers how the information extracted from the analyzed systems is represented in the RFG (resource flow graph). The representation for the various languages differs, so there is a section on the general language representation used and a specific section for each language.

For more detailed information about how to extract the information from the source code and the tools themselves, please refer to Tool Reference. For C and C++ the information for the RFGs is extracted from IR files.

Other languages can be incorporated by means of a python parser.

Note

The examples shown here are meant to demonstrate key points; they are not meant to demonstrate good source code quality (e.g., many C functions lack a return statement – so most likely a compiler warning will result if you try to compile the code with a C compiler).

The example graphs are also simplified as they do not show startup code, artificial code generated by a compiler like default constructors, etc.