Statistiche
0 Domande
222 Risposte
RANK
209
of 281.536
REPUTAZIONE
450
CONTRIBUTI
0 Domande
222 Risposte
ACCETTAZIONE DELLE RISPOSTE
0.00%
VOTI RICEVUTI
31
RANK
of 133.770
CONTRIBUTI
0 Problemi
0 Soluzioni
PUNTEGGIO
0
NUMERO DI BADGE
0
CONTRIBUTI
0 Post
CONTRIBUTI
0 Pubblico Canali
VALUTAZIONE MEDIA
CONTRIBUTI
0 Punti principali
NUMERO MEDIO DI LIKE
Contribute at least one answer each month for 24 consecutive months
Awarded to Anirban on 02 Sep 2023
20 of your answers have been accepted
Awarded to Anirban on 08 Jun 2020
Answer 3 questions that were unanswered for more than 30 days
Awarded to Anirban on 13 Dec 2018
Provide your first answer ever to someone else's question
Awarded to Anirban on 29 Jun 2018
Content Feed
how to add all source files and include folders having different directories in same project.
I am not sure I understand what you mean by 'doing polyspace parsing listoption.txt through self script dynamization'. What is l...
7 giorni fa | 0
How to avoid the error of dead code in the default branch of the switch statement
The situation you show here is dead code, so Bug Finder will flag the issue. If you turn off the checker for dead code, all de...
7 giorni fa | 0
Polyspace review scope shuts everything off
I tried your workflow with the demo example (Help > Examples > Bug_Finder_Example.psprj) and the review scope with only Float ov...
20 giorni fa | 0
Error Limit reached while trying to run polyspace-bug-finder from command line Ubuntu
You do not seem to be using the option -options-file . The command should be: ./polyspace-bug-finder -options-file options.txt ...
20 giorni fa | 0
I need to integrate Polyspace 2019b in MATLAB 2015b through automation.
Based on R2019b documentation, it looks like you can cd to the folder polyspaceroot\toolbox\polyspace\pscore\pscore\ and then ru...
20 giorni fa | 0
How to generate bug finder report with code line info in Polyspace
This question is answered here: https://www.mathworks.com/matlabcentral/answers/491845-polyspace-bug-finder-report-no-line-numbe...
29 giorni fa | 0
how to do polyspace static analysis using CLI
You have to use the option -sources to specify your sources. Otherwise, polyspace-code-prover looks for sources in the current f...
29 giorni fa | 0
How to deal with Polyspace BugFinder and software variants?
You can create multiple configurations in the same project, like this: In the Polyspace user interface, you can right-click a...
30 giorni fa | 0
Polyspace-bug-finder raises issue due to Rule A3-1-5 if inline function is declared in source file
Can you show a small reproduction example? Also, which release are you using? For instance, there is no violation of A3-1-5 in ...
circa 2 mesi fa | 0
| accettato
Polyspace bug finder creates wrong options file via cmd call but via GUI it is valid
The option -dialect is an old option that has been renamed to -compiler. Can you see if changing the option -dialect to -compile...
2 mesi fa | 0
| accettato
Polyspace as you Code in VSCode stopped working - "command 'polyspace.activate' not found"
You might have run into the issue that is reported here: https://www.mathworks.com/support/bugreports/3004593 . A fix for this i...
2 mesi fa | 0
Polyspace Metrics - SoftwareQualityObjectives report generation
I am assuming that you are following the instructions in Customize Software Quality Objectives. If so, your steps should in prin...
3 mesi fa | 0
| accettato
Polyspace Bug Finder detects SEI CERT C ARR30-C and MEM35-C violation in the same line but doesn't provide details in Polyspace Access
I tried running Polyspace Bug Finder R2022b on your example and I see some more details associated with the result (I am showing...
3 mesi fa | 1
Compilation Error if using Polyspace Bug Finder with Visual Studio Clang++
clang-cl might not be supported with polyspace-configure but please contact MathWorks Technical Support for more help with the i...
3 mesi fa | 0
The source code lines involved in the MISRA violation do not appear in the txt export result file
Are you generating the HTML report and the text file from the user interface? Otherwise, if you are using the commands polyspace...
3 mesi fa | 0
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...
4 mesi fa | 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 ...
4 mesi fa | 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...
4 mesi fa | 0
| accettato
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...
4 mesi fa | 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...
5 mesi fa | 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 ...
5 mesi fa | 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...
6 mesi fa | 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-...
6 mesi fa | 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 ...
6 mesi fa | 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...
6 mesi fa | 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...
6 mesi fa | 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 ...
6 mesi fa | 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...
6 mesi fa | 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...
6 mesi fa | 0
| accettato
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...
7 mesi fa | 0
Puoi anche selezionare un sito web dal seguente elenco:
Americhe
- América Latina (Español)
- Canada (English)
- United States (English)
Europa
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia-Pacifico
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)