Nikita Komarov

  • Email:
  • Registered on: 11/22/2011
  • Last connection: 05/11/2017

Projects

Activity

Reported issues: 6

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 addition...

Also available in: Atom