photo

Anirban Gangopadhyay


Last seen: 8 mois il y a |  Actif depuis 2017

Followers: 0   Following: 0

Message

Statistiques

  • Knowledgeable Level 1
  • First Answer

Afficher les badges

Feeds

Afficher par

Réponse apportée
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...

plus de 3 ans il y a | 0

Réponse apportée
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...

plus de 3 ans il y a | 0

| A accepté

Réponse apportée
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 ...

plus de 7 ans il y a | 1

| A accepté