Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
(1551-1600/1955) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF