Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
3242 Linux Kernel Safety RuleDB Feature New Normal 120: rcu_dereference invocation under rcu_read_lock Denis Efremov Denis Efremov 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
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
3322 Linux Kernel Safety RuleDB Feature New Normal 137: Don't mark EXPORT_SYMBOL functions as __init Denis Efremov Denis Efremov 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
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
3228 Linux Kernel Safety RuleDB Feature New Normal 126: don't inline EXPORT_SYMBOL\(_GPL\(_FUTURE\)\?\)\? functions Denis Efremov Denis Efremov Actions
3035 Linux Kernel Safety RuleDB Feature Open Normal 116: Proper usage of spin_lock_irq* in process context Denis Efremov Denis Efremov Actions
7818 Verification Tool Supports Bug New Low graph: web: vis.js и viz.js Denis Efremov Denis Efremov Actions
7817 Verification Tool Supports Feature New Low dismember: рефакторинг кода Denis Efremov Denis Efremov Actions
    (1-10/10)

    Also available in: Atom CSV PDF