Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
4623 Local Support Project Task New Normal Автоматизировать предоставление ssh доступа Alexey Demakov Alexey Demakov Actions
4621 Local Support Project Bug New Normal Пропал доступ по ssh Alexandr Ugnenko Actions
4610 Linux Kernel Safety RuleDB Task New Normal 029: Leaving allocated memory units in the coherent-memory pool being freed Vadim Mutilin Actions
4601 Linux Driver Verification Bug Open Normal ETV incorrectly replaces reserved HTML characters Evgeny Novikov Evgeny Novikov Actions
4572 Requality Feature New Normal Приоритет реакции в listeners Denis Kildishev Actions
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
3322 Linux Kernel Safety RuleDB Feature New Normal 137: Don't mark EXPORT_SYMBOL functions as __init Denis Efremov Denis Efremov Actions
3318 Linux Driver Verification Feature New Normal Support threaded irq handlers in envgen Vadim Mutilin Ilja Zakharov Actions
3317 Linux Kernel Safety RuleDB Feature Resolved Normal 010: Usage of a GFP_ATOMIC flag in functions of memory allocation in a context of interrupt. Vladimir Gratinskiy Vladimir Gratinskiy Actions
3316 Linux Kernel Safety RuleDB Feature Open Normal 136: usb_deregister() should be called before usb_serial_deregister() when the device is plugged in Marina Makienko Actions
3313 Linux Kernel Safety RuleDB Feature New Normal 134: Error handling for critical functions in probe() Mikhail Mandrykin Mikhail Mandrykin Actions
3311 Linux Kernel Safety RuleDB Feature Open Normal 133: Don't call function kfree_skb twice Mikhail Mandrykin Mikhail Mandrykin Actions
3306 Linux Kernel Safety RuleDB Feature Open Normal 132: Usb device reference counting with usb_get_dev/usb_put_dev and interface_to_usbdev Mikhail Mandrykin Mikhail Mandrykin Actions
3300 Linux Driver Verification Bug Open Normal ldv-tools does not work with java-7 Vadim Mutilin Vadim Mutilin Actions
3283 Linux Kernel Safety RuleDB Feature Resolved Normal 131: Driver tries to stop an hrtimer which was never started Marina Makienko Marina Makienko Actions
3270 Linux Kernel Safety RuleDB Feature Open Normal 130: Initialize dynamically allocated sysfs attributes before device_create_file() call Ilya Shchepetkov Actions
3261 Linux Kernel Safety RuleDB Feature Open Normal 129: Calling find_next_zero_bit() with arguments in the right order Marina Makienko Vadim Mutilin Actions
3259 Linux Kernel Safety RuleDB Feature New Normal 060: Inserting an element to a linked list if this element is already there Ilya Shchepetkov Actions
3248 Linux Kernel Safety RuleDB Bug Open Normal This subproject specifies incorrect repository Evgeny Novikov Alexey Khoroshilov Actions
3247 Linux Kernel Safety RuleDB Feature New Normal 128: EXPORT* macro should follow immediately after the closing function brace line Denis Efremov Denis Efremov Actions
3245 Linux Kernel Safety RuleDB Feature New Normal 127: value returned by rcu_dereference() is valid only within the enclosing RCU read-side critical section Denis Efremov Actions
3244 Linux Kernel Safety RuleDB Feature Open Normal 124: might_sleep should not be called under rcu_read_lock Denis Efremov Actions
3243 Linux Kernel Safety RuleDB Feature Open Normal 123: might_sleep should not be called under spin_lock Denis Efremov Actions
3242 Linux Kernel Safety RuleDB Feature New Normal 120: rcu_dereference invocation under rcu_read_lock Denis Efremov Denis Efremov Actions
3239 Linux Kernel Safety RuleDB Feature Resolved Normal 008: Driver becomes not available for unloading permanently Vadim Mutilin Actions
3236 Linux Driver Verification Feature Open High Finally eliminate bindings with LLVM from LDV Evgeny Novikov Evgeny Novikov Actions
3233 Linux Kernel Safety RuleDB Feature New Normal 068: Incorrect release of USB information structures Evgeny Novikov Actions
3232 Linux Kernel Safety RuleDB Feature Open Normal 043: Using a blocking memory allocation when spinlock is held Evgeny Novikov Vitaly Mordan Actions
3228 Linux Kernel Safety RuleDB Feature New Normal 126: don't inline EXPORT_SYMBOL\(_GPL\(_FUTURE\)\?\)\? functions Denis Efremov Denis Efremov Actions
3225 Linux Kernel Safety RuleDB Feature Open Normal 122: might_sleep functions should not be invoked with disabled interrupts Denis Efremov Actions
3224 Linux Kernel Safety RuleDB Feature New Normal 121: Requesting a threaded interrupt without a primary handler and without IRQF_ONESHOT is not permitted Denis Efremov Denis Efremov Actions
3223 Linux Kernel Safety RuleDB Feature New Normal 117: local_irq_save/local_irq_restore && local_irq_enable/local_irq_disable pairs one another nesting check Denis Efremov Denis Efremov Actions
3220 Linux Kernel Safety RuleDB Feature Open Normal 077: NOIO allocation under usb_lock Vadim Mutilin Vitaly Mordan Actions
3207 Linux Driver Verification Bug New Normal LDV tools incorrectly process cases when incorrect rule model ids are provided Evgeny Novikov Vadim Mutilin Actions
3206 Linux Kernel Safety RuleDB Feature New Normal Investigate influence of tracers configuration Evgeny Novikov Actions
3205 Linux Driver Verification Bug New Normal Driver that cannot be built is "verified" by ldv-tools Vladimir Gratinskiy Vadim Mutilin Actions
3151 Requality Feature New Normal Нужен чекер для проверки предикатов Viktoria Kopach Actions
3119 Requality Bug New Normal undo после создания проекта Viktoria Kopach Actions
3035 Linux Kernel Safety RuleDB Feature Open Normal 116: Proper usage of spin_lock_irq* in process context Denis Efremov Denis Efremov Actions
3032 Linux Kernel Safety RuleDB Feature Open Normal 115: Do not use might_sleep functions in interrupt context Denis Efremov Actions
3023 Requality Bug New Normal Ошибки при открытии ошибок фрагментов в окне Problems Viktoria Kopach Actions
2998 Requality Feature Open Normal Решить проблему с возможным пересечением фрагментов Viktoria Kopach Denis Kildishev Actions
2964 Linux Driver Verification Feature New Normal Need the way to suspend/resume running launch Evgeny Novikov Vadim Mutilin Actions
2962 C Instrumentation Framework Feature Open Low Aspectator should provide "memset" functionality Evgeny Novikov Evgeny Novikov Actions
2961 C Instrumentation Framework Feature Open Low Aspectator should support structure field set/get pointcuts Evgeny Novikov Evgeny Novikov Actions
2960 C Instrumentation Framework Feature Open Low Aspectator should support get pointcut in the more full way Evgeny Novikov Evgeny Novikov Actions
2950 Requality Bug New Low На пунктах контекстного меню работает любая кнопка мыши Vladimir Fedotov Actions
2925 Requality Bug New Normal Улучшение выделения location'ов Alexey Khoroshilov Actions
2923 Requality Feature New Normal Поддержка undo/redo для действий с документами Alexey Khoroshilov Actions
2922 Linux Driver Verification Feature New Normal LDV manager should allow to clean up information on environments installed Evgeny Novikov Vadim Mutilin Actions
2920 Linux Driver Verification Bug New Normal rcv-launcher is too greedy: it requires almost the same amount of CPU as pblast.opt Evgeny Novikov Vadim Mutilin Actions
2909 Requality Bug New Normal Удаление требования, которое является для другого требования базовым, приводит к ошибкам. Viktoria Kopach Actions
2886 Veritool Bug Resolved Normal rename vsim_getByte8Value Mikhail Chupilko Alexander Kamkin Actions
2883 Linux Driver Verification Feature Open Normal Investigate what drivers/mains require the most amount of time for verification Evgeny Novikov Evgeny Novikov Actions
2876 Linux Driver Verification Feature New Normal Investigate why we have to redefine BUILD_BUG_ON macro Evgeny Novikov Vadim Mutilin Actions
2869 Linux Driver Verification Bug New Normal DSCV hides RI errors Evgeny Novikov Vadim Mutilin Actions
2868 Requality Feature New Normal Форматирование текста Vladimir Fedotov Actions
2859 Requality Bug New Normal Статус требования в UniEditor и Review: есть ошибка в undo Viktoria Kopach Actions
2805 Requality Feature New Normal Добавить возможность отказа от появления переспрашивающих диалоговых окон Viktoria Kopach Alexey Khoroshilov Actions
2793 Linux Driver Verification Bug New Normal Time statistics for BCE is incorrectly calculated in local launches Evgeny Novikov Vitaly Mordan Actions
2785 Linux Kernel Safety RuleDB Feature New Normal 113: Do not allow enabling interrupts while in an interrupt handler Alexey Khoroshilov Denis Efremov Actions
2772 Linux Kernel Safety RuleDB Feature Open Normal 112: Check that variables are initialized before usage Evgeny Novikov Evgeny Novikov Actions
2771 Linux Kernel Safety RuleDB Feature Open Normal 111: Check that integer underflow doesn't happen in call of copy_from_user(), copy_to_user() and others Evgeny Novikov Vladimir Gratinskiy Actions
2762 Linux Kernel Safety RuleDB Feature Open Normal 109: Do not accept negative voice values since they can cause buffer overflow Evgeny Novikov Evgeny Novikov Actions
2751 Linux Kernel Safety RuleDB Feature Open Normal 108: Driver callback functions should always return non positive values Evgeny Novikov Mikhail Mandrykin Actions
2750 Linux Kernel Safety RuleDB Feature Resolved Normal 107: Each module should provide module metadata, including license, author and description Evgeny Novikov Marina Makienko Actions
2747 Linux Kernel Safety RuleDB Feature Open Normal 110: Correct initialization of spin_lock Vadim Mutilin Marina Makienko Actions
2742 Linux Kernel Safety RuleDB Feature Open Normal 106: The gadget driver, char device number, and class device should be unregistered in reverse order of registration Evgeny Novikov Mikhail Mandrykin Actions
2735 Linux Kernel Safety RuleDB Feature Open Normal 104: All allocated memory should be freed on module uploading Evgeny Novikov Pavel Andrianov Actions
2734 C Instrumentation Framework Bug Open High Aspectator incorrectly weaves calls to functions returning void * Evgeny Novikov Evgeny Novikov Actions
2732 Linux Kernel Safety RuleDB Feature Resolved Normal 103: Check that msleep isn't called with a value in jiffies Evgeny Novikov Evgeny Novikov Actions
2731 Linux Driver Verification Bug Open Normal One cannot write special characters in LDV model comments Evgeny Novikov Evgeny Novikov Actions
2727 Linux Driver Verification Bug Open Normal Watcher reports a good verdict even though RI and DSCV failed Evgeny Novikov Actions
2726 C Instrumentation Framework Bug Open High Aspectator doesn't traverse through expressions of function parameters Evgeny Novikov Evgeny Novikov Actions
2724 Linux Driver Verification Bug New High Incorrect notification when a given module couldn't be built Evgeny Novikov Ilja Zakharov Actions
2717 Linux Kernel Safety RuleDB Feature Open Normal 102: Check that skb doesn't allocated in pm_runtime context Evgeny Novikov Evgeny Novikov Actions
2706 Linux Kernel Safety RuleDB Feature Resolved Normal 101: All obtained blk requests should be put after all Evgeny Novikov Actions
2705 BLAST Bug Open Low BLAST knows something about huge integer numbers? Evgeny Novikov Actions
2699 BLAST Bug New Normal BLAST doesn't find an error in a rather simple example with division Evgeny Novikov Actions
2692 Linux Kernel Safety RuleDB Feature Resolved Normal 100: TTY should not be NULL when it is passed to TTY processing functions Evgeny Novikov Mikhail Mandrykin Actions
2674 Linux Driver Verification Bug New Normal LDV tools doesn't work with LDV_DEBUG=0 Evgeny Novikov Vadim Mutilin Actions
2669 C++TESK Testing ToolKit Bug New Normal [docs] Add figures to the project description & whitepaper Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
2668 C++TESK Testing ToolKit Task New Normal [docs] Real-life example(s) of C++TESK model(s) & testbench(es) Alexander Kamkin Mikhail Chupilko C++TESK Testing ToolKit - 1.0 Actions
2664 Linux Driver Verification Bug New Normal During installation LDV-git copy all its files Evgeny Novikov Vadim Mutilin Actions
2659 Requality Developer Request New Normal ClassCastException: File -> Requirement после svn revert Vladimir Fedotov Yuriy Shekochihin Actions
2658 Linux Driver Verification Bug New Normal LDV git repository is set up incorrectly a bit at forge Evgeny Novikov Vadim Mutilin Actions
2606 Linux Kernel Safety RuleDB Feature Open Normal 119: probe functions should not return -EINTR Alexey Khoroshilov Vladimir Gratinskiy Actions
2593 Linux Driver Verification Bug New Normal ldv-online server fails as well as ldv-online client Evgeny Novikov Evgeny Novikov Actions
2569 Linux Driver Verification Feature Open Normal Let's DSCV and RCV won't keep debug traces by default Evgeny Novikov Vadim Mutilin Actions
2558 Linux Kernel Safety RuleDB Feature New Normal Investigate rules discovered by Stanse Evgeny Novikov Actions
2553 Linux Driver Verification Bug Open Normal Explicitly set Unknown is not shown Alexey Khoroshilov Evgeny Novikov Actions
2514 Linux Driver Verification Bug New Normal One driver corrupts ldv-online by some reason Evgeny Novikov Evgeny Novikov Actions
2511 Linux Driver Verification Bug New Normal ldv-online loads error traces even before they are obtained Evgeny Novikov Evgeny Novikov Actions
2494 CTESK Bug New Normal warning at build log Sergey Smolov Alexey Demakov Actions
2490 Linux Driver Verification Feature New Normal There shouldn't be 'No entry point' problems Evgeny Novikov Ilja Zakharov Actions
2478 Linux Driver Verification Bug Open Normal Tools should use their own prefixes in log instead of evaluated script ones Evgeny Novikov Vadim Mutilin Actions
2472 Requality Bug New Normal Prevented recursive attempt to activate part PropertySheet while still in the middle of activating part UniEditor Viktoria Kopach Alexey Demakov Actions
2447 Requality Bug New Normal Проблемы с Paste в окне UniEditor Viktoria Kopach Denis Kildishev Actions
2422 Linux Driver Verification Feature Open Normal Create a cache of error traces in the common format Evgeny Novikov Evgeny Novikov Actions
2393 Linux Driver Verification Feature Open High Problems with backward compatibility of error traces are going to become Evgeny Novikov Evgeny Novikov Actions
2383 Aspectrace Task New Normal Генератор не должен падать, когда в трассе встречается элемент покрытия, не принадлежащий покрытию Alexander Kamkin Anastasia Tugaenko Actions
2380 Linux Driver Verification Bug New Normal A couple of patches to make LDV work on my Gentoo system Pavel Shved Vadim Mutilin Actions
2361 Linux Driver Verification Bug Resolved Normal ldv-uploader does not work with activerecord-3.2.1 Vadim Mutilin Vitaly Mordan Actions
2354 Linux Driver Verification Bug Open Normal Statistics Server (Analytics Center) cannot be installed on some systems Evgeny Novikov Evgeny Novikov Actions
2345 Linux Driver Verification Feature Open Normal Implement shared JavaScripts, CSSs and images Evgeny Novikov Evgeny Novikov Actions
2307 BLAST Bug Resolved Normal Inconsistent handling of bitshifts in interpolator and solvers Pavel Shved Pavel Shved BLAST - 2.7.1 Actions
2289 Linux Driver Verification Feature Open Normal We need to add statistics caches for problems and times Evgeny Novikov Evgeny Novikov Actions
2287 BLAST Bug Open Normal cdc_eem.ko had correct unsafe verdict and became unknown in BLAST 2.7.1 Vadim Mutilin Pavel Shved BLAST - 2.7.1 Actions
2281 Linux Driver Verification Bug Open Normal Tags for Inconclusive KB verdict is incorrectly calculated Evgeny Novikov Evgeny Novikov Actions
2280 Linux Driver Verification Bug Open Normal Knowledge Base cache isn't recalculated when tags are changed Evgeny Novikov Evgeny Novikov Actions
2257 Linux Driver Verification Feature New Normal Kill CSD when it becomes useless Evgeny Novikov Ilja Zakharov Actions
2228 Requality Bug New Normal В UniEditor текст комментария всегда курсивом, не зависимо от редактирования. Viktoria Kopach Actions
2213 C++TESK Testing ToolKit Task New Normal [docs] Английскую документацию делать в wiki Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
2212 C++TESK Testing ToolKit Task New Normal [docs] Задокументировать адаптеры по умолчанию Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
2210 Requality Bug New Normal Номер ревизии обновляется только после svn update Vladimir Fedotov Actions
2208 Requality Feature New Low Снятие фокуса с полей id и name при нажатии Enter Viktoria Kopach Alexey Khoroshilov Actions
2205 Requality Bug New Low Верстка таблиц в unieditor Vladimir Fedotov Actions
2203 Requality Feature New Normal Не вставлять выделенный текст в требование, если он полностью совпадает с названием Vladimir Fedotov Actions
2189 Requality Feature New Low В диалоге создания проекта нельзя указать где он будет создан Vladimir Fedotov Actions
2183 Linux Driver Verification Bug Open High Time statistics for RCV is incorrectly calculated in local launches Evgeny Novikov Vitaly Mordan Actions
2182 Linux Driver Verification Feature Open Normal ldv-upload should remove temporary files by default doesn't it? Evgeny Novikov Actions
2178 Linux Driver Verification Bug Open High Time statistics for RI is incorrectly calculated in local launches Evgeny Novikov Vitaly Mordan Actions
2173 Linux Driver Verification Bug Open Normal ldv-upload duplicates kb-recalc output more then 5 times Evgeny Novikov Evgeny Novikov Actions
2168 Linux Driver Verification Feature Open Normal ldv-upload should check a database connection specified at the beginning Evgeny Novikov Evgeny Novikov Actions
2163 С++TESK Development Environment Task New Normal Генерация заготовки тестовой системы по информации об интерфейсе Alexander Kamkin Actions
2161 Veritool Task New Normal Массив вместо структуры для int128-int512 Alexander Kamkin Mikhail Chupilko Actions
2160 Linux Driver Verification Bug Open Normal ldv-online client hangs sometimes Evgeny Novikov Evgeny Novikov Actions
2157 Linux Driver Verification Feature Open High ldv-online should keep drivers uploaded Evgeny Novikov Evgeny Novikov Actions
2156 Linux Driver Verification Feature Open Normal Warn in case when a tool is going to drop database(s) Evgeny Novikov Actions
2154 BLAST Bug Open Normal When "local" predicates meet function calls, the verification becomes much slower... Pavel Shved Pavel Shved BLAST - 2.8 Actions
2153 Linux Driver Verification Bug Open Normal ldv-online doesn't work good with a new ldv-tools Evgeny Novikov Evgeny Novikov Actions
2138 Veritool Task New Normal Генерация C++ кода вместо С Alexander Kamkin Mikhail Chupilko Actions
2130 Veritool Task New Normal Получение списка внутренних сигналов Alexander Kamkin Mikhail Chupilko Actions
2120 Linux Driver Verification Feature New Normal Provide peak memory usage for tools as well as time statistics Evgeny Novikov Vitaly Mordan Actions
2110 Linux Kernel Safety RuleDB Feature New Normal Try to use annotation given by attributes to found errors Evgeny Novikov Actions
2068 Linux Driver Verification Feature New Normal Would we like to collect a list of LDV related publications? Evgeny Novikov Actions
2059 С++TESK Development Environment Task New Low Использование разных цветов для выделения ключевых слов C++ и С++TESK Alexander Kamkin Sergey Smolov Actions
2046 Linux Driver Verification Bug New Normal Git clone doesn't keep original modification time of files Evgeny Novikov Actions
2037 BLAST Bug New Normal Interpolants with disjunctions are broke down into unusable chunks even in smaller programs Pavel Shved Pavel Shved Actions
2015 Linux Kernel Safety RuleDB Feature New Normal Investigate rules discovered by PR-minder Evgeny Novikov Actions
2003 Requality Bug New Normal Проблема с поддержкой отчетов для старых проектов Viktoria Kopach Actions
1996 Requality Feature New Low Текст комментария в Installed Software Viktoria Kopach Alexey Khoroshilov Actions
1969 BLAST Feature New Normal Concurrent forward exploration at each node Pavel Shved Actions
1943 Requality Bug New Normal Ширина контекстного меню в Markup Editor Viktoria Kopach Actions
1940 Linux Kernel Safety RuleDB Feature New Normal 032: Locking a mutex twice or unlocking without prior locking Alexey Khoroshilov Actions
1939 Linux Driver Verification Bug Open Normal LDV online instead of internal bug reports about absent obj-m Evgeny Novikov Evgeny Novikov Actions
1938 Linux Driver Verification Bug Open Normal LDV online reads its own configs incorrectly Evgeny Novikov Evgeny Novikov Actions
1937 Linux Driver Verification Bug Open Normal LDV online uploads the main database schema incorrectly Evgeny Novikov Evgeny Novikov Actions
1936 Linux Driver Verification Feature Open Normal Need a way to install just ldv-online Evgeny Novikov Evgeny Novikov Actions
1933 libUniFloat Bug New Normal -DCMAKE_BUILD_TYPE=Release makes all functions to return 0 Anton Kirilenko Anton Kirilenko Actions
1932 libUniFloat Feature Resolved Normal Rename *_Unifloat to *_UF Andrey Ponomarenko Anton Kirilenko Actions
1927 CTESK Bug New Normal NullPointerException at AssignmentChecker.check Alexey Khoroshilov Actions
1926 CTESK Bug New Normal NullPointerException at Descs$StructUnionDescriptor.sizeField_list Alexey Khoroshilov Actions
1916 Requality Bug New Normal Импорт текстовых документов не сохраняет разбиение на строки Николай Пакулин Actions
1913 libUniFloat Bug Resolved Normal -DCMAKE_BUILD_TYPE=Release causes problem Anton Kirilenko Anton Kirilenko Actions
1905 libUniFloat Feature Resolved Normal Add function: delete_Unifloat_List(Unifloat*, ...) Andrey Ponomarenko Anton Kirilenko Actions
1903 Requality Bug New Normal После изменения фильтра типов документов для импорта не обновляется список документов в папке Viktoria Kopach Actions
1902 BLAST Feature Open Normal Function pointer inequality support for calls by function pointers Pavel Shved Pavel Shved Actions
1893 Linux Driver Verification Feature Open Normal Add ability to show/hide KB tags and problems of tools Evgeny Novikov Evgeny Novikov Actions
1891 Linux Driver Verification Feature Open Normal Show hint on KB tags Evgeny Novikov Evgeny Novikov Actions
1888 BLAST Bug New Low Function pointers with different types are not aliased Pavel Shved Actions
1887 Linux Driver Verification Bug Open Normal KB (re)calculator should be integrated into ldv-tools better Evgeny Novikov Evgeny Novikov Actions
1860 Requality Feature New Normal Перегенерация отчета при изменении базы. Viktoria Kopach Alexey Khoroshilov Actions
1856 Linux Driver Verification Bug Open Normal Documentation for RCV wrappers is confusing Pavel Shved Pavel Shved Actions
1839 Linux Driver Verification Bug Open Normal Ldv-manager can't find bug in driver Ilja Zakharov Ilja Zakharov Actions
1838 C++TESK Testing ToolKit Task New Normal [docs] Задокументировать интерфейсы с ядром C++TESK Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.1 Actions
1830 C++TESK Testing ToolKit Feature New Normal [lang][core] Задание частоты запуска сценарных функций по отдельности Igor Melnichenko Alexander Kamkin C++TESK Testing ToolKit - 1.1 Actions
1828 C++TESK Testing ToolKit Task New Normal [lang][core] Implementation of temporal sequences Alexander Kamkin Alexander Kamkin C++TESK Testing ToolKit - 1.1 Actions
1825 С++TESK Development Environment Task New Normal Графическое построение сериализаторов и десериализаторов Alexander Kamkin Actions
1813 CTESK Feature New High Конфликт имен ATL с пользовательскими Alexander Kamkin Alexey Demakov Actions
1810 BLAST Bug New Low CIL ignores the ERROR label if there's no goto to it Pavel Shved Vadim Mutilin Actions
1798 Requality Feature New Normal Значок Help в окошках импорта. Viktoria Kopach Actions
1792 Linux Driver Verification Task New High RCV interface for Satabs Vadim Mutilin Actions
1782 Requality User Story New Normal Сравнение похожих требований Anastasia Tugaenko Actions
1781 Requality User Story New Normal Подсвечивается только первая часть составного требования Anastasia Tugaenko Actions
1780 Linux Driver Verification Feature Open Normal Sort knowledge base tag statistics by the number of occurences Pavel Shved Evgeny Novikov Actions
1772 C++TESK Testing ToolKit User Story New Normal [docs] Имена типов map, list etc в CTESK Mikhail Chupilko Alexander Kamkin C++TESK Testing ToolKit - 1.0 Actions
1737 Linux Driver Verification Bug Open Normal Extend the maximum execution time for stats-visualizer Pavel Shved Evgeny Novikov Actions
1734 Linux Driver Verification Feature Open Normal Hide KB if there is no matched entities Evgeny Novikov Evgeny Novikov Actions
1733 Linux Driver Verification Feature Open Normal Generate a name for a new KB record filled with information on a current unsafe atomatically Evgeny Novikov Evgeny Novikov Actions
1727 Linux Driver Verification Bug Open High When KB pattern is changed it can affect another unsafes as earlier Evgeny Novikov Evgeny Novikov Actions
1726 Linux Driver Verification Feature Open Normal Statistics server should provide information on errors related with KB usage Evgeny Novikov Evgeny Novikov Actions
1725 Linux Driver Verification Feature Open Low kb-recalc should provide information on modifications made Evgeny Novikov Evgeny Novikov Actions
1724 Linux Driver Verification Feature Open Low Change a prefix of scripts executed from kb-recalc to be printed in log Evgeny Novikov Evgeny Novikov Actions
1723 Linux Driver Verification Feature Open Low I'd like to see yes/no instead of 1/0 for KB public field Evgeny Novikov Evgeny Novikov Actions
1721 Linux Driver Verification Feature Open Normal Create help for KB Evgeny Novikov Evgeny Novikov Actions
1710 Requality Task New Normal Wrap search Viktoria Kopach Viktoria Kopach Actions
1708 Linux Driver Verification Feature New Normal Add functionality to show information about the "Missing" KB records in a launch Pavel Shved Evgeny Novikov Actions
1698 Requality Task Open Normal Неперехваченное исключение в диалоге импорта Vladimir Fedotov Actions
1685 BLAST Feature New Low Make BLAST understand and verify recursion Pavel Shved Pavel Shved Actions
1665 Veritool Task Feedback Normal start_scen должен быть в библиотеке репозитория тестов Alexander Kamkin Alexander Kamkin Actions
1640 Linux Driver Verification Feature Open Normal KB admin interface in stats server Alexey Khoroshilov Evgeny Novikov Actions
1633 Linux Driver Verification Feature Open High KB: library function to check if assertion failed in a function given Alexey Khoroshilov Evgeny Novikov Actions
1627 Requality Bug New Normal svn: При удалении документа не удаляется папка _resources Alexey Demakov Yuriy Shekochihin Actions
1626 Linux Driver Verification Bug Open Normal Timeout script dies with "Signal 1 (HUP) caught by ps" Pavel Shved Vitaly Mordan Actions
1619 Linux Driver Verification Bug New Normal Cloning in ldv-git does not work on my machine Vadim Mutilin Pavel Shved Actions
1605 Linux Driver Verification Bug Open Normal ldv-manager/results_model.rb: Ruby DEPRECATION WARNINGs Alexey Khoroshilov Pavel Shved Actions
1580 C Instrumentation Framework Bug Open High Operator Precedence . and typecast Vadim Mutilin Evgeny Novikov Actions
1574 Requality Feature New Normal Переименовывание требований при помощи редактора разметки Yuriy Shekochihin Actions
1562 Linux Driver Verification Feature Open High Automatic checks of ldv-online Evgeny Novikov Evgeny Novikov Actions
1556 Requality Bug New Normal В результате импорта *.doc документов отображаются коды полей Alexey Demakov Actions
1555 Requality Feature_ New Normal Доработка Properties View для документов Alexey Demakov Denis Kildishev Actions
1536 Requality Bug New Normal Крэш в JRE Константин Власов Actions
1520 Linux Driver Verification Feature Open Normal Redesign comparison in statistics server Evgeny Novikov Evgeny Novikov Actions
1517 Linux Driver Verification Bug Open High Prevent installation of gems (and other modules if so) through remote network Evgeny Novikov Evgeny Novikov Actions
1514 Linux Driver Verification Feature Open Normal Show addtional information on unsafes and unknowns in comparison Evgeny Novikov Evgeny Novikov Actions
1490 BuildBase Support New Normal Визуализация зависимостей между target Yuriy Shekochihin Actions
1476 C Instrumentation Framework Bug Open Low Implement bit_field_ref in the proper way Evgeny Novikov Evgeny Novikov Actions
1449 C Instrumentation Framework Bug Open High aspectator build issue on x86-64: multilib building Alexey Khoroshilov Evgeny Novikov Actions
1425 Requality Task New Normal Проверка целостности модели данных Alexey Khoroshilov Actions
1419 Linux Driver Verification Feature Open High Shorten entry point names Evgeny Novikov Ilja Zakharov Actions
1406 Aspectrace Task New Normal Ноль вместо знака вопроса в Failures Alexander Sortov Anastasia Tugaenko Actions
1393 Requality Feature New Normal Сделать в диалоге Requirement Selection умолчальное выделение Константин Власов Actions
1366 Linux Driver Verification Bug Open Normal Env-gen prints 'no_instrument_function' attribute obtained from function declarations for auxiliary variables Pavel Shved Vadim Mutilin Actions
1365 Linux Driver Verification Bug Open Normal Information on a profile is collected for each page Evgeny Novikov Evgeny Novikov Actions
1359 Requality Bug New Low Сообщение об ошибке при импорте, содержащее details из другой ошибки. Viktoria Kopach Vladimir Fedotov Actions
1354 Linux Driver Verification Bug New Normal Local run loses drivers Vadim Mutilin Pavel Shved Actions
1334 Linux Driver Verification Bug New Normal CIL translates local label out into a global one Vadim Mutilin Actions
1333 Linux Driver Verification Bug New Normal CIL misses fields in unions Vadim Mutilin Actions
1327 Requality Feature New Low Properties view -> Source: ускорить прокрутку колесиком мыши Viktoria Kopach Actions
1323 Linux Driver Verification Bug Open Normal CIL doesn't appear to know GNU extension 'asm goto' Evgeny Novikov Vadim Mutilin Actions
1313 Linux Driver Verification Bug New Normal Infinite sequence models are flawed Pavel Shved Vadim Mutilin Actions
1312 Linux Driver Verification Bug Open Normal Timeout script sometimes fails with "No child processes" message Pavel Shved Vitaly Mordan Actions
1307 Linux Driver Verification Feature New Normal Supply several model databases Pavel Shved Pavel Shved Actions
1306 Linux Driver Verification Feature Open High Implement -fdepth option in the more intellectual way Evgeny Novikov Pavel Shved Actions
1293 Linux Driver Verification Bug New Normal DEG error: storage size of some variables isn't known Vadim Mutilin Actions
1281 Requality Bug New Normal Удаление папки блокирует eclipse Vladimir Fedotov Actions
1276 Linux Driver Verification Bug New Normal Compile errors made by DEG (rollup) Evgeny Novikov Vadim Mutilin Actions
1267 С++TESK Development Environment Task New Normal Визарды Alexander Kamkin Actions
1261 Linux Driver Verification Feature New Normal Automatically prepare builds of development branches each night Pavel Shved Pavel Shved Actions
1260 Linux Driver Verification Bug Open Normal Some model comments for 39_7 are implemented incorrectly Evgeny Novikov Vadim Mutilin Actions
1237 Linux Driver Verification Bug New Normal 68_1 model is incomplete without usb_get_urb() Alexey Khoroshilov Vadim Mutilin Actions
1236 Linux Driver Verification Bug Open Normal Finding model functions by ldv_ prefix Alexey Khoroshilov Evgeny Novikov Actions
1230 C Instrumentation Framework Bug Open High Aspectator doesn't work correctly with disjunction of define pointcuts Evgeny Novikov Evgeny Novikov Actions
1195 Linux Driver Verification Bug Open Normal drv-env fails to generate ifdefs for interrupt handler in yellowfin.ko Vadim Mutilin Vadim Mutilin Actions
1186 Veritool Task New Normal Скрипт установки Icarus Verilog Alexander Kamkin Alexander Kamkin Actions
1185 Veritool Task New Normal Инструментирование Verilog-кода и отслеживание покрытия по коду Alexander Kamkin Sergey Smolov Actions
1167 Linux Driver Verification Bug Open Normal Bugs related with 32_1a model Pavel Shved Actions
1155 Linux Driver Verification Bug New Normal If ldv-manager is stopped in kernel unpacking it doesn't work then Evgeny Novikov Pavel Shved Actions
1138 C Instrumentation Framework Bug Open High C back-end prints exceeding information for unnamed structures and unions Evgeny Novikov Evgeny Novikov Actions
1133 Linux Driver Verification Feature Open Low Make QA to tell us data locations for the small regression tests as well as for the medium ones Evgeny Novikov Actions
1127 Linux Driver Verification Task New Normal Check that ETV shows skipped function usb_free_urb for af9005-fe.ko Vadim Mutilin Vadim Mutilin Actions
1096 Linux Driver Verification Bug Open Normal Compiling one ruby gem requires installed version of another Pavel Shved Pavel Shved Actions
1083 Requality Feature New Low Минимальная высота полей в Properties view Viktoria Kopach Actions
1078 Aspectrace Feature New Normal Генератор отчетов и документация Mikhail Chupilko Alexey Demakov Actions
1069 BLAST Bug New Normal BLAST goes to local label out instead of global one or vice versa Vadim Mutilin Actions
1068 C Instrumentation Framework Bug New High Aspectator core at the first stage doesn't treat errors Evgeny Novikov Evgeny Novikov Actions
1064 Linux Driver Verification Bug Open Normal Build command extractor requires some refactoring Evgeny Novikov Ilja Zakharov Actions
1059 Linux Driver Verification Bug Open Normal Support versions of RabbitMQ newer than 2.0.0 Pavel Shved Pavel Shved Actions
1049 Linux Driver Verification Bug Resolved Normal Incorrect order of irq function calls for irq_chip Alexey Khoroshilov Ilja Zakharov Actions
1044 Veritool Task Feedback Normal Перенос репозитория тестов Alexander Kamkin Alexander Kamkin Actions
1037 Linux Driver Verification Feature New Normal Why the LDV needs to compile drivers? Andrey Ponomarenko Actions
1036 Linux Driver Verification Bug Open Normal gcc 4.6.0 doesn't support full kernel build Evgeny Novikov Actions
1031 Linux Driver Verification Bug New Normal Analysis of driver failed: error: linux/config.h: No such file or directory Andrey Ponomarenko Actions
1030 Linux Driver Verification Feature New Normal Create the configure script Andrey Ponomarenko Actions
1019 Linux Driver Verification Bug New Normal Our models are not correctly understood by CPAchecker Pavel Shved Mikhail Mandrykin Actions
1012 Linux Driver Verification Bug New Normal BLAST and CPAchecker do not agree on safety of certain drivers Pavel Shved Mikhail Mandrykin Actions
1010 Requality Feature New Normal Рефакторинг (меню Move и Rename) Viktoria Kopach Actions
1000 Linux Driver Verification Feature Open High Configure like tests for changes in kernel core API Alexey Khoroshilov Evgeny Novikov Actions
975 C Instrumentation Framework Feature New Low Investigate C back-end convergence Evgeny Novikov Actions
972 Linux Driver Verification Bug Open Normal Incomplete error trace sources for input/evdev.c Alexey Khoroshilov Evgeny Novikov Actions
971 Linux Driver Verification Bug New Normal DEG: Incorrect order of seq_operations Alexey Khoroshilov Vadim Mutilin Actions
970 C Instrumentation Framework Feature Open High Change the way of errors handling in aspectator Evgeny Novikov Evgeny Novikov Actions
967 Linux Driver Verification Feature Open Normal Think on error traces "signatures" Evgeny Novikov Evgeny Novikov Actions
965 Linux Driver Verification Feature New Normal Prevent analysis of drivers without main Evgeny Novikov Actions
958 Linux Driver Verification Bug New Normal Useless defines are generated by DEG Evgeny Novikov Vadim Mutilin Actions
957 Requality Feature New Normal Контекстное меню в Outline Alexey Demakov Actions
947 Linux Driver Verification Bug New Normal Verifier options can't be found for safe and unsafe drivers Evgeny Novikov Evgeny Novikov Actions
946 Linux Driver Verification Feature Open Low Implement intellectual function bodies closing in the more efficient way Evgeny Novikov Evgeny Novikov Actions
930 BLAST Bug New Low CIL's simeplemem does not respect line numbers Pavel Shved Vadim Mutilin Actions
929 UniTESK Reports Bug New Normal Неверное представление булевских значений. Андрей Максимов Actions
925 Linux Driver Verification Bug Open Normal LDV-Online sometimes prints incorrect links Evgeny Novikov Evgeny Novikov Actions
921 Linux Driver Verification Bug Open Normal Incorrect ifdefs for group parameters Vadim Mutilin Vadim Mutilin Actions
883 Requality Bug New Normal Производительность на проекте с большим числом документов Vladimir Fedotov Actions
882 Requality Bug New Normal Деградация производительности в ходе импорта большого числа документов Vladimir Fedotov Actions
877 C Instrumentation Framework Feature New High Try to use gcc tests for C backend Evgeny Novikov Evgeny Novikov Actions
858 Linux Driver Verification Bug New Low LDV online - set 'Build failed' to task when build description contains SOAP warning messages Alexandr Strakh Actions
846 Requality User Story New Low Реализовать расширенную функциональность импорта документов старого формата Yuriy Shekochihin Actions
839 Linux Driver Verification Bug New Normal Processing of build type check expressions Vadim Mutilin Actions
833 Linux Driver Verification Bug Open Normal CSD - Bind address error Alexandr Strakh Ilja Zakharov Actions
823 Linux Driver Verification Bug New Normal Fail reported in BCE instead of DEG Vadim Mutilin Ilja Zakharov Actions
822 UniTESK Reports Bug New Normal Отчет не генерируется по трассе Eugene Gerlits Alexey Demakov UniTESK Reports - 2.7 Actions
819 Linux Driver Verification Bug Open Low Warning during uploading task in LDV-online Alexandr Strakh Evgeny Novikov Actions
817 Linux Driver Verification Feature New Normal Smart management of node capabilities Alexey Khoroshilov Pavel Shved Actions
798 Linux Driver Verification Bug Open Normal Cut off trace Vadim Mutilin Evgeny Novikov Actions
785 Linux Driver Verification Bug New Normal Develop model 32_8 that takes into account mutex_lock_nested, etc. Alexey Khoroshilov Actions
782 Linux Driver Verification Bug New Normal linux-2.6.37.y isn't compiled: problem of ldv-git or kernel core? Evgeny Novikov Pavel Shved Actions
778 CTESK Bug New Normal Проблемы документации Андрей Максимов Actions
768 Requality User Story New Normal Возможность создавать проект в произвольном каталоге Alexey Demakov Actions
762 Requality User Story Open High Концепция тестирования Alexey Khoroshilov Actions
754 Linux Driver Verification Bug Open Normal Rerouting does not work for static functions Vadim Mutilin Evgeny Novikov Actions
702 Linux Driver Verification Bug Open Normal Watcher processes are too heavy for full-kernel check Pavel Shved Pavel Shved Actions
699 Linux Driver Verification Feature Open Normal Error trace view is too lonely, add some connections to it! Pavel Shved Evgeny Novikov Actions
695 Local Support Project Task New Normal Перевести строки для redmine_backlogs plugin Alexey Demakov Actions
694 Local Support Project Task New Normal Перевести строки для redmine_hudson plugin Alexey Demakov Actions
676 Requality Feature New Normal Работа на 64-битных Windows системах Yuriy Shekochihin Alexey Demakov Actions
665 Linux Driver Verification Feature Open Low Decrease a size of test driver archives Evgeny Novikov Actions
651 JavaTESK Bug New Normal Ошибка при наследовании от медиаторов Anastasia Tugaenko Actions
617 Linux Driver Verification Bug Feedback Low open should be called before close in struct cpia_camera_ops Vadim Mutilin Vadim Mutilin Actions
601 Linux Driver Verification Feature New Normal Add special 'qa' profile into stats server Evgeny Novikov Actions
591 Linux Driver Verification Feature New Normal Users should be abble to supply their own config in LDV-Git Pavel Shved Pavel Shved Actions
584 Linux Driver Verification Bug Open Normal Stats server doesn't show failed launches correctly Evgeny Novikov Evgeny Novikov Actions
569 Linux Driver Verification Bug Open Normal Stats server spends too much time for massive comparison Evgeny Novikov Evgeny Novikov Actions
562 Linux Driver Verification Feature Open Normal Stats server has to provide us with problems comparison Evgeny Novikov Evgeny Novikov Actions
554 Linux Driver Verification Bug New Normal CIL errors Vadim Mutilin Actions
553 Linux Driver Verification Bug New Normal envgen generates incorrect return type for jedec_probe Vadim Mutilin Actions
549 Linux Driver Verification Feature Open Normal We want to know the kernel version during processing Evgeny Novikov Evgeny Novikov Actions
548 Linux Driver Verification Bug New Normal Information about problematic launches can't make its way to results database Alexey Khoroshilov Actions
535 CTESK Bug New Normal Не регистрируется ошибка SERIALIZATION_FAILED. Андрей Максимов Alexey Demakov CTESK - 2.9 Actions
533 Linux Driver Verification Bug Open Normal Stats server isn't validated with W3C validator Evgeny Novikov Evgeny Novikov Actions
525 JavaTESK Task Resolved Normal Проверить компилируемость файла Alexey Demakov Alexey Demakov Actions
522 Linux Driver Verification Bug New Normal Drv-env-gen - generated Incorrect functions sequence. Alexandr Strakh Ilja Zakharov Actions
517 CTESK Bug New Normal Недетерминированный обходчик ndfsm игнорирует режим работы UNTIL_END. Андрей Максимов Alexey Demakov CTESK - 2.9 Actions
507 BLAST Bug New Low SMT sovler could not parse the request (Error: Undefined name) Vadim Mutilin Actions
502 CTESK Feature New Normal Определить поведение specification typedef для случая базового спецификационного типа Alexey Demakov CTESK - 2.9 Actions
501 CTESK Feature New Normal Управление памятью для локальных массивов спецификационных ссылок Alexey Demakov CTESK - 2.9 Actions
498 CTESK Task New Normal Добавить синхронизацию изменения счетчика ссылок на объект Alexey Demakov Alexey Demakov CTESK - 2.9 Actions
489 BuildBase Support New Low Более детальная документация Yuriy Shekochihin Actions
485 BLAST Bug Open Low Non-linear SMT solver queries in BLAST Vadim Mutilin Mikhail Mandrykin Actions
472 Linux Driver Verification Bug New Normal DEG: incorrect work for driver fs/ntfs/super.c Alexandr Strakh Vadim Mutilin Actions
469 CTESK Bug New Normal Cannot init memento object with path null Alexey Khoroshilov Actions
468 UniTESK Reports Bug New Normal java.lang.NullPointerException при открытии трассы от account'а Alexey Khoroshilov Alexey Demakov Actions
466 Linux Driver Verification Task Open Normal 32_7: Several errors from KB not found Vadim Mutilin Actions
432 Linux Driver Verification Bug Open Normal Error trace in LDV-online has minor problems: excessive selection and colons Pavel Shved Evgeny Novikov Actions
414 JavaTESK Bug Resolved Normal Англоязычная документация содержит русский текст Anastasia Tugaenko Alexey Demakov Actions
405 Linux Driver Verification Bug Open Normal Unsafe drivers reported as safe on kb0032 Vadim Mutilin Actions
398 Linux Driver Verification Bug New Low Warnings during mykernel-1-2.6.32.15 compilation Pavel Shved Actions
387 Veritool Task New Normal Отладочный вывод значений входов и выходов Alexander Kamkin Alexander Kamkin Actions
373 C Instrumentation Framework Feature Open High Merge matching for different entities Evgeny Novikov Evgeny Novikov Actions
371 C Instrumentation Framework Bug Open High Fix Aspectator information output in libcpp Evgeny Novikov Evgeny Novikov Actions
370 C Instrumentation Framework Feature Open Low Add primitive pointcut declaration kind in conversion from internal type representation to the declaration one Evgeny Novikov Evgeny Novikov Actions
364 C Instrumentation Framework Feature Open Low Think on negatives joinpoint semantic Evgeny Novikov Evgeny Novikov Actions
363 C Instrumentation Framework Feature Open High Macro and macro arguments references Evgeny Novikov Evgeny Novikov Actions
360 C Instrumentation Framework Feature Open High Add new body patterns Evgeny Novikov Evgeny Novikov Actions
359 C Instrumentation Framework Feature Open Low Think whether treat typedefs on structures as structures themselves Evgeny Novikov Evgeny Novikov Actions
358 C Instrumentation Framework Feature Open High Add multiple advices processing like for 'file' primitive pointcut Evgeny Novikov Evgeny Novikov Actions
357 C Instrumentation Framework Feature Open High Add function pointer dereferencing primitive pointcut Evgeny Novikov Evgeny Novikov Actions
354 C Instrumentation Framework Feature Open Low Parameters attributes Evgeny Novikov Evgeny Novikov Actions
345 C Instrumentation Framework Feature Open High Fix implementation of '..' wildcard Evgeny Novikov Evgeny Novikov Actions
336 BLAST Bug Open Normal Interpolants where real numbers are used are ignored by BLAST Pavel Shved Pavel Shved Actions
333 BLAST Feature New Low Restrict abstraction to the actual values used Pavel Shved Pavel Shved Actions
332 BLAST Bug Open Normal Alias analyzer doesn't alias int with volatile int! Pavel Shved Pavel Shved Actions
331 BLAST Bug Open Normal Globals without an explicit initializer are not initialized as zeros! Pavel Shved Pavel Shved Actions
329 BLAST Bug Open Low Blast fails on very simple programs Pavel Shved Pavel Shved Actions
328 BLAST Bug Open Low Short logic when calling functions in conditions should be implemented correctly Pavel Shved Actions
327 BLAST Feature Open Normal Reasoning about pointer inequalities is necessary for analysis Pavel Shved Actions
300 CTESK Bug New Normal Атомарность работы со ссылками Sergey Groshev CTESK - 2.9 Actions
292 Aspectrace Task New Normal Генератор отчетов для аспекта FSM Alexander Kamkin Sergey Groshev Actions
290 Aspectrace Task New Normal Аспект FSM: трассировка переходов Alexander Kamkin Alexey Demakov Actions
289 Aspectrace Task New Normal Кодировка по умолчанию Alexander Kamkin Sergey Groshev Actions
279 CTESK Task New Normal Библиотека рандомизации Alexander Kamkin Alexey Demakov Actions
250 тест2 Bug Resolved Normal Bug in non-importanto component, test2 Pavel Shved Actions
240 UniTESK Reports Bug Resolved Normal Угловые скобки при выводе состояния Alexey Demakov Alexey Demakov UniTESK Reports - 2.7 Actions
228 JavaTESK Bug New Normal Плагин JavaTESK не работает вместе с плагином CTESK Eugene Kornykhin Yuriy Shekochihin JavaTESK - 2.3.176-alpha-100115 Actions
199 JavaTESK Bug Resolved Normal Checker: Неправильный тип элемента массива в циклах Eugene Kornykhin Eugene Kornykhin JavaTESK - 2.3.176-alpha-100115 Actions
195 JavaTESK Bug Resolved Normal Checker: не проходит проверка соответствия класса и raw-параметризованного типа Eugene Kornykhin Eugene Kornykhin JavaTESK - 2.3.176-alpha-100115 Actions
192 JavaTESK Bug Resolved Normal Checker: неправильный возвращаемый тип метода getClass Eugene Kornykhin Eugene Kornykhin Actions
74 CTESK Feature New Normal Определение пост-покрытий Alexey Demakov CTESK - 2.9 Actions
57 Common Language ToolKit Task Resolved Normal Fix license information Alexey Demakov Actions
12 UniTestNG Task New Low specifiy excluded dirs/files using property, not directly in Java files Alexey Demakov UniTestNG - 1.2 Actions
11 CTESK Task New Low Update CLTK dependencies Alexey Demakov Yuriy Shekochihin Actions
(1501-1960/1960) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF