photo

Daniel Popu


Huf Romania

Last seen: etwa ein Jahr vor |  Aktiv seit 2014

Followers: 0   Following: 0

Nachricht

Statistik

  • Thankful Level 3

Abzeichen anzeigen

Feeds

Anzeigen nach

Frage


XML reports generation available for future releases
Hello, will XML reports be available for future releases of Polyspace CodeProver? At the moment, after opening a result, it is ...

mehr als 8 Jahre vor | 1 Antwort | 0

1

Antwort

Frage


Orange checks covered by MISRA checks
Hi, Sometimes it looks like an orange check is entirely covered by some MISRA checks. Is it correct my interpretation? If...

mehr als 9 Jahre vor | 0 Antworten | 0

0

Antworten

Frage


Polyspace CodeProver – reanalyze only differences
Hi, May tools have the concepts re-build(take everything from scratch) and build ( look only to the differences). Can we do ...

mehr als 9 Jahre vor | 2 Antworten | 0

2

Antworten

Frage


Overlapping RTE and MISRA violations
Hi, There are situations in which an Orange check and a MISRA violation reported by Polyspace CodeProver points to the same i...

mehr als 9 Jahre vor | 1 Antwort | 0

1

Antwort

Frage


Report generation takes too much time.
Hello, We saw that for some projects it takes a lot the analysis and more time the results generation. For example we have a pr...

mehr als 9 Jahre vor | 1 Antwort | 0

1

Antwort

Frage


Why my check box from Justified column is not checked?
Dear all, I run a Polyspace analysis for a project. In code I have some MISRA warnings commented: _/* polyspace<MISRA-C3:2...

mehr als 9 Jahre vor | 1 Antwort | 0

1

Antwort

Frage


Return value of Modified cyclomatic complexity
Hello, Is there any way that Polyspace CodeProver could return also the "modified cyclomatic complexity" value, besides the e...

mehr als 9 Jahre vor | 0 Antworten | 0

0

Antworten

Frage


'-align' option Question
Hello, I have some open points regarding the usage of ‘-align’ option (I set it in Configuration/ Advanced Settings option...

mehr als 9 Jahre vor | 0 Antworten | 0

0

Antworten

Frage


Concatenate 2 concurrent Licenses - CodeProver & BugFinder
I have 2 Polyspace concurrent licenses, R2014b, and I want to concatenate them: 1) Matlab+PolyspaceBugFinder+PolyspaceCodePro...

fast 10 Jahre vor | 0 Antworten | 0

0

Antworten

Frage


Polyspace Code Prover R2014b - ps_cxx_fe.exe has stopped working
Hello, I am using Polyspace Code Prover R2014b for a project analysis. In the middle of one analysis, I get the following mes...

fast 10 Jahre vor | 1 Antwort | 1

1

Antwort

Frage


Prepare Multitasking Code - R2014b
Hello, In the help of Polyspace R2014b I found for "Prepare Multitasking Code" the below piece of code: void upper_approx...

etwa 10 Jahre vor | 2 Antworten | 1

2

Antworten

Frage


Polyspace Bug Finder shut down in command line
I am using Polyspace Bug Finder plug in for Eclipse. The issue is that after I finished my work I want to release the license. ...

etwa 10 Jahre vor | 1 Antwort | 0

1

Antwort