Pavel Andrianov

CPAchecker (Developer, 07/28/2018)
CVC3 with small optimizations for BLAST (Developer, 07/25/2018)
LDV Tools (Developer, 03/17/2018)
Linux Kernel Safety RuleDB (Developer, 10/16/2014)
Klever (Developer RO, 09/04/2015)
Build Analyzer (Developer, 04/19/2017)
C Instrumentation Framework (Reporter, 02/27/2018)
Linux Driver Verification (Developer, 08/08/2013)
Kartographer (Reporter, Customer, 04/07/2017)
Aspectator (Reporter, 02/27/2018)

11:16 AM Klever Feature #8338: Add ability to specify similarity threshold: > Regarding your case, do you think that 17% is worse than 22%?
Yes, both of them are irrelevant, so I do not like...

03:33 PM Klever Feature #8338: Add ability to specify similarity threshold: I do not think it is a cheat. I would not like to resolve conflicts between 17% similar mark and 22% one, if, for exa...

02:08 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading: > For providing data that can be interested for verifier developers there are different means
I am not speaking ab...
12:06 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading: > then you have to prepare the only verification report with all verification results as its children.
Then I have...
11:16 AM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading: > As far as I rememember there can be the only verification report for the same parent (Vladimir, am I right?)
Nei...
10:58 AM Klever Feature #9412: Support more advanced calculation of total verdicts and similarity: I support the issue: incompatible marks are very distractive. One minor comment is that several confirmed association...

06:20 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading: > Can't you create an intermediate reports of another type?
We do it already (see example from Vitaly), but it doe...
05:54 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading: > What is an unsafe node? What is a verification node?
This is unsafe report and verification report.
05:53 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading: > If you need the same attributes for all underlying reports, you need to upload them within a parent report, most li...
05:39 PM Klever Feature #9414: Reuse archive with source files between different error traces on report uploading: Some attributes can be related not to a witness, but to a whole launch. So, the feature is only not to clone the same...

Also available in: Atom

Open-Source Projects