Community Profile

photo

Anirban


Last seen: 5 días ago

MathWorks

60 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
Polyspace can not import Renesas Project
Hi again, The Renesas RL78 compiler toolchain has been deprecated by Renesas. See here for instance: https://www.renesas.com/e...

6 días ago | 0

Answered
Polyspace can not import Renesas Project
Hi, The error message indicates that none of the executables detected during your build match with compilers known to Polyspace...

7 días ago | 0

Answered
new .m file with Polyspace
You cannot use Polyspace alone to write .m files. You need a MATLAB installation. Once you install both MATLAB and Polyspace, y...

alrededor de 2 meses ago | 0

Answered
Polyspace Command line : Add review information to results
If you are using the release R2020b, you can use the polyspace-results-export command to export the results to CSV or JSON forma...

alrededor de 2 meses ago | 0

Answered
I am not able integrate polyspace plugin in matlab
Hi Vicky, Since the S32 Design Studio seems to be Eclipse-based, can you make sure you followed steps similar to the ones for E...

2 meses ago | 0

Answered
how to generate generate .psprj file?
Hi Abhilash, You can create a Polyspace project from within the Polyspace user interface (File > New Project). See more details...

2 meses ago | 0

Answered
read_memory_region: not all expected entries were read. A possible workaound is to use -cppfe-extra-flags --skip_il_check option
Hi Leoncio, This issue might be related to this bug: https://www.mathworks.com/support/bugreports/2076202 Without more inform...

3 meses ago | 0

Answered
What do the different colors in the PolySpace Source Code View, RTE View and Variable View windows mean?
See more description of colors used in Polyspace Code Prover in the documentation: Code Prover Result and Source Code Colors.

3 meses ago | 0

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...

4 meses 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...

4 meses 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 ...

4 meses 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...

4 meses 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...

5 meses 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 ...

5 meses 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 ...

5 meses 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...

6 meses 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...

6 meses 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...

6 meses 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...

6 meses 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 ...

6 meses 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...

6 meses 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...

6 meses 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.

6 meses 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...

6 meses 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...

6 meses 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...

7 meses 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...

7 meses 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...

7 meses 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...

7 meses 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...

7 meses ago | 0

| accepted

Load more