Community Profile

photo

Anirban

Last seen: Today 2018년부터 활동

통계

  • 12 Month Streak
  • Knowledgeable Level 4
  • Revival Level 2
  • First Answer

배지 보기

Content Feed

보기 기준

답변 있음
Failed compilation in Polyspace using R2022b
Errors such as this indicate that perhaps the project is not set up correctly. In particular, all the include folders have not b...

18일 전 | 0

답변 있음
Polyspace Bug Finder report Project Summary wanted Unreviewed
Table 1.1 in Chapter 1. Bug Finder Summary actually shows the number of unreviewed results, not files. You can convert a result ...

19일 전 | 0

답변 있음
How to prevent Polyspace comments from disappearing or getting overwritten?
A result set in Polyspace Access can be opened by multiple people at the same time and review comments added. This would support...

30일 전 | 0

| 수락됨

답변 있음
How to install Polyspace on Linux
You can see some installation steps on Install Polyspace Server Products at Command Line. Similar steps apply to the desktop pro...

30일 전 | 0

답변 있음
Polyspace Bugfinder Percentage of code checked for run-time errors 0%
Which Polyspace report template are you using for generating the report? It looks like you are using the Developer template, whi...

대략 1개월 전 | 0

답변 있음
Polyspace bugfinder for keil environment using command line
If you are able to use polyspace-configure, that might be the easiest. Your compiler and target characteristics will be set for ...

대략 1개월 전 | 0

답변 있음
Inquiry about conflict issue between security program and Polyspace
Those messages come from polyspace-configure, the tool used to configure Polyspace projects based on the user's build system. To...

2개월 전 | 0

답변 있음
How can I generate a polysapce list containing the following Inforamtion <Misra C-Notification> <Filename> <Line in file>?
Your question has the same answer as the following: https://www.mathworks.com/matlabcentral/answers/491845-polyspace-bug-finder-...

3개월 전 | 0

답변 있음
Polyspace MISRA C 2012 rule 8.6 inquiry
Which release of Polyspace are you using? I am asking because in later releases, the results for rules 8.x should appear with ...

3개월 전 | 0

답변 있음
How can I start Polyspace in a second instance?
You can double-click the polyspace.exe executable twice to open two instances, and then open your .psbf file from whichever inst...

3개월 전 | 0

답변 있음
How can I use 'mp5xx' target with 'diab' compiler in polyspace 2020 bug finder?
If you are using the mp5xx target, you can pick powerpc as your target. For the purposes of a Polyspace analysis, MPC5xx falls...

3개월 전 | 0

답변 있음
how can I check checkers-activation-file versus checkers-selection-file
Couple of differences: The option -checkers-activation-file allows you to specify all checkers supported by Bug Finder: defect ...

3개월 전 | 0

답변 있음
identifier "SRSS" is undefined while doing polyspace analysis
Your workflow should have worked. For instance, this simple file: void foo(void) { int x = SS; } Will show the 'undefine...

3개월 전 | 0

답변 있음
Create polyspace project(*.psprj) from command line
You cannot create a blank Polyspace project or a project with source files from the command line (unless you are using a build c...

3개월 전 | 0

| 수락됨

답변 있음
How do I add custom rules for data types separately?
Custom rules in the Type definitions category only apply to typedef-s. All typedef-s of integer types are flagged by a different...

4개월 전 | 0

답변 있음
How do I customize the indentation in the custom rules?
As of release R2022b, there is no rule related to indentation in Polyspace Bug Finder. Most IDE-s and editors these days have...

4개월 전 | 0

답변 있음
How should I verify ”overlapping” results from Code Prover and Bug Finder?
The recommended approach is to use Bug Finder first (and more frequently), and fix the simpler bugs found. Then, use Code Pro...

4개월 전 | 1

| 수락됨

답변 있음
Polyspace "Maximum Stack Usage" calculation on ARM systems wrong
Hi, -target=arm uses these settings (for the armcc compiler for instance): https://www.mathworks.com/help/bugfinder/ref/armv5...

4개월 전 | 0

답변 있음
Compatibility check for matlab products with targetlink
1) For cross-release integration, you can run on generated code using pslinkruncrossrelease (introduced in R2021a). 2) Your Pol...

5개월 전 | 0

답변 있음
identifier "oo" is undefined error in polyspace bug finder
Do you mean that you have a #include to a header referred by it's absolute path? This should be automatically detected without e...

5개월 전 | 0

답변 있음
I can't run the "polyspace-bugfinder-nodesktop.exe" via a user-defined option file
Which release of Polyspace are you using? Since R2021b, text format for coding rules specification is not supported. See the Ver...

5개월 전 | 0

답변 있음
compatibility of polyspace 2019a with matlab 2021b
You can have a Polyspace version later than the MATLAB version but not vice versa. See Polyspace Support of MATLAB and Simulink ...

5개월 전 | 1

| 수락됨

답변 있음
Code prover gives force refined shared variables analysis error.
Some more information is needed to answer this question. Are you using a manual multitasking configuration? In other words, are...

5개월 전 | 0

답변 있음
Code Prover and Bug Finder finding race condition bug problem.
You can see which structure field is accessed on the Variable Access pane. For more information, see Variable Access.

5개월 전 | 0

답변 있음
How to fix memory usage in Code Prover ?
There could be many possible reasons why Code Prover is running slower than expected. See Reduce Memory Usage and Time Taken by ...

5개월 전 | 0

답변 있음
How to fix gray checks and unreachable functions at Code Prover ?
The unreachable functions might indicate issues with project setup, some early red check, or some compilation issue. See Reasons...

5개월 전 | 0

답변 있음
Code Prover Unreachable code and function
The unreachable functions might indicate issues with project setup, some early red check, or some compilation issue. See Reasons...

5개월 전 | 0

답변 있음
Parsing error while opening polysapce project created by Build command
Did you create this project at the command line and then try to open this project in the UI? In other words, is this the first t...

5개월 전 | 0

| 수락됨

답변 있음
While integrating polyspace 2019a with Matlab 2019a Im getting an error stating undefined function or variable 'polyspacesetup'
The syntax: polyspacesetup('install') Is immediately available only from R2021a. In R2019a, you have to do a few steps ...

5개월 전 | 0

답변 있음
Can Polyspace Bug Finder Server be used with Gitlab CICD instead of Jenkins?
Yes, you can run Polyspace Bug Finder Server on GitLab. You can assign a dedicated runner in GitLab to run the polyspace-bug-fin...

6개월 전 | 1

| 수락됨

더 보기