Project

General

Profile

Issues

Filters

Apply Clear

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

Also available in: Atom CSV PDF