Pavel Andrianov

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

01:04 PM Klever Bug #9820 (New): Nondeterministic environment model: Environment model is constructed nondeterministically: the same scenario functions may have different identifiers (ld... Pavel Andrianov

12:19 PM Klever Feature #8335: Similarity management: This is just optimization for #8338 to simplify manual setting of the threshold. So, this is not a special view for e... Pavel Andrianov

01:34 PM Klever Feature #9583: Update CPAchecker: Just a note. If you get rid from -skipRecursion, CPAchecker fails after it detects a recursion. So, to handle recursi... Pavel Andrianov

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

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

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

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

Also available in: Atom

Open-Source Projects