Polyspace R2012b & Qt projects

6 views (last 30 days)
Dimitry Pobilec
Dimitry Pobilec on 10 Apr 2015
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?

Answers (1)

Alexandre De Barros
Alexandre De Barros on 13 Apr 2015
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
  3 Comments
Alexandre De Barros
Alexandre De Barros on 23 Apr 2015
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
Ridlo Tubagus sholeh on 6 Sep 2017
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

Sign in to comment.

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!