Martin Walker

Last seen: 約3年前 | 2021 年からアクティブ

Followers: 0 Following: 0

統計

バッジを表示

Feeds

質問

Polyspace Bug Finder ignores #if when checking macro values.
I'm running a Polyspace Bug Finder analysis on some CPP code, with the following macro defined (via Configuration -> Macros): C...

3年以上前 | 1 件の回答 | 0

1

回答

質問

Is Polyspace R2020b Bug Finder and Code Prover compatible with C++ in Visual Studio 2019 (16.7.3)?
Hi, I'm attempting to use Polyspace 2020b Bug Finder and Code Prover on some large Visual Studio 2019 C++ projects but I ran int...

3年以上前 | 1 件の回答 | 0

1

回答