Community Profile

photo

Anirban

Last seen: 1 giorno ago Active since 2018

Statistics

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

View badges

Content Feed

View by

Answered
Why do I receive a message 'No space left on device' when using PolySpace for C/C++ on server side?
This error generally means that the drive containing your temporary folder got full during the Polyspace verification. There a...

3 giorni ago | 0

Answered
What is the correct annotation syntax in Polyspace Bug Finder/Code Prover for multi-line comment annotations in source code?
Since R2019b, Polyspace supports results annotations that are spread over multiple lines. See R2019b release notes. To learn ab...

4 giorni ago | 0

Answered
How is this DRS (Data Range Specification )in Polyspace code prover is generated?
Even though the array size does not appear in the Data Range Specifications window, you can specify the same constraint on all a...

4 giorni ago | 0

Answered
Why does Polyspace report "MISRA C:2012 10.3 and 10.4"
Since R2021a, the checkers 10.x treat macros such as TRUE and FALSE that resolve to 1 and 0 as essentially Boolean. See Polyspac...

4 giorni ago | 0

| accepted

Answered
Polyspace Orange Check: Adding DRS for array
You have to select PERMANENT in the Init Mode column to get rid of the orange overflow. When you select INIT, it means that hw_...

22 giorni ago | 0

| accepted

Answered
Exceeds internal limit of 256 Mb, Continuing analysis but unexpected issues might occur later during Polyspace Code Prover Analysis.
Polyspace Code Prover runs into an internal limit when analyzing large structures with size greater than 256 MB. This limit is p...

22 giorni ago | 0

Answered
Polyspace: expression must have a constant value
You are initializing a three-element constexpr array with only two elements. If you change the line: constexpr my_bus_t buses[I...

28 giorni ago | 0

| accepted

Answered
Polyspace: Errors from Using Namespace std Without Prefix
Please contact MathWorks Technical Support for a full investigation. If you run Polyspace on the simple example on the mblen r...

circa un mese ago | 0

| accepted

Answered
how to filter specific files in the bug finder report, to have the report only for specific files
The answer depends on your workflow. If you are generating reports from the Polyspace desktop user interface: Open the Polyspa...

circa un mese ago | 1

| accepted

Answered
Why do I get an unrecognized token error when I use the _argt$ command in PolySpace Client for C/C++ 7.2 (R2010a)?
The compiler in IAR Embedded Workbench is directly supported in Polyspace since R2018a. You will not have these errors from that...

circa un mese ago | 0

Answered
Issue with Polyspace Code Prover Autosar software component Analysis, How can I resolve it?
Please contact MathWorks Technical Support for a solution. The generated Rte_Type.h file should not be empty. If your generated ...

circa 2 mesi ago | 0

Answered
Problems trying to integrate Polyspace v2021b with Matlab v2021b
The error indicates that you have not opened MATLAB with administrator privileges. To open MATLAB with administrator privileges,...

circa 2 mesi ago | 0

Answered
Execution time of polyspace-configure when using a compilation database file
Your compiler is actually invoked even when you use the JSON compilation database. But it is invoked to compile simple source fi...

circa 2 mesi ago | 0

Answered
How to add a list of file .txt into polyspace-configure?
You can enter -include-sources several times to include multiple files, or use pattern matching if the file names follow a speci...

2 mesi ago | 0

Answered
gcc (GCC) 4.4.7 20120313 (Red Hat 4.4.7-4)
Try -compiler gnu4.6 and provide paths to the GCC headers with the option -I (or add them to your project in the Polyspace user ...

3 mesi ago | 0

Answered
#error directive: "Header is not supported in the C89 language mode"
When a compiler encounters a #error directive, it stops and prints the associated message. Polyspace behaves exactly like a comp...

3 mesi ago | 0

Answered
How to generate option file using ST Visual Developer IDE for bug finder analysis
Please contact MathWorks Technical Support for help with setting up your project. I can give you a general idea of the workflow...

4 mesi ago | 0

Answered
User defined rules check with Coding Standard Violations?
Can you give an example of the kind of rules you are thinking of? There is a set of custom rules for naming conventions, but eve...

4 mesi ago | 0

Answered
How to annotating Code Block?
MISRA Rule 1.1 flags the number of macros in a translation unit if this number exceeds the limit specified in the Standard. The ...

4 mesi ago | 0

Answered
Install Polyspace as You Code Extension in Visual Studio Code - No plugin/visual_studio_code folder!
You need a Polyspace as You Code installation to find the visual_studio_code subfolder in the plugin folder. If your polyspacero...

4 mesi ago | 0

Answered
Question on MISRA C:2012- Rule 10.3 in polyspace code prover 2019a
The first violation is a genuine violation while the second violation is a Polyspace bug that has been fixed in R2019b. Since R2...

4 mesi ago | 1

| accepted

Answered
while opening help documents in R2021a its give me crash report error & suddenly close the Matlab application. Can help me how to remove this error?
You seem to be opening MATLAB from a Polyspace installation (for instance, something like C:\Program Files\Polyspace\R2021a\bin)...

4 mesi ago | 0

Answered
Control generated C/C++ code using Mathworks tooling
The Polyspace static analysis tools are meant exactly for the kind of issues you are talking about, but even in Embedded Coder, ...

4 mesi ago | 0

| accepted

Answered
Polyspace codeprover doesnt give a warning for MISRA violation(MISRA C:2012, 19.2 - The union keyword should not be used)
There could be many reasons related to the coding rules checking setup, but one possible reason is that your headers are in a co...

4 mesi ago | 0

| accepted

Answered
Analyzing C source code with multiple "main" functions not named "main()"
Just to understand better, you seem to be getting a violation of MISRA C:2012 rule 8.6 : An identifier with external linkage sha...

4 mesi ago | 0

| accepted

Answered
Why Polyspace Code prover do not permit to check some MISRA rule ?
Polyspace Bug Finder is the recommended tool for checking MISRA C:2012. All MISRA C:2012 rules can be checked by Polyspace Bug F...

5 mesi ago | 0

| accepted

Answered
How to filter multiple lines from Polyspace result ?
Use the is in custom filter: Select the custom filter on the Line column. Select is in for Condition. In Value(s), select the ...

6 mesi ago | 0

| accepted

Answered
[polyspace] How do i generate report?
Please contact MathWorks Technical Support: https://www.mathworks.com/support/contact_us.html .

6 mesi ago | 0

| accepted

Answered
Polyspace Bug Finder ignores #if when checking macro values.
There could one of two things going on: MC680X0 and I80X86 are not defined in the code provided to Polyspace. You are probably ...

6 mesi ago | 1

| accepted

Answered
Integrating Polyspace R2021b with Matlab R2021b
Did you try to do the installation by explicitly giving the path to the R2021b Polyspace installation when running polyspacesetu...

6 mesi ago | 0

| accepted

Load more