photo

Trenton Holmes


Attivo dal 2017

Followers: 0   Following: 0

Statistica

Feeds

Visto da

Domanda


Polyspace 2017b Not Populating from Code comments
It appears that Polyspace 2017b is not reading its own pre-jusifications from the code files. When I copy a justification from ...

oltre 6 anni fa | 2 risposte | 0

2

risposte

Domanda


How can I define a custom exception type for Polyspace Bug Finder?
I am running Polyspace over some code for an embedded system. One thing that I run into is numerous warnings about uninitialize...

circa 7 anni fa | 1 risposta | 0

1

risposta