MATLAB: How to replace the Tomcat version in Polyspace

Polyspace Bug FinderPolyspace Code ProverPolyspace Server for Ada

I would like to upgrade Tomcat to an upper version because of some security vulnerabilities in the version that ships with Polyspace.

Best Answer

Polyspace Metrics now uses Tomcat 8.0.22 to run the Polyspace Metrics web interface. If you want to use your own version of Tomcat, you can specify a custom Tomcat server in the daemon configuration file. To add your custom tomcat web server, add the following line to the daemon configuration file.
tomcat_install_dir = <path/to/tomcat>
The daemon configuration file is located in:
  • Windows — %APPDATA%\Polyspace_RLDatas\polyspace.conf
  • Linux — /etc/Polyspace/polyspace.conf
Indeed an upper version of Tomcat has not been tested with Polyspace. However this new version should work, as we do not use any advanced features of Tomcat.
Related Question