Project

General

Profile

Issues

Filters

Apply Clear

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

Also available in: Atom CSV PDF