Community Profile

photo

Anirban

Last seen: Today 2018 以来アクティブ

Statistics

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

バッジを表示

Content Feed

表示方法

回答済み
How can I get the Polyspace version from Polyspace as you Code plugin ?
The Polyspace as You Code plugin is in principle decoupled from the Polyspace as You Code analysis engine. You have to use the u...

1日 前 | 1

回答済み
False positive candidate Rule 10.3 for float array zero-initialization
The problem is not because of the array initialization. Indeed, as you say, MISRA C:2012 standard allows an exception of rule 1...

6日 前 | 0

| 採用済み

回答済み
How to Download Jobs scheduled by a specific User on Polyspace Job Monitor from a group of Jobs scheduled by Multiple user ?
You can use: polyspace-jobs-manager listjobs -scheduler schedulerName To list all jobs. The list should show the author of eac...

7日 前 | 0

回答済み
How to switch from Polyspace to Matlab?
Polyspace products and MATLAB require separate licenses even though they use the same installer. See Install Polyspace with Othe...

15日 前 | 0

| 採用済み

回答済み
Will Polyspace check code within a Simulink user-defined function block?
Polyspace checks for run-time errors, bugs and coding standard violations in C/C++ code. So, if you have user defined function b...

16日 前 | 0

回答済み
Disable some (specific) orange checks in Code Prover
You cannot disable specific Code Prover checks. See more details in Modify or Disable Code Prover Run-Time Checks. I am not sur...

約1ヶ月 前 | 0

回答済み
Why Polyspace Code Prover does not consider 'memcpy' declaration in default way & for that I am getting MISRA C violations of Rule 17.3?
Is it possible that you have not #include-d the header string.h in the source file that has the memcpy usage? For instance, thi...

約1ヶ月 前 | 0

回答済み
Facing issue while linking Polyspace to matlab.
You are trying to perform the analysis on a remote cluster instead of locally on your desktop. To do this, you required Parallel...

約1ヶ月 前 | 0

回答済み
Polyspace Overflow Orange Checks
There are two reasons for the orange overflow: snprintf() can return a very large number. myfunc() can be called 0 or more tim...

約2ヶ月 前 | 0

| 採用済み

回答済み
Rule A12-1-1 for constructor with "default" keyword
I could not reproduce the rule violation you are seeing with R2020a. For instance, I tried with these examples: Base constructo...

約2ヶ月 前 | 0

回答済み
Need to know Bug Finder analysis report is possible for only some functions in file?(Not full file)
Do you mean reports or results in the GUI? You can filter results in the GUI to the functions that you want and suppress other ...

約2ヶ月 前 | 0

回答済み
Is it possible to create a project file specifically for Bug Finder or Code Prover?
The .psprj files are meant for running both Polyspace products, therefore, as far as I understand, there is no way to specify pr...

約2ヶ月 前 | 0

| 採用済み

回答済み
How to run Polyspace Bugfinder CLI with C++ header files (.hpp)?
Just trying to understand your use-case better. Do you want to run Bug Finder on some header files by themselves, or do you wan...

2ヶ月 前 | 0

回答済み
How to work with Polyspace from the basic?
Are you attempting to run Polyspace from MATLAB? Are you seeing some error? (A license checkout issue will show up as an error w...

2ヶ月 前 | 0

| 採用済み

回答済み
DRS option is limited in Polyspace Code Prover
In C++, you cannot constrain pointer arguments of functions using this interface. See Constraint Specification Limitations. The ...

2ヶ月 前 | 0

| 採用済み

回答済み
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ヶ月 前 | 0

回答済み
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...

3ヶ月 前 | 0

回答済み
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...

3ヶ月 前 | 0

回答済み
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...

3ヶ月 前 | 0

| 採用済み

回答済み
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_...

3ヶ月 前 | 0

| 採用済み

回答済み
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...

3ヶ月 前 | 0

回答済み
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...

3ヶ月 前 | 0

| 採用済み

回答済み
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...

4ヶ月 前 | 0

| 採用済み

回答済み
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...

4ヶ月 前 | 1

| 採用済み

回答済み
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...

4ヶ月 前 | 0

回答済み
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 ...

4ヶ月 前 | 0

回答済み
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,...

4ヶ月 前 | 0

回答済み
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...

4ヶ月 前 | 0

回答済み
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...

5ヶ月 前 | 0

回答済み
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 ...

5ヶ月 前 | 0

もっと読み込む