photo

Anirban Gangopadhyay


Last seen: 8 meses hace |  Con actividad desde 2017

Followers: 0   Following: 0

Mensaje

Estadística

  • Knowledgeable Level 1
  • First Answer

Ver insignias

Feeds

Ver por

Respondida
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...

más de 3 años hace | 0

Respondida
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...

más de 3 años hace | 0

| aceptada

Respondida
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 ...

más de 7 años hace | 1

| aceptada