photo

Tommy


Aktiv seit 2014

Followers: 0   Following: 0

Nachricht

Statistik

  • Thankful Level 1

Abzeichen anzeigen

Feeds

Anzeigen nach

Frage


Results/Polyspace-Doc/*.pdf shows only #### instead of text - font problem?
I have upgraded our Polyspace machine from CentOS-5 to CentOS-7 and reinstalled Polyspace 2013a from scratch. Everything works ...

mehr als 8 Jahre vor | 0 Antworten | 0

0

Antworten

Frage


Why would polyspace report "memset is dead code"
After the "Intermediate" part is done, the Full Log shows memset is dead code (along with other Standard C functions...

mehr als 10 Jahre vor | 1 Antwort | 0

1

Antwort

Frage


polyspace: best practice for stubbing functions that exit?
I'm not sure what the best practice is with respect to stubbing functions that exit/terminate the program. Consider a reboot() f...

mehr als 10 Jahre vor | 1 Antwort | 1

1

Antwort

Frage


polyspace: color of underlined tokens in the source pane
I'm trying to understand the different kinds of underlining Polyspace provides in the "Source" pane of the GUI. Obviously, solid...

mehr als 10 Jahre vor | 1 Antwort | 0

1

Antwort