Estadística
9 Preguntas
0 Respuestas
CLASIFICACIÓN
97.298
of 301.637
REPUTACIÓN
0
CONTRIBUCIONES
9 Preguntas
0 Respuestas
ACEPTACIÓN DE RESPUESTAS
77.78%
VOTOS RECIBIDOS
0
CLASIFICACIÓN
of 21.366
REPUTACIÓN
N/A
EVALUACIÓN MEDIA
0.00
CONTRIBUCIONES
0 Archivos
DESCARGAS
0
ALL TIME DESCARGAS
0
CLASIFICACIÓN
of 175.891
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
Pregunta
Polyspace Code Prover pscp file does not show any results/violations shown in the CLI
For my C project, I ran Polyspace Code Prover in the CLI via the command "polyspace-code-prover -options-file myOptions", where ...
2 días hace | 0 respuestas | 0
0
respuestasPregunta
Possibility of Using Baselines for Polyspace Bug Finder Analysis
In our company, we are using Polyspace Bug Finder in our CI pipeline. So every time a dev pushes code into the git repo (Bitbuck...
2 meses hace | 1 respuesta | 0
1
respuestaPregunta
Are Defects Enabled by Default not enabled with Checkers Activation File?
When I used -checkers-selection-file, approx. 100 Defects were enabled by default (and I had 21 violations). See also https://ww...
10 meses hace | 1 respuesta | 0
1
respuestaPregunta
No underflow checks in Polyspace Numerical Defects
In following link https://www.mathworks.com/help/bugfinder/numerical-checks.html, different overflow checks are listed, but no u...
10 meses hace | 1 respuesta | 0
1
respuestaPregunta
Polyspace Bug Finder Shows Defects Although Not Activated
When Polyspace Bug Finder (Server?) has run in our CI/CD pipeline, I get following summary in the report: Why does Polyspace ...
alrededor de 1 año hace | 2 respuestas | 0
2
respuestasPregunta
Different Results for Polyspace as You Code (PaYC) and "normal" Polyspace
We use following: Polyspace in our GitLab CI/CD pipeline, which triggers Polyspace analyses over the whole C project when pushi...
alrededor de 1 año hace | 1 respuesta | 0
1
respuestaPregunta
Polyspace Checks MISRA-C:2012 Directives which are Non-existent in the Document
Polyspace includes in the MISRA-C:2012 ruleset some directives (D5.1 - D5.3), which are actually not part of the official docume...
alrededor de 1 año hace | 1 respuesta | 0
1
respuestaPregunta
Add Polyspace Suppression for MISRA Directive
According to https://de.mathworks.com/help/bugfinder/ug/annotate-hide-known-acceptable-polyspace-results-web-browser.html#respon...
alrededor de 1 año hace | 1 respuesta | 0
1
respuestaPregunta
Clear view "Polyspace Problems" in Eclipse for Polyspace as You Code (PaYC)
When I do an analysis with Polyspace as You Code (PaYC) in Eclipse for my C project, I get all the violations/results within the...
más de 1 año hace | 0 respuestas | 0
