Dimo
KOSTAL SofiaSoft Bulgaria OOD
Followers: 0 Following: 0
Statistiques
RANG
74 174
of 300 756
RÉPUTATION
0
CONTRIBUTIONS
8 Questions
4 Réponses
ACCEPTATION DE VOS RÉPONSES
37.5%
VOTES REÇUS
0
RANG
of 21 077
RÉPUTATION
N/A
CLASSEMENT MOYEN
0.00
CONTRIBUTIONS
0 Fichier
TÉLÉCHARGEMENTS
0
ALL TIME TÉLÉCHARGEMENTS
0
RANG
of 170 890
CONTRIBUTIONS
0 Problèmes
0 Solutions
SCORE
0
NOMBRE DE BADGES
0
CONTRIBUTIONS
0 Publications
CONTRIBUTIONS
0 Public Chaîne
CLASSEMENT MOYEN
CONTRIBUTIONS
0 Point fort
NOMBRE MOYEN DE LIKES
Feeds
Question
Orange OBAI check in Polyspace Code Prover R2015a
The code snippet below is verified with CodeProver R2015a. The tool detects an orange OBAI at line 11033 (iter [-2^31...2^31+1])...
environ 8 ans il y a | 1 réponse | 0
1
réponseQuestion
Polyspace assumption regarding global/static variable
Hello, In R2015a in codeprov_ref.pdf (page 5-10) under *External Variables* topic is written: *Polyspace verification work...
environ 8 ans il y a | 1 réponse | 0
1
réponseMismatch between polyspace error message and the code line
Hello Alexander, The behavior is really very strange. The code is ANSI C compliant so don't think the reason is in it. I have...
environ 9 ans il y a | 0
Question
Mismatch between polyspace error message and the code line
Hello, When I click on the error in Result Summary pane of Polyspace Code Prover (R2015a) the result is empty line in Source ...
environ 9 ans il y a | 2 réponses | 0
2
réponsesQuestion
Polyspace Code Prover 2015a: Unexpexted error (parallel: task: MJSUnableToSubmitResult)
Hello, The compilation process is successful and verification starts. After some time I get this error message on the Polyspa...
plus de 9 ans il y a | 1 réponse | 0
0
réponsePolyspace 2015a orange check IDP (Illegally dereferenced pointer)
Hi, I was wrong. The error really doesn't occur even array definitions were made locally. Dimo
presque 10 ans il y a | 0
Polyspace 2015a orange check IDP (Illegally dereferenced pointer)
Hi Alex, Thank you for your reply. Yes, the code is more complex than I have described. The interesting is that the code ...
presque 10 ans il y a | 0
Files are not generated with Polyspace Code Prover R2015a
Have you tried this: If this error occurs, try increasing the Java® heap size. The default heap size in a 64-bit architec...
presque 10 ans il y a | 0
Question
Polyspace 2015a orange check IDP (Illegally dereferenced pointer)
Hello, Can someone explain me the following Polyspace warning, especially the text in bold? Warning: pointer may be outsid...
presque 10 ans il y a | 4 réponses | 0
4
réponsesQuestion
An unexpected error occurred during the Polyspace Jobs Manager execution
Hello, When I run Polyspace with *Batch* option selected, I get this: Error: An unexpected error occurred during the Polys...
environ 10 ans il y a | 1 réponse | 0
0
réponseQuestion
Unreachable functions don't appear in the report
Hello, I'm trying to simulate a source code containing functions that are not called in the code. In *Results Explorer* polys...
presque 11 ans il y a | 1 réponse | 0
1
réponseQuestion
Polyspace for C error messages: invalid storage class for a parameter/a declaration here must declare a parameter
I get a lot of error messages in header files: For example: invalid storage class for a parameter extern volatile u08 ...
environ 12 ans il y a | 1 réponse | 0
