Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9548 VerKer - Verification of Linux Kernel Library Functions Bug New Normal Добавить loop assigns во все примеры Denis Efremov Denis Efremov
9547 VerKer - Verification of Linux Kernel Library Functions Bug New Normal Сломались тесты Denis Efremov Denis Efremov
9528 Deductive Verification Tools for Linux Kernel Bug New Normal Why3: Sprove: позволять указывать стратегии аргументом командной строки Denis Efremov Denis Efremov
9527 Deductive Verification Tools for Linux Kernel Bug New Normal Why3: Sprove: улучшить вывод информации о запуске стратегий Denis Efremov Denis Efremov
3242 Linux Kernel Safety RuleDB Feature New Normal 120: rcu_dereference invocation under rcu_read_lock Denis Efremov Denis Efremov
2785 Linux Kernel Safety RuleDB Feature New Normal 113: Do not allow enabling interrupts while in an interrupt handler Alexey Khoroshilov Denis Efremov
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
3322 Linux Kernel Safety RuleDB Feature New Normal 137: Don't mark EXPORT_SYMBOL functions as __init Denis Efremov Denis Efremov
3247 Linux Kernel Safety RuleDB Feature New Normal 128: EXPORT* macro should follow immediately after the closing function brace line Denis Efremov Denis Efremov
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
3228 Linux Kernel Safety RuleDB Feature New Normal 126: don't inline EXPORT_SYMBOL\(_GPL\(_FUTURE\)\?\)\? functions Denis Efremov Denis Efremov
3035 Linux Kernel Safety RuleDB Feature Open Normal 116: Proper usage of spin_lock_irq* in process context Denis Efremov Denis Efremov
7818 Verification Tool Supports Bug New Low graph: web: vis.js и viz.js Denis Efremov Denis Efremov
7817 Verification Tool Supports Feature New Low dismember: рефакторинг кода Denis Efremov Denis Efremov
    (1-14/14)

    Also available in: Atom CSV PDF