![photo](/responsive_image/150/150/0/0/0/cache/matlabcentral/profiles/30392618_1686722791647_DEF.jpg)
Viktoria
Followers: 0 Following: 0
Feeds
已回答
Polyspace-bug-finder raises issue due to Rule A3-1-5 if inline function is declared in source file
Hi Anirban, thanks for the answer and the code example. Following modification of the exmaple will result in a violation of ru...
Polyspace-bug-finder raises issue due to Rule A3-1-5 if inline function is declared in source file
Hi Anirban, thanks for the answer and the code example. Following modification of the exmaple will result in a violation of ru...
1 year 前 | 0
提问
Polyspace-bug-finder raises AUTOSAR C++14 M2-10-1 issues also including external headers.
Hello, If using polyspace-bug-finder with Visual Studio Compiler Version 16, M2-10-1 are raised which includes external header ...
1 year 前 | 0 个回答 | 0
0
个回答提问
Polyspace-bug-finder raises issue due to Rule A3-1-5 if inline function is declared in source file
Hello, I declared a function in the header file and implemented it in the source file using the "inline" keyword. Polyspace-bug...
1 year 前 | 2 个回答 | 0
2
个回答提问
Compilation Error if using Polyspace Bug Finder with Visual Studio Clang++
Hi, I am currently trying to use Polyspace Bug Finder with the Windows Clang++ compiler installed with Visual Studio 2019. Unf...
1 year 前 | 1 个回答 | 0