General

Profile

Vadim Mutilin

Issues

Projects

Activity

02/06/2018

03:23 PM Klever Feature #8706 (New): Permanent (pretty) URLs for error traces
We need to have a permanent ("pretty") URL for error traces which will not be changed during downloading/uploading jo...

08/24/2017

01:38 PM Klever Feature #8382: Provide a way to prepare verification tasks without CIL
Did not find it by keywords, sorry
01:28 PM Klever Feature #8382 (Rejected): Provide a way to prepare verification tasks without CIL
Right now we pass to verification tools a single C verification file. For that purpose we are using a well known vete...

08/14/2017

11:43 AM Klever Feature #8336: Option to hide unconfirmed unsafes
> This isn't the "unprepared" user - this is the lazy user.
Users always want as much automation as possible. At th...

08/11/2017

03:36 PM Klever Feature #8335: Similarity management
>You suggest to change criteria that is completely another thing.
To be correct, it was suggested by Vladimir
I s...
03:20 PM Klever Feature #8335: Similarity management
Evgeny Novikov wrote:
> Vadim Mutilin wrote:
> > >20% nor 100% guarantees nothing
> > 100% guaranties that my crit...
03:15 PM Klever Feature #8335: Similarity management
>"call_forests_compare_simple" and "forests_cb_compare_simple"
how they are related to "all_forests_compare" which ...
02:55 PM Klever Feature #8335: Similarity management
>The solution is to add more error trace comparison functions that returns either 0% or 100%.
As far as I understood...
02:45 PM Klever Feature #8335: Similarity management
>20% nor 100% guarantees nothing
100% guaranties that my criteria is totaly agree with the trace, so I can trust it ...
12:08 PM Klever Feature #8335: Similarity management
The priority should be high.
Now we can't tell trusted marks with 100% similarity from suspicious ones with 50% sim...

Also available in: Atom