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. ...
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 (astraver): 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