MATLAB: Does PolySpace take into account endianness

Question

Depending on a selected target, dynamic execution of an application could have completely different results if the target is little endian or big endian. Is this the case with PolySpace?

Answer 1

PolySpace does not take into account the endianess of a target.

For example, in the following example (for a 32-bits target):

%% BEGIN CODE

char *array[4] = {3,0,0,0};