Community Profile

photo

Gary

Last seen: Today Active since 2017

Statistics

  • Knowledgeable Level 1
  • First Answer

View badges

Content Feed

View by

Answered
Problem while derefrance the void pointer?
It's difficult to understand your case exactly, because there's no reproduction example. If your case is similar with below e...

6 years ago | 0

Answered
How to change timeout parameter for Bug Finder module analysis?
There's no official option to specify timeout value for Polyspace Bug Finder. The option, -timeout is for Polyspace Code Prover ...

6 years ago | 0

| accepted