General

Profile

Nikita Komarov

  • Login: nkomarov
  • Email: nkomarov@ispras.ru
  • Registered on: 11/22/2011
  • Last connection: 11/09/2022

Issues

open closed Total
Assigned issues 0 0 0
Reported issues 0 1 1

Projects

Project Roles Registered on
Deductive Verification Tools for Linux Kernel Reporter 09/02/2014
Verification Tool Supports Manager, Developer 07/02/2015
Kartographer Reporter, Customer 04/12/2017
Race Hound Manager, Developer 09/05/2012
VerKer - Verification of Linux Kernel Library Functions Developer, Reporter 05/21/2017

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

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

05/15/2017

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

01/18/2017

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

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
Nikita Komarov

03/10/2015

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

02/13/2015

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

Also available in: Atom