What does ps_porky received signal 11 mean and how can I avoid it?

Working on Polyspace Code Prover R2016B in Ubuntu 14.04 LTS I am setting up a new project with quite a simple configuration: one module, sources from the same folder and several includes. Having everything set up, I get this message every time I launch it:

"The process ps_porky received the signal 11" "Exiting because of previous error"

This always appears during compilation, when reaching around 57% of it. I guess it is some configuration issue, but I haven't been capable of finding the root cause behind it.

Why am I getting this error?

Thanks in advance!