General

Profile

Nikita Komarov

Issues

Projects

Activity

07/12/2017

01:43 PM Verification Tool Supports Bug #8290: Функция memset не попадает в результирующий файл dismember
А теперь на CRED_SEC не работает:
@Function resolve_function_declaration in C::Util::Cycle package doesn't exist. ...

07/11/2017

04:24 PM Verification Tool Supports Bug #8290 (Closed): Функция memset не попадает в результирующий файл dismember
При запуске таким образом:
@dismember --config ../astraver-statistics/dismember/dismember.conf --cache 1 -k ../astra...

05/15/2017

04:45 PM Deductive Verification Tools for Linux Kernel Revision 2a2f10d4 (qa): Replay script updated.
04:32 PM Deductive Verification Tools for Linux Kernel Revision 6707773f (qa): Replay script updated.
04:09 PM Deductive Verification Tools for Linux Kernel Revision b03bf92e (qa): Replay script updated for testing purposes.

01/18/2017

07:21 PM Deductive Verification Tools for Linux Kernel Revision d9655fde (qa): Replay script added.

03/13/2015

02:45 PM Deductive Verification Tools for Linux Kernel Revision d5bb2904 (qa): Merge branch 'feature-json-tests-review' into feature-json-tests
Conflicts:
test_json.ml

03/10/2015

06:57 PM Deductive Verification Tools for Linux Kernel Revision 09b33172 (qa): Old tests converted to new format; bug fixed.
05:11 PM Deductive Verification Tools for Linux Kernel Revision 09aeeaee (qa): New testing script using metadata in JSON format.

02/13/2015

06:32 PM Deductive Verification Tools for Linux Kernel Revision 0c2675a8 (jessie2): Added prototypes of some standard C library functions as an additional solution to the failure in case of their incorrect calls.

Also available in: Atom