Daniel Popu

Huf Romania

Last seen: 1 year 前 | 自 2014 起处于活动状态

Followers: 0 Following: 0

消息

统计学

排名
20,512
of 298,264

声誉
2

贡献数
12 个提问
0 个回答

回答接受率
50.0%

收到投票数
2

查看徽章

Feeds

提问

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 ...

9 years 前 | 1 个回答 | 0

1

个回答

提问

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...

9 years 前 | 0 个回答 | 0

0

个回答

提问

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 ...

9 years 前 | 2 个回答 | 0

2

个回答

提问

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...

10 years 前 | 1 个回答 | 0

1

个回答

提问

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...

10 years 前 | 1 个回答 | 0

1

个回答

提问

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...

10 years 前 | 1 个回答 | 0

1

个回答

提问

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...

10 years 前 | 0 个回答 | 0

0

个回答

提问

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

10 years 前 | 0 个回答 | 0

0

个回答

提问

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

10 years 前 | 0 个回答 | 0

0

个回答

提问

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...

10 years 前 | 1 个回答 | 1

1

个回答

提问

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...

10 years 前 | 2 个回答 | 1

2

个回答

提问

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. ...

10 years 前 | 1 个回答 | 0

1

个回答