How can I use dynamic arrays in Polyspace 5.1 (R2008a)?

Dynamic arrays are possible in C with compilers supporting the C99 standard.

PolySpace supports only C90 so an analysis using this construct will fail with a compilation error.

Answer 1

[MathWorks Support Team]

There is no way to make PolySpace accept dynamic arrays without modifying the source code that is being analyzed.

Please consider the following:

Replace this syntax

 void foo(unsigned char a)

 {

 char b[a];

 }

with this

 void foo(unsigned char a)

 {

 #ifndef POLYSPACE 

 char b[a];

 #else

 char *b = (char *) malloc(sizeof(char) * a);

 #endif

 }