Community Profile

photo

Anirban


Last seen: Today

MathWorks

52 total contributions since 2018

Contact

Anirban's Badges

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

View details...

Contributions in
View by

Answered
Shall I integrate polyspace tool with python scripting
Hi Ashwini, There is no package available to integrate Polyspace with Python. Having said that, you can run Polyspace using sys...

9 days ago | 0

Answered
Polyspace-Code-Prover: User Program Error: User should provide a main routine, use -main or -main-generator.
Hi, Could you confirm a couple of things: The file that has the main function was indeed added to the Polyspace project (if yo...

10 days ago | 0

| accepted

Answered
Polyspace-configure on a microsoft visual studio project hangs or am I still missing ingredients.
Hi Jeremy, Sorry you landed on this topic with a deprecated option. This will be definitely fixed. The recommended way to use ...

14 days ago | 0

Answered
Whether result of Code Prover is depend on the power of the computer which run it?
Hi Hong, The results should not depend on the number of processors used. Parts of the analysis are indeed parallelized over mul...

15 days ago | 0

Answered
Import Review Information from Previous Polyspace Analysis have a problem.
Hi Hong, Your concern is valid. The review information is indeed imported if the content of a line does not change and shows t...

29 days ago | 1

Answered
Polyspace.exe R2020a missing after installation
Hi, It looks like in your latest installation, you did not install 'Polyspace' but you expect Polyspace to work. If so, is it ...

30 days ago | 0

Answered
Generate PolySpace report with code
Hi Kei, Reports are meant for archiving and certification purposes only. To review an actual result, open the results in the ...

30 days ago | 0

Answered
Polyspace 2018b boolean related 10.3 violation, is it a false positive ?
Hi, This is a bug that has been fixed in R2019b. You can upgrade to the later release or if you continue to use R2018b, justify...

2 months ago | 0

| accepted

Answered
Issue with verifying AUTOSAR software components by using Polyspace Code Prover, variable definitions are not considering from Rte_Type.h header file even if it included in source file.
Hi Venkata, I can actually give a partial answer to your question. There is a common user perception that if a header file is...

2 months ago | 0

Answered
Polyspace (either bug finder or code prover) is capable of detecting overflow on iteration variable?
Hi Victor, Both Bug Finder and Code Prover can detect this issue. If you run Bug Finder, you will see a result Unsigned intege...

2 months ago | 0

| accepted

Answered
Recovering data after abnormal termination
Hi Hong, A Code Prover analysis makes several passes on your code. If the analysis stops after pass1 has begun, you can restart...

2 months ago | 0

| accepted

Answered
How do I download Polyspace product directly from Linux desktop
Hi, You can install the Polyspace desktop products (Polyspace Bug Finder, Polyspace Code Prover) or Polyspace Server products ...

2 months ago | 0

Answered
How can I get the metrics of newly added defects at command line using any of polyspace tools?
Hi, On the Polyspace Metrics interface, there is a New Findings Only check box. You can specify two versions to compare, and us...

2 months ago | 0

| accepted

Answered
Can Polyspace prove C++17?
R2020a does not support C++17 officially but it is planned to be supported very soon. For unofficial support, please contact Tec...

2 months ago | 0

| accepted

Answered
Ist it possible to switch to other findings in Source Code panel of Polyspace Access?
Hi Birgit, You can right-click a token in the source code and from the Select Results menu, see all findings on the token.

2 months ago | 0

| accepted

Answered
Import comments written in Polyspace Access
Hi Birgit, If you upload a result to the same project in Polyspace Access as a previous result, all review information from the...

2 months ago | 0

| accepted

Answered
Code Prover show a new Orange warning but I can't find any relationship between changed source code and this new warning.
Hi, It is difficult to answer without the complete project (or at least the changes made to the project). It is possible that t...

2 months ago | 0

| accepted

Answered
Illegally dereferenced pointer in __polyspace_main.c
Hi Xian, Are you using an older release of Polyspace? Generated files used to show up sporadically in very older releases (inst...

3 months ago | 0

| accepted

Answered
False Negative when using Polyspace Code Prover
Hi Hongjun, For the two specific examples you give, you have to turn on the checks Function not called and Function not reachab...

3 months ago | 0

| accepted

Answered
In polyspace 2019B for the targetlink generated code how to enable the shared variable sharing option?
Hi Geetha, To find shared variables, you need to have a main function, even if empty. See the requirements for multitasking ver...

3 months ago | 0

Answered
How to open a .psprj file directly from the command-line?
Hi Peter, The command should have worked. But can you try the following: polyspace.exe -cfg <myfile>.psprj An even better alt...

3 months ago | 0

| accepted

Answered
Why Code Prover cannot detect Out of bound array index?
Hi Hong, Please contact MathWorks Technical Support with a reproduction so that they can give you a specific diagnosis of the i...

3 months ago | 0

| accepted

Answered
Polyspace does not generates Runtime report on Compilation failure
Hi Gopesh, I understand that by 'compiled code', you mean 'code that does not show compilation errors'. If a compilation error...

3 months ago | 0

Answered
Import comments to Polyspace Code Prover
Hi Hong, I would like to know the full workflow to understand why you cannot assign the comments in the Polyspace user interfac...

5 months ago | 0

| accepted

Answered
Polyspace Code Prover not able to find windows.h as header file. getting compilation errors because of windows dependencies.
Hi Venkata, Specifying the compiler name is not sufficient for Polyspace to locate the include folders. The folder paths vary ...

6 months ago | 1

| accepted

Answered
How can I Update a Polyspace only Installation?
Hi Oliver, To update the standalone Polyspace installation, the steps are the same as MATLAB and use the same update installer,...

6 months ago | 0

| accepted

Answered
How to use environnement variables inside Polyspace project configuration ?
Each time you open a project in the Polyspace user interface, the path to source files in the project is recomputed with respect...

7 months ago | 0

| accepted

Answered
why cann't produce reports with matlab2017a polyspace
Hi, Did you try to generate a report using the steps here: https://www.mathworks.com/help/codeprover/ug/generate-polyspace-repo...

7 months ago | 0

Answered
expected a declaration error using polyspace
Hi Satya, It looks like the error appears on a macro. Is the macro _CONFIG (or a macro used in it) not defined previously? If i...

7 months ago | 0

Answered
polyspace bug finder with visual compiler
Hi Aditi, Are you specifying the compiler name visual15.x manually using the option -compiler? That would require you to provid...

8 months ago | 0

Load more