Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
4564 Linux Kernel Safety RuleDB Feature New Normal Automatic extraction of Linux kernel API usage rules on the basis of BUG*/WARN* macros Evgeny Novikov Actions
4560 Linux Kernel Safety RuleDB Feature Open Normal Count usage of Linux kernel API elements Evgeny Novikov Evgeny Novikov Actions
4556 Linux Driver Verification Feature Open High LDV Tools definitely needs configure Evgeny Novikov Evgeny Novikov Actions
4551 Requality Bug New Normal Эклипс аварийно завершается (падает) Николай Пакулин Actions
4548 Requality Bug New Normal Изображения из Description пропадают Denis Kildishev Denis Kildishev Actions
4545 Linux Driver Verification Feature New Normal Resource Manager system settings Evgeny Novikov Actions
4529 Requality Bug New Normal Добавление операций с Report и Document в транзакции Denis Kildishev Actions
4523 Fortress Task New Immediate Implementing a solver for simple constraints Alexander Kamkin Artem Kotsynyak Fortress - 0.4 Actions
4521 Retrascope Task New Low Входной класс для генератора тестовой последовательности Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
4520 Requality Bug Open Normal Имя требования отображается в Requality Explorer не полностью. Viktoria Kopach Denis Kildishev Actions
4519 Requality Bug New Normal В UniEditor проблема в работе панели инструментов в режиме редактирования узла Viktoria Kopach Actions
4518 Requality Bug New Normal Несоответствие размеров узла в UniEditor и Report размерам картинки Viktoria Kopach Actions
4492 Requality Bug New Normal Проблемы браузерного движка в UniEditor Viktoria Kopach Actions
4485 Linux Kernel Safety RuleDB Feature New Normal 154: incorrect usage of wwmutex interface Alexey Khoroshilov Actions
4475 Linux Driver Verification Bug New High LDV fails with gcc 4.7.3 Vadim Mutilin Ilja Zakharov Actions
4463 C Instrumentation Framework Bug Open High DEG2 inforequests failed after switching to the new CIF and aspectator versions. Ilja Zakharov Evgeny Novikov Actions
4450 Linux Driver Verification Bug New High DB provides too small size for tool problem descriptions Evgeny Novikov Vitaly Mordan Actions
4449 C Instrumentation Framework Bug Open High Prohibit usage of incorrect sets of type specifiers among declaration specifiers of one declaration in pointcuts Evgeny Novikov Evgeny Novikov Actions
4448 Linux Kernel Safety RuleDB Bug New Normal Support of __always_inline functions Ilya Shchepetkov Actions
4442 Linux Driver Verification Feature New High Environment model should provide "triggers" for rule models Evgeny Novikov Ilja Zakharov Actions
4437 Linux Driver Verification Bug New Normal Make clean in cvc3 Pavel Andrianov Vadim Mutilin Actions
4435 Linux Driver Verification Feature Open Normal Make LDV Analytics Center projector safe Evgeny Novikov Evgeny Novikov Actions
4434 Requality Task New Low Для операций с файлами и ресурсами добавить проверки Denis Kildishev Actions
4433 Requality Bug New Normal При обновлении из SVN не появляется импортированный документ Viktoria Kopach Actions
4432 Requality Bug New Normal Получается выделить кусок текста внутри выделенного фрагмента Viktoria Kopach Actions
4430 Requality Task New Normal Разработать средства кастомизации Test Procedure Denis Kildishev Actions
4414 C Instrumentation Framework Bug Open High Too many isany_params Ilya Shchepetkov Evgeny Novikov Actions
4413 Linux Driver Verification Bug New Normal Timeout script works incorrectly Evgeny Novikov Vitaly Mordan Actions
4398 C Instrumentation Framework Bug Open High Aspectator and C back-end should support GCC vector type Evgeny Novikov Evgeny Novikov Actions
4381 Linux Driver Verification Feature New High Add RCV interface for CBMC Evgeny Novikov Vitaly Mordan Actions
4380 Veritool Task New Normal Выделить reset из testbench.v в специальный метод Mikhail Chupilko Mikhail Chupilko Actions
4363 Retrascope Task New Low Критерий кластеризации входных сигналов, основанный на GA Sergey Smolov Sergey Smolov Retrascope - 2.0 Actions
4360 Linux Kernel Safety RuleDB Feature Open Normal 150: Locking and unlocking SDIO bus Alexey Khoroshilov Actions
4174 C Instrumentation Framework Bug Open High Typedef irq_handler_t is't matched properly Ilja Zakharov Evgeny Novikov Actions
4171 Veritool Bug Resolved Normal Int128-512: Возможно ошибка Alexander Kamkin Alexander Kamkin Actions
4170 Veritool Bug Resolved Normal Int128-512: Замечания к коду Alexander Kamkin Alexander Kamkin Actions
4126 Verilog Translator Task New Normal Unification of AST_EDGE and AST_TABLE_EDGE Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
4121 C++TESK Testing ToolKit Task New Normal [build] Стабилизация версии 1.0 Alexander Kamkin Mikhail Chupilko C++TESK Testing ToolKit - 1.0 Actions
4110 Verilog Translator Bug New Normal AST_DECLARATION: adding delay for net declarations Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
4106 Verilog Translator Task New Low Support for library and config declaration Alexander Kamkin Alexander Kamkin Verilog Translator - 0.3 Actions
4097 Verilog Translator Task Open Normal Проверка зацикливания include-файлов Alexander Kamkin Alexander Kamkin Verilog Translator - 0.1 Actions
4092 Requality Developer Request New Normal Пересмотр системы transaction для ожидаемой поддержки undo\redo Denis Kildishev Actions
4063 Requality Bug New Normal Errors running builder 'Requality Checkers' on project 'Project04'. Viktoria Kopach Actions
4061 MicroTESK Task New Normal Support for endianness Andrei Tatarnikov Alexander Kamkin MicroTESK - 2.6 Actions
4057 Retrascope Feature New Low Механизм поиска взаимных блокировок Igor Melnichenko Mikhail Lebedev Retrascope - 2.0 Actions
4019 C Instrumentation Framework Feature Open High Generate nonrerouting variants for rerouting aspect rule models Evgeny Novikov Evgeny Novikov Actions
3986 Linux Kernel Safety RuleDB Feature New Normal Common kernel core model for current and atomic_* Alexey Khoroshilov Vadim Mutilin Actions
3940 Requality Bug New Normal Не отображаются UniEditor, Review, редактор документа и отчеты. Viktoria Kopach Actions
3931 Linux Driver Verification Bug New Normal ETV doesn't render indirect function call properly Mikhail Mandrykin Evgeny Novikov Actions
3919 C Instrumentation Framework Feature Open High Lock master branch of Aspectator submodule Evgeny Novikov Evgeny Novikov Actions
3866 Linux Kernel Safety RuleDB Feature New Normal 149: double use of init_completion() Vladimir Gratinskiy Vladimir Gratinskiy Actions
3865 Linux Kernel Safety RuleDB Feature Open Normal 148: completion must be initialized before every use Vladimir Gratinskiy Vladimir Gratinskiy Actions
3849 Requality Bug New Normal Page Down в UniEditor отматывает больше, чем Page Up Viktoria Kopach Actions
3840 Linux Driver Verification Feature New Normal Move reference launches database somewhere from the root partition Evgeny Novikov Vadim Mutilin Actions
3837 Requality Bug New Normal Ошибки Update-процессора Viktoria Kopach Actions
3834 Linux Driver Verification Bug New Normal SMT sovler answer is strange: Error: Invalid top level command. wenrui meng Actions
3833 Veritool Bug New Normal add lib64 to paths Mikhail Chupilko Mikhail Chupilko Actions
3832 Linux Kernel Safety RuleDB Feature Open Normal 147: RCU update operations should not be used inside RCU read sections Vadim Mutilin Actions
3831 Linux Kernel Safety RuleDB Feature Open Normal 146: Mixing operations of RCU nested read sections of different types Vadim Mutilin Vladimir Gratinskiy Actions
3813 Veritool Bug Resolved Normal В структуре inputs_t нет reset Alexander Kamkin Alexander Kamkin Actions
3803 Linux Driver Verification Feature Open Normal Take rerouter errors into account Evgeny Novikov Evgeny Novikov Actions
3781 Veritool Task Resolved Normal Нумерация тактов Alexander Kamkin Alexander Kamkin Actions
3759 С++TESK Development Environment Task Feedback Normal Разработать демонстрационный пример для структуры соответствия Sergey Smolov Actions
3756 С++TESK Development Environment Task New Immediate Генерация C++ кода для модели сообщений Sergey Smolov Actions
3755 С++TESK Development Environment Task New Normal namespace name for test system prototypes Sergey Smolov Actions
3733 Linux Driver Verification Feature New Normal Driver libraries: incomplete analysis coming from decomposition of driver modules Alexey Khoroshilov Actions
3702 Linux Driver Verification Bug New High CSD behaves nondeterministically with FS drivers and rules 32_7a, 118_1a Evgeny Novikov Ilja Zakharov Actions
3701 Linux Driver Verification Bug Open Normal CPAchecker degradation on drivers/staging/go7007/s2250.ko Vadim Mutilin Vadim Mutilin Actions
3692 C Instrumentation Framework Feature Open High Add ability to get information on structure variable initialization Evgeny Novikov Evgeny Novikov Actions
3689 C Instrumentation Framework Feature Open Low Add support of primitive pointcut that can refer both to macros and functions Evgeny Novikov Evgeny Novikov Actions
3674 C++TESK Testing ToolKit Bug New Normal [build] Немного warning`ов Alexander Protsenko Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
3667 C Instrumentation Framework Feature Open High ARG_SIGN for anonymous structures Alexey Khoroshilov Evgeny Novikov Actions
3665 Requality Bug New Normal Undo не работают при фокусе на окне Properties Viktoria Kopach Actions
3662 BLAST Support New Normal Blast documentation? Roopak Sinha Actions
3659 С++TESK Development Environment Task New Normal Соответствие полей классов сообщений и сигналов HDL-модели Sergey Smolov Actions
3628 С++TESK Development Environment Task Open Normal Описание XML-схемы для прототипирования тестовых систем Alexander Kamkin Alexander Protsenko Actions
3627 C Instrumentation Framework Feature Open High Add license, installation and usage instructions Evgeny Novikov Evgeny Novikov Actions
3608 Linux Kernel Safety RuleDB Feature Open Normal 145: Usage of clock functions Vladimir Gratinskiy Vadim Mutilin Actions
3582 C++TESK Testing ToolKit Task New Normal [core] C++TESK as Explicit-State Model Checker Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.1 Actions
3572 Local Support Project Bug Resolved Normal Ревизии svn иногда неправильно упорядочиваются Denis Buzdalov Actions
3563 BLAST Bug New Normal For flexible arrays CIL remembers the number of array elements after the first initialization and then when more elements are initialized it fails Evgeny Novikov Actions
3562 BLAST Bug New Normal BLAST doesn't fail when it has one file with parsing errors as input Evgeny Novikov Actions
3465 C Instrumentation Framework Feature Open Low Loop head macros support Mikhail Mandrykin Evgeny Novikov Actions
3435 C Instrumentation Framework Bug Open High Neither aspectator nor C back-end support variable arrays as field type Evgeny Novikov Evgeny Novikov Actions
3431 Linux Kernel Safety RuleDB Feature Open Normal 144: correct terminations of functions in usb-system Marina Makienko Marina Makienko Actions
3399 Linux Kernel Safety RuleDB Feature Open Normal 143: Usage of semaphores Vladimir Gratinskiy Vladimir Gratinskiy Actions
3383 Linux Driver Verification Feature Open Normal Rule instrumentor needs refactoring Evgeny Novikov Evgeny Novikov Actions
3381 Veritool Bug New Normal Не поддерживается Verilog-код с многомерными массивами Mikhail Chupilko Alexander Kamkin Actions
3368 Linux Kernel Safety RuleDB Feature New Normal 073: Function free_irq should be called only once Evgeny Novikov Actions
3351 Linux Driver Verification Bug Open Normal Handling error cases of callbacks in envgen for more than two structures Vadim Mutilin Vadim Mutilin Actions
3349 Linux Driver Verification Bug Open Low There is no initialization of ldv_mutex_TEMPLATE Vladimir Gratinskiy Actions
3346 Linux Driver Verification Bug Open Low disable functions from work queue Marina Makienko Ilja Zakharov Actions
3344 Linux Driver Verification Bug Open Normal Apostrophe in comments Vladimir Gratinskiy Evgeny Novikov Actions
3340 Linux Kernel Safety RuleDB Feature Open Normal 142: Usage of mod_timer() Vladimir Gratinskiy Vladimir Gratinskiy Actions
3338 Linux Kernel Safety RuleDB Feature Open Normal 140: register_netdev() must be paired with unregister_netdev(). alloc_netdev() must be paired with free_netdev(). Ilya Shchepetkov Vadim Mutilin Actions
3329 Linux Driver Verification Bug New Normal envgen: disable interrupts for hard irq handlers Denis Efremov Ilja Zakharov Actions
3328 Linux Kernel Safety RuleDB Feature Open Normal 139: napi_enable() must be paired with napi_disable() Alexey Khoroshilov Marina Makienko Actions
3327 Linux Kernel Safety RuleDB Feature Open Normal 138: NAPI context resource leaks - netif_napi_del and netif_napi_add Alexey Khoroshilov Evgeny Novikov Actions
3326 Linux Driver Verification Bug New Normal Nondeterministic communication with SMT sovler Ilya Shchepetkov Vadim Mutilin Actions
3325 Linux Driver Verification Bug New Normal The interrupt handler Marina Makienko Ilja Zakharov Actions
(1501-1600/1955) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF