![photo](/responsive_image/150/150/0/0/0/cache/matlabcentral/profiles/7952454_1522124102401_DEF.jpg)
bcoover
自 2017 起处于活动状态
Followers: 0 Following: 0
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...
7 years 前 | 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 ...
7 years 前 | 1 个回答 | 0