Polyspace R2012b & Qt projects

Hello! Help me, please, with verification Qt project with Polyspace. I didn't find options for Qt. How can I verify my Qt project or it's impossible?

Answer 1

[Alexandre De Barros]

Hi Dimitry,

It is possible to verify your Qt project, but you need to tell Polyspace to activate the same compilation flags (or macros) that your Qt compiler does.

Here is a list of macros that should work:

_REENTRANT
QT_NO_DEBUG
QT_GUI_LIB
QT_CORE_LIB
QT_SHARED

Of course, you will also need to specify the Qt include folders to Polyspace (by adding them to the list of include folders in your Polyspace project) so it can find the header files included by your source files.

Here is a possible list based on a usage of Polyspace under Linux:

/usr/local/Trolltech/Qt-4.8.6/mkspecs/linux-g++
/usr/local/Trolltech/Qt-4.8.6/include/QtCore
/usr/local/Trolltech/Qt-4.8.6/include/QtGui
/usr/local/Trolltech/Qt-4.8.6/include

Best regards,

Alexandre

[Dimitry Pobilec]

Thank you for your answer. We are using Qt 5.3.2 and gcc compiler version 4.9.1. Can we run our code on this version of Polyspace?

[Alexandre De Barros]

Hello!

I don't know Qt 5.3 but I don't see any reason why your code could not be verified with Polyspace.

Did you try the suggested configuration above (adapted to your environment of course) ?

Best regards,

Alexandre

[Ridlo Tubagus sholeh]

hello dimitry

we already include macros and add the include library folder on the polyspace as your suggested but we still have errors when run it.

can you help me to solve the problem?

Note : we use Qt 5.7 and simple c++ code

regards

Ridlo Tubagus S