photo

srinivasan kandaswamy


Last seen: 11 Monate vor |  Aktiv seit 2015

Followers: 0   Following: 0

Statistik

  • Thankful Level 1

Abzeichen anzeigen

Feeds

Anzeigen nach

Frage


Typecast integer to enum
Below is my test code which throws polyspace warning when i tried to typecast unsigned integer to enum. Is the typecasting of in...

11 Monate vor | 1 Antwort | 0

1

Antwort

Frage


"Out of memory" error in Polyspace Bug finder
Hello, I'm facing below mentioned errors while generating report in polyspace bug finder. /***************Error Log***********...

mehr als 9 Jahre vor | 1 Antwort | 0

1

Antwort

Frage


procedure multiply defined error in polyspace code prover
Hello, In Polyspace code prover, when verifying cross-files ANSI C compliance getting *procedure multiply defined* error for in...

mehr als 9 Jahre vor | 1 Antwort | 0

1

Antwort

Frage


__packed in polyspace code prover
Hello, Getting error *identifier "__packed" is undefined* in polyspace code prover. How to solve this? Thanks and Regards, ...

mehr als 9 Jahre vor | 1 Antwort | 0

1

Antwort

Frage


How to set Compiler option in Polyspace code prover?
Hello All, I am using polyspace code prover 2013b. To avoid multiple inclusion of header file i want to set the compiler optio...

mehr als 9 Jahre vor | 1 Antwort | 0

1

Antwort