Statistik
RANG
71.458
of 300.343
REPUTATION
0
ANTWORTZUSTIMMUNG
66.67%
ERHALTENE STIMMEN
0
RANG
of 20.926
REPUTATION
N/A
DURCHSCHNITTLICHE BEWERTUNG
0.00
BEITRÄGE
0 Dateien
DOWNLOADS
0
ALL TIME DOWNLOADS
0
RANG
of 168.172
BEITRÄGE
0 Probleme
0 Lösungen
PUNKTESTAND
0
ANZAHL DER ABZEICHEN
0
BEITRÄGE
0 Beiträge
BEITRÄGE
0 Öffentlich Kanäle
DURCHSCHNITTLICHE BEWERTUNG
BEITRÄGE
0 Highlights
DURCHSCHNITTLICHE ANZAHL DER LIKES
Feeds
Frage
Polypace bugfinder R2018A does not start on ubuntu 18.04.1 LTS
I have ubuntu 18.04.1 LTS and installed matlab R2018A. I can launch matlab without a problem. When launching bugfinder (from mat...
etwa 7 Jahre vor | 0 Antworten | 0
0
AntwortenPolyspace PDF report not rendering characters
Problem is a font-problem. Although fixing this problem with fonts is probably possible, i upgraded to R2018a (from R2016a) and ...
mehr als 7 Jahre vor | 0
| akzeptiert
Frage
Polyspace PDF report not rendering characters
PDF report generation does not work on debian. Debian version is Debian GNU/Linux 8.10 (jessie). PDF contains all #####. Numb...
mehr als 7 Jahre vor | 1 Antwort | 0
1
AntwortCodeprover: all variables are unused
Additional cause identified: for some variables codeprover is not able to decide on the range it should use. For e.g. read-only ...
mehr als 7 Jahre vor | 0
Frage
Replace assembly with C-model for codeprover
In our embedded software, we have some assembly library (set of .S files, but also inline asm in other .c/h files) to perform ma...
mehr als 7 Jahre vor | 1 Antwort | 0
1
AntwortFrage
Codeprover: all variables are unused
I am running polyspace codeprover on our software project. It seems like all variables are reported to be unused. Looking at the...
mehr als 7 Jahre vor | 2 Antworten | 0
2
AntwortenFrage
Can Polyspace prove recursion to be impossible?
We have a statemachine implementation in C for an embedded automotive product, using a table-approach. The table contains pointe...
fast 8 Jahre vor | 1 Antwort | 0
1
AntwortFrage
Download triaging data from metrics
We run the polyspace (bugfinder and codeprover) jobs in CI. CI generates a html report, which can be viewed by engineers. When a...
etwa 8 Jahre vor | 1 Antwort | 0
1
AntwortFrage
Weak symbols in codeprover
We use the gcc attributing in order to mark functions weak in libraries. That way projects including these libraries can overwri...
etwa 8 Jahre vor | 1 Antwort | 0
1
AntwortFrage
Code prover wants userdef function for critical section
From code-prover i get this error: Stubbing standard library functions ... Propagating data types... 50% Propagating ...
etwa 8 Jahre vor | 1 Antwort | 0
1
AntwortFrage
Print slx to image - zoom
I am printing Simulink slx models to (jpeg) images, following the guide here: https://nl.mathworks.com/matlabcentral/answers/809...
mehr als 8 Jahre vor | 1 Antwort | 0
