Beantwortet
Is there an API to retrieve metrics from polyspace access
Hi Olivier, You definitely have options besides dumping the full html page. Just to clarify, when you say "metrics", do you me...

etwa 5 Jahre vor | 0

| akzeptiert

Beantwortet
Stack check by Code Prover
It is possible to calculate all code metrics other than stack size in the earlier stages of a Code Prover analysis. You have to ...

etwa 5 Jahre vor | 0

| akzeptiert

Beantwortet
BugFinder unable to find any NTL?
Hi Oliver, Code Prover can find this and other much more sophisticated cases of non-terminating loops. Bug Finder uses the same...

etwa 5 Jahre vor | 0

| akzeptiert

Beantwortet
Local Variable is calculated differently in the two runs
Hi, There is usually a thread of logic behind the Code Prover calculation since Code Prover uses quite airtight mathematic. How...

etwa 5 Jahre vor | 1

| akzeptiert

Beantwortet
Why do I get this error when using polyspace-configure: ERROR: [from sniffer] : invalid handle
Hi Jeremy, The message indicates that an NtCreateFile event (file creation) was detected, but the file could not be accessed. I...

etwa 5 Jahre vor | 0

Beantwortet
Polyspace MISRA-CPP 2008 Coding rule custom setting
Hi Won, The message means that those rules are not implemented in the Polyspace version that you are using. The coverage of sta...

etwa 5 Jahre vor | 0

Beantwortet
polyspace-report-generator: an error occurred while parsing class rptgen.DAObject
Please contact MathWorks Technical Support for a more detailed analysis of the issue: https://www.mathworks.com/support/contact_...

etwa 5 Jahre vor | 0

Beantwortet
Bug Finder analysis on Autogenerated Code
Are you using all the High-Level Code Generation Objectives listed on this page? Are you also using a model verification tool? ...

etwa 5 Jahre vor | 0

Beantwortet
Programmatically adding polyspace annotations in Simulink Model
You can use the function pslinkfun to programmatically add annotations to a block in a model. See the pslinkfun documentation.

etwa 5 Jahre vor | 0

Beantwortet
Illegally dereferenced pointer may be incorrect
The orange warning does not mean that the pointer is null. In fact, you can see in the message that the pointer is not null. (Th...

etwa 5 Jahre vor | 0

| akzeptiert

Beantwortet
What are badly-typed functions in polyspace code prover 2016b ?
Hi, The message indicates that the function pointer might point to a function whose prototype does not match the function point...

etwa 5 Jahre vor | 0

Beantwortet
Local Variable was change range value but not assigned
Hi, One of the reasons could be that Code Prover is considering the case where the if branch, where u1t_InRnewEndPntIdx is assi...

etwa 5 Jahre vor | 1

| akzeptiert

Beantwortet
How to add a new module into my exist project
Hi, You can add the third module interactively in the Polyspace user interface and then generate scripts for command-line runs ...

etwa 5 Jahre vor | 0

Beantwortet
I am tring to continue matlab script execution after polyspacecodeprover function showing error in matlab window. but matlab close script execution .
Hi, I am guessing when you mention failure of the polyspace function, you mean a failure because of compilation errors in the ...

etwa 5 Jahre vor | 0

| akzeptiert

Beantwortet
How to read Polyspace bugfinder report in matlab or get result in matlab workspace?
You can use a polyspace.BugFinderResults object to read a .psbf file. When creating the object, you have to provide a results fo...

etwa 5 Jahre vor | 0

Beantwortet
polyspace code prover: cosmic compiler issue
Hi, It is not the #if per se, but the [0] of __TRGT__[0] that is causing the problem. Following the standard, Polyspace does no...

etwa 5 Jahre vor | 0

Beantwortet
Polyspace code prover not able to analyse stack for whole project
Hi, Could you provide some more information? For instance, the following would be helpful: When you say 'project', do you mean...

etwa 5 Jahre vor | 0

| akzeptiert

Beantwortet
Polyspace_Code_Prover : Not able to do stack analysis for entire code of my project
Hi, Could you provide some more information? For instance, the following would be helpful: When you say 'project', do you mean...

etwa 5 Jahre vor | 0

Beantwortet
In Polyspace Access R2020a, is it possible to autostart Access Cluster services on boot?
You can change the Docker restart policy so that the services restart automatically after a reboot. See more details in Configur...

etwa 5 Jahre vor | 0

| akzeptiert

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

etwa 5 Jahre vor | 0

| akzeptiert

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

etwa 5 Jahre vor | 0

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

mehr als 5 Jahre vor | 0

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

mehr als 5 Jahre vor | 0

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

mehr als 5 Jahre vor | 0

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

mehr als 5 Jahre vor | 0

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

mehr als 5 Jahre vor | 0

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

mehr als 5 Jahre vor | 0

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

mehr als 5 Jahre vor | 0

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

mehr als 5 Jahre vor | 0

| akzeptiert

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

mehr als 5 Jahre vor | 0