photo

Nikhil Chaudhari


Active since 2017

Followers: 0   Following: 0

Statistics

Feeds

View by

Question


Problem while derefrance the void pointer?
The polyspace 2016b code prover is showing Illegal derefrance pointer while derefrance the void pointer into an uint32 or float...

7 years ago | 1 answer | 0

1

answer

Question


The Analysis has been stop by timeout(after 86400 seconds).
Polyspace R2016b job got failed due to timeout after 24 hours in 0% itself on server. Job manager showing as the job completed....

7 years ago | 1 answer | 0

1

answer