Project

General

Profile

Issues

Filters

Apply Clear

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

Also available in: Atom CSV PDF