Community Profile

photo

Anirban Gangopadhyay


Last seen: 4개월 전 2017년부터 활동

통계

  • Knowledgeable Level 1
  • First Answer

배지 보기

Content Feed

보기 기준

답변 있음
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년 초과 전 | 0

답변 있음
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년 초과 전 | 0

| 수락됨

답변 있음
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년 전 | 1

| 수락됨