Why do I get an exit process error when submitting verification to Polyspace Server for C/C++ 8.4 (R2012b)?

I was submitting a project from Polyspace client to server. But on the server, verification exits with following unclear warning:

- translating procedure getStatus_EMS_HSC_FrP01 (10308 / 10557)

- translating procedure getCruiseControlActiveHSC (10309 / 10557)

 ...

- translating procedure assert (10549 / 10557)

- translating procedure ACC_Init (10550 / 10557)

 Some stats on aliases use:

   Number of alias writes:      140256

   Number of must-alias writes: 127787

   Number of pma writes:        127787

   Number of alias reads:       0

   Number of invisibles:        735

 Stats about alias writes:

   biggest sets of alias writes: ff_resetting:localB (11238), ff_resetting:localDW (6097), IP24_sig_valid_check:localB (2407)

   procedures that write the biggest sets of aliases: ff_resetting (46864), GC (20300), TC (15292)

 **** C to intermediate language translation - 18 (P_PT) took 1400.1real, 1400.1u + 0s (36.4gc)

 **** C to intermediate language translation - 1 (SCCS in standalone binary)

 **** C to intermediate language translation - 1 (SCCS in standalone binary) took 0real, 0u + 0s

 Warning: exit process with a status not equal to 0 or 1 (-96)

Answer 1

[MathWorks Support Team]

In log file we have:

- translating procedure ACC_Init (10550 / 10557)

10557 is the number of procedures in the analysis. It is too much. Most of the time having around one to 4 thousand is the maximum that Polyspace would handle.

As workaround, it is definitively a good idea to split analysis.

Please try use -unit-by-unit option in Polyspace:

All Settings > Analysis options > Polyspace inner settings > Run a verification unit by unit.