Estadísticas
0 Preguntas
34 Respuestas
6 Archivos
CLASIFICACIÓN
1.495
of 289.749
REPUTACIÓN
42
CONTRIBUCIONES
0 Preguntas
34 Respuestas
ACEPTACIÓN DE RESPUESTAS
0.00%
VOTOS RECIBIDOS
3
CLASIFICACIÓN
2.654 of 19.581
REPUTACIÓN
616
EVALUACIÓN MEDIA
4.50
CONTRIBUCIONES
6 Archivos
DESCARGAS
26
ALL TIME DESCARGAS
4272
CLASIFICACIÓN
of 144.119
CONTRIBUCIONES
0 Problemas
0 Soluciones
PUNTUACIÓN
0
NÚMERO DE INSIGNIAS
0
CONTRIBUCIONES
0 Publicaciones
CONTRIBUCIONES
0 Público Canales
EVALUACIÓN MEDIA
CONTRIBUCIONES
0 Temas destacados
MEDIA DE ME GUSTA
Feeds
Enviada
Polyspace Obfuscator
Obfuscate source code to reproduce Polyspace behaviors to exchange with Technical Support
2 meses hace | 11 descargas |
Enviada
Implement DISA STIG Rules with Polyspace Bug Finder
Polyspace Bug Finder is a static analysis tool that can help automate the implementation of a subset of STIG rules.
5 meses hace | 1 descarga |
Why does Polyspace mark an include as useless when it is clearly being used by the code?
I assume that you are speaking about BF defect which checks for useless include files in a source code. To answer your question,...
9 meses hace | 0
cert-c rule이 Not implement인 것의 이유는 무엇인가요?
You can look for more information on supported CERT-C rules by Polyspace Bug Finder in the documentation. Link is here: https://...
alrededor de 1 año hace | 0
| aceptada
polyspace 2022a 에 적용된 CWE와 CERT-C의 version을 알수있습니까?
I assume that this link to documentation can be an answer to the question: https://www.mathworks.com/help/bugfinder/ug/polyspace...
alrededor de 1 año hace | 0
| aceptada
PolyspaceAsYouCode analyse header files
I assume that you did set build in PolyspaceAsYouCode plug-in with a Polyspace build options file. In order that PaYC would ana...
más de 1 año hace | 0
Import comments with downloaded results doesn't work
Since Polyspace Access R2022b, you can import comments from one project to another directly from Polyspace Access webUI.
más de 1 año hace | 0
False negatives for MISRA 9.3 missed for float array partial initialization
That is a specific Polyspace implementation of the rule 9.3. We have extended the exception 1 of the rule 9.3 with 0.0 and 0.0f....
más de 1 año hace | 1
| aceptada
Polyspace R2021a 버전의 CERT-C의 어떤 항목이 지원되는지 문의 드립니다.
In each shipped product, at location <polyspaceroot>\polyspace\resources, Excel file Polyspace <Release> Results Lists.xlsx prov...
casi 2 años hace | 1
| aceptada
[Polyspace codsprover] error -enable-concurrency-detection cannot be used
I recommend to contact Technical Support with a complete log file. A way to reproduce would be increase resolution of the case.
casi 2 años hace | 0
[Polyspace Codeprover] incompatible issue
When using Polyspace on a C++ application, it is recommended to use polyspace-configure. See also ref doc for deeper informatio...
casi 2 años hace | 0
Enviada
Recategorization-Plan-Guidelines-for-MISRA-Using-Polyspace
Document describing a process that allows to follow a recategorization plan guidelines using Polyspace Bug Finder
casi 2 años hace | 3 descargas |
How can I get polyspace-report-generator to include source line when using -generate-results-list-file option?
This functionality does not exist currently in Polyspace Bug Finder. The localization of a finding can only be seen in the Polys...
más de 2 años hace | 0
| aceptada
Polyspace access comments have been erased after database cleanup
That is certainly due to problem detected in release R2020b due to clean up feature. See https://fr.mathworks.com/support/bugrep...
más de 2 años hace | 0
Polyspace Access - Cluster Dashboard, User Manger-Manage Users
To access and manage users login, the password is the one of the cluster admin. It can be reset by ./admin-docker-agent --reset-...
más de 2 años hace | 1
Compiler Polyspace bug finder error
That is recommended to use polyspace-configure on the build chain to get the set of options and target values to match your comp...
alrededor de 3 años hace | 0
How can I define TI C2000 compilers for Polyspace bug finder
Hi, That is recommended to use polyspace-configure on the build chain to get the set of option and target values for a TI C200...
alrededor de 3 años hace | 0
Facing issue( Enum class name is prefixed in 2019b )
Dear HongGyun Kim, There is 8 years between the two versions of Polyspace. In 8 years Polyspace compiler did improve and match...
más de 3 años hace | 0
Why do we get "Failure with error code 252 " in Polyspace 8.5 log?
Hi Jeevan, Please contact Technical Support with a complete log file. Regards, Christian
más de 7 años hace | 0
Are the correct target processor type settings required to run MISRA checks?
Hi Fabian, The target processor types have indeed an impact on MISRA results in Polyspace. For instance using Polyspace MISR...
más de 7 años hace | 0
| aceptada
Polyspace and Report Generator: "PolyspaceData"
Hi Patrick, If you want to customize the report, please refer to documentation http://www.mathworks.com/help/bugfinder/ug/cust...
más de 7 años hace | 0
Customizing Polyspace Bug Finder report
Hi SP, It is actually possible to customize Polyspace Bug Finder report but not for this use case (see documentation http://w...
más de 7 años hace | 0
How is this DRS (Data Range Specification )in Polyspace code prover is generated?
Hi Shaku, Actually that is not possible to give a min/max range for each element of an array using data range specifications...
más de 7 años hace | 0
Why Polyspace Metrics shows __pstf#number modules on Polyspace Code Prover results?
Hi Lorenz, It looks like Polyspace is showing internal files on Polyspace web Metrics. You would contact Technical Support for...
más de 7 años hace | 0
identifier "XYZ" is undefined
Hi Sharath, For such kind of questions, you would contact Technical Support with at least a complete log file. Regards, Chri...
más de 7 años hace | 0
Customizing Polyspace Code Prover Report
Hi Shaku, Using DeveloperReview template, you get a summary of run-time checks by files added to the analysis. Files not prese...
más de 7 años hace | 0
I have qurious things about values that can be measured by code metric of bug finder
Hello Cheolgyu, I guess you would ask this request to technical Support. Regards, Christian
más de 7 años hace | 0
How many maximum files can polyspace verify successfully at a time?
Hello Pallavi, I guess when using Polyspace Bug Finder, you can put all your project at once. When using Polyspace Code Prover...
más de 7 años hace | 0
| aceptada
Enviada
Polyspace Compiler Templates
Polyspace Compiler template sets help at setup phase according to compiler and target
más de 7 años hace | 6 descargas |
Enviada
USING POLYSPACE® TO IMPLEMENT THE “SOFTWARE QUALITY OBJECTIVES FOR SOURCE CODE QUALITY” STANDARD
This document defines a general and standard approach to measure the software quality.
más de 7 años hace | 4 descargas |