Alexandre De Barros

Last seen: 8 jours il y a | Actif depuis 2012

Followers: 0 Following: 0

Message

Statistiques

All

Afficher les badges

Feeds

A soumis

Polyspace-Access-Utility
Polyspace Access Utility is a bash script for dealing with basic operations when using Polyspace Access: backup, clean-up, usa...

4 jours il y a | 3 téléchargements |

A soumis

Polyspace-Stack-Flow-Viewer

plus d'un an il y a | 1 téléchargement |

Réponse apportée
Polyspace BugFinder - Module Analysis - The current working directory does not exist
Hello, For this kind of problem, please contact the technical support. You can do that from the MathWorks website: https://w...

environ 4 ans il y a | 0

| A accepté

Réponse apportée
How to generate Polyspace project options into a text file from an already existing Polyspace project in Polyspace Code Prover 2016b?
Hi, there is no way to convert a .psprj to a text options so to speak, but if you go one of the results folder of your project,...

plus de 5 ans il y a | 0

| A accepté

Réponse apportée
How to open polyspace R2016b project in polyspace R2012 b version?
Hello, You can open R2012b project file with Polyspace R2016b, but in the Open File dialog you have to switch to the .cfg exten...

presque 6 ans il y a | 0

Réponse apportée
System error No such file or directory (noent: No such file or directory) exception Io(Io) raised. For some files in code prover verfication log file
Hello, with this kind of error, you should contact the technical support, and send the verification log (showing the options us...

presque 6 ans il y a | 0

Réponse apportée
Need help with polyspace bug finder when compiler and target is not already configured
Hello, Difficult to answer with just a screenshot, but I can see that a project has been created. Could you confirm that ? (cli...

presque 6 ans il y a | 0

| A accepté

Réponse apportée
Polyspace code prover crashes with Internal error
Hello, This message is the symptom of a scaling behavior, probably due to the size of the project. Please refer to this other ...

environ 6 ans il y a | 0

Réponse apportée
where do i find polyspace codeprover -functions-called-before-loop setting in code prover interface
Hello, this option is available only when the project is for a model-generated code. And in this case, the option can be f...

environ 6 ans il y a | 1

| A accepté

Réponse apportée
How do I do static code analysis on Ada source codes?
Hello, I do confirm what dpd wrote: the Ada product is a separate product. You cannot analyze Ada code with the C/C++ product...

plus de 6 ans il y a | 1

Réponse apportée
Why when I run polyspace-configure, I get ERROR: Error building temporary directory
Hello, I suggest to contact the support here. In order to better understand the problem, please first launch polyspace-configur...

plus de 6 ans il y a | 0

Réponse apportée
Add MISRA and error comment
Hello, No, there is no way to quickly annotate the code itself. What is the need here, and how would you choose the violatio...

plus de 6 ans il y a | 0

A soumis

Polyspace for AUTOSAR demo
A demo showing how to use the feature "Polyspace for AUTOSAR" introduced in R2018a

plus de 6 ans il y a | 10 téléchargements |

Réponse apportée
I am looking for an automated way to remove "Old" results from a Polyspace Metrics Server
Hi Matt, We will soon publish a tool for that but we can already send it to you. Please contact the support to have it in adv...

plus de 6 ans il y a | 0

| A accepté

Réponse apportée
Error: An unexpected error (66) occurred in "ps_cxx_fe.exe".
Hello, for this kind of problems, please contact the technical suppport and send the analysis log with your request. Best ...

plus de 6 ans il y a | 0

Réponse apportée
How to get .ci files on Polyspace 2017b version ?
Hello, You can use the advanced option -keep-relaunch-files for that. The ci files will be created in a subfolder named .rel...

plus de 6 ans il y a | 0

| A accepté

Réponse apportée
How do I find my Polyspace license number?
Hi, You will find a detailed way to get your licence numbers in another MATLAB Aswers: How do I find my Polyspace license nu...

plus de 6 ans il y a | 1

Réponse apportée
Are newer versions of Polyspace compatible with older versions of Matlab?
HI, Could you describe the context in which you want to use Polyspace with MATLAB? For example, do you want to use Polyspace ...

plus de 6 ans il y a | 0

Réponse apportée
C-Code Polyspace MISRA-C check without Polyspace value range and overflow checks
Hi, Since most of the coding rule violations are found during the "compilation" phase, I suggest you to stop the verification...

plus de 6 ans il y a | 0

| A accepté

Réponse apportée
Codeprover: all variables are unused
Hello, If Polyspace Code Prover is able to find a function called main, it will automatically use it as the main entry point....

presque 7 ans il y a | 0

| A accepté

Réponse apportée
HI All, We have a Mathworks Polyspace R2016A
Hello, there are two ways to achieve this: * customize an existing template, to add a filter on the file See the docume...

presque 7 ans il y a | 0

Réponse apportée
CodeProver does not detect overflow for non-volatile global variables
Hello, I cannot reproduce your results: I have overflows for both volatile and non-volatile variables. Are b and c full-ra...

presque 7 ans il y a | 0

| A accepté

Réponse apportée
CodeProver does not detect overflow/underflow with unsigned variables
Hello, In standard C, there is no overflow on unsigned types. The C99 standard (§6.2.5/9) states: "A computation involving...

presque 7 ans il y a | 2

| A accepté

Réponse apportée
Orange OBAI check in Polyspace Code Prover R2015a
Hi, There is a similar question here: <https://www.mathworks.com/matlabcentral/answers/101992-why-do-i-see-a-cast-to-signe...

presque 7 ans il y a | 0

Réponse apportée
Polyspace assumption regarding global/static variable
Hello, This notion of extern static variable is a little bit strange indeed. It no longer appears in the current version of ...

presque 7 ans il y a | 0

| A accepté

Réponse apportée
Is there any way to keep preprocessed files after successful compilation?
Hello, You can use the option -keep-all-files. If you're using the command line, this is just an option to add to your lis...

presque 7 ans il y a | 1

| A accepté

Réponse apportée
polyspace 2012b critical section
Hi ! You will find information on the critical section in R2012b by following this link: <https://www.mathworks.com/help/r...

environ 7 ans il y a | 0

Réponse apportée
Is Polyspace 2013a working with Windows 10
Hello, The support of Windows 10 started with R2015a. If you want to know what versions are supported and since when, you ...

environ 7 ans il y a | 0

Réponse apportée
Polyspace 2017b Not Populating from Code comments
Hello, I cannot reproduce this prejustified comment. What Status and Severity have you set for the violation? Here is an ...

environ 7 ans il y a | 0

Réponse apportée
Pplyspace complain about conversion overflow: Conversion from int 32 to unsigned int 32. However everything I have it defined as unsigned. Is it something in ~ operator?
Hello Ahmad, It has something to do with the ~ operator indeed. This operator will not be performed on U16 but on the "int" t...

environ 7 ans il y a | 0

Charger plus

Alexandre De Barros

Statistiques

File Exchange

File Exchange

File Exchange

File Exchange

MATLAB Answers

MATLAB Answers

MATLAB Answers

MATLAB Answers

Cody

Feeds