Community Profile

photo

Anirban Gangopadhyay


Last seen: 5 months ago |  Active since 2017

Followers: 0   Following: 0

Message

Statistics

  • Knowledgeable Level 1
  • First Answer

View badges

Feeds

View by

Answered
How to load an XML file for setting "code metrics" options at the command line.
Hi, The difference between code metrics and the other checkers is that the thresholds/limits have to set after analysis, that i...

3 years ago | 0

Answered
LinkData.xml after polyspace analysis
The file linksData.xml is generated if you run Polyspace analysis on generated code from Simulink. You can also run the function...

3 years ago | 0

| accepted

Answered
Is it possible to get a worst case stack size with polyspace
From R2016b onwards, you can see the size of local variables in each function. You can estimate the stack usage by adding those ...

7 years ago | 1

| accepted