Project

General

Profile

Issues

Filters

Apply Clear

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

Also available in: Atom CSV PDF