photo

Alessandro Samori


Last seen: 2年以上 前 |  2021 年からアクティブ

Followers: 0   Following: 0

統計

  • Thankful Level 2
  • Thankful Level 1

バッジを表示

Feeds

表示方法

質問


MISRA C:2012 Rule 10.3 clarification
Hello, I need your support on a MISRA violation using polyspace bug finder. I tried to cast the following variables: -in.ecbk...

3年弱 前 | 1 件の回答 | 0

1

回答

質問


Polyspace in Jenkins. How to reduce the size of the generated options file?
We are using Polyspace with the automation server Jenkins. The method to generate automatically a Polyspace options_file, is to ...

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

1

回答

質問


Polyspace Code Prover doesn't create a report after a remote execution via command line
I'm trying to run Polyspace Code Prover by command line in Windows. I create an "-options-file" to configure Polyspace. I'm usin...

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

1

回答