What does "tasking C to intermediate language translation" mean in the Polyspace?

Polyspace return these messages during analysis:

****** tasking C to intermediate language translation - 6.1.2 (P_AP)
****** tasking C to intermediate language translation - 6.1.2 (P_AP) took 56.57real, 56.57u + 0s (16.44gc)
****** tasking C to intermediate language translation - 6.1.3 (P_ITFP)
****** tasking C to intermediate language translation - 6.1.3 (P_ITFP) took 1627.17real, 1627.17u + 0s (199.72gc)
****** tasking C to intermediate language translation - 6.1.4 (P_CA)
******* tasking C to intermediate language translation - 6.1.4.1 (P_STS)

What do they mean?

Answer 1

[MathWorks Support Team]

This phase corresponds to the transformation of the C or C++ code into another representation written into another language (this is the "intermediate language"). The kernel of Polyspace is going to work on this representation.

This technique is very popular in the world of compilers, or even in the world of code generation, think about CGIR (Code Generation Intermediate Representation).

This phase is quite complex and made of several subtasks, that you can see in the log (P_CA, P_STS, etc...).

Please refer to this page to learn more about the CGIR:

https://en.wikipedia.org/wiki/Intermediate_representation