Community Profile

photo

Anirban


MathWorks

19 2018 이후 총 참여 횟수

담당자

Anirban's 배지

  • 3 Month Streak
  • Knowledgeable Level 2
  • Revival Level 2
  • First Answer

세부 정보 보기...

참여 게시물
보기 기준

답변 있음
Custom rule to be added to polyspace
The Polyspace custom rules use regular expressions to detect patterns, so you can go as far as regular expressions can take you....

약 10시간 전 | 0

답변 있음
For the Polyspace Jenkins plugin, does the machine running Jenkins have to also have Polyspace Bug Finder Server?
Only the machine that runs a Bug Finder analysis needs to have access to a Bug Finder Server product somehow. The actual install...

2일 전 | 0

답변 있음
How can I get Polyspace Bug Finder Access installer zip?
The R2019b version of the Polyspace installer file (latest as of now) can be found here: https://www.mathworks.com/downloads/we...

6일 전 | 0

답변 있음
Polyspace limitation:fixed point type is not supported from the file tricore.h, which exists in MATLAB/polyspace/verifier/extensions/..
As of release R2019b, the fixed-point types of the Tasking compiler are not supported. If you do not use these types anyway, you...

6일 전 | 0

답변 있음
How to generate Bug Finder report with pass/fail tab filled?
You have to use specific report templates to see the Pass/Fail status: Code Prover: SoftwareQualityObjectives or SoftwareQualit...

7일 전 | 0

| 수락됨

답변 있음
How can I generate the report of coding-rule check with source code line information?
The Bug Finder reports are meant for archiving purposes only (to maintain snapshots of the code quality at specific milestones)....

7일 전 | 2

| 수락됨

답변 있음
Polyspace Code Prover expected identifier error
This error can come from multiple causes. Without some indication of the definition of KeyBaseType, it is difficult to answer. ...

13일 전 | 0

답변 있음
I am trying to upload the results of bugfinder analysis downloaded from server to the Polyspace Access. But I keep getting this error
To use the polyspace-access command to upload results, the results must have been generated using one of the Polyspace Server pr...

14일 전 | 1

| 수락됨

답변 있음
Problems by setting up a propper IAR Project for ARM
Hi Lunae, Do you mean this topic: https://www.mathworks.com/matlabcentral/answers/402567-how-to-use-polyspace-inside-iar-embbed...

14일 전 | 0

답변 있음
Expected a ";", compilation error with code prover
Polyspace Support can help you understand your specific issue. Visit this page. Often, errors like this can indicate some issues...

약 2달 전 | 1

| 수락됨

답변 있음
Where can I find Polyspace documentation?
For installation of the desktop products, Polyspace Bug Finder and Polyspace Code Prover, see the desktop product installation d...

3달 전 | 0

답변 있음
How do I use Polyspace Bug Finder with Jenkins?
In R2019a, the 'MathWorks Polyspace plugin' in Jenkins allows you to run the Polyspace Server products as part of continuous int...

8달 전 | 1

답변 있음
Can Polyspace prove recursion to be impossible?
Polyspace can detect use of recursion. There are many ways you can turn on recursion detection: Enable checkers for MISRA C:201...

11달 전 | 0

답변 있음
Is it possible to get a worst case stack size with polyspace
From R2017b onwards, Code Prover provides the stack size by tracing the call hierarchy. See: Maximum stack usage Determinati...

11달 전 | 0

답변 있음
MISRA rules violations of Generated Code for Embedded Coder
In addition to the previous answer, another possibility can be that you ran Polyspace for MISRA rules meant for handwritten code...

약 1년 전 | 0

답변 있음
Polyspace code prover results are half analysed
Do you mean code that is colored grey indicating unreachable code or code that is simply not analyzed (no colors)? In either ...

약 1년 전 | 0

| 수락됨

답변 있음
Why are the metrics in the reports not given per file but only the project min and max values?
Hello, If you use the *CodeMetrics* template for report generation, you see the metrics broken down by file and function. Fo...

약 1년 전 | 1

| 수락됨

답변 있음
How to suppress correctness condition
Hi Lenin, You have to provide the specific situation or a reproduction code snippet to show why the Correctness Condition err...

1년 이상 전 | 0

답변 있음
Where can I find a detailed list of the differences between Bug Finder and Code Prover?
Hi Andreas, You can see the differences listed here: https://www.mathworks.com/help/codeprover/ug/polyspace-misra-c-2012-c...

1년 이상 전 | 0