photo

bcoover


2017 年からアクティブ

Followers: 0   Following: 0

統計

  • Thankful Level 1

バッジを表示

Feeds

表示方法

質問


How do I make Polyspace understand a dereferenced pointer function parameter?
The project I'm analyzing has functions that have dereferenced pointers as the parameters: extern void func( Custom_Type &f...

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

1

回答

質問


How can I fix conflicting "main" functions that prevent Code Prover analysis from completing?
The code I'm trying to analyze with Code Prover has two "main" functions: a "throwaway" main in the project's main file and the ...

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

1

回答