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
