Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
7912 Klever Feature Closed Urgent Use "Python 3" in PyCharm settings instead of "Python 3.4" for python interpreter Vladimir Gratinskiy Evgeny Novikov Actions
6040 Linux Driver Verification Feature Closed Normal Building ARM-aspectator Vladimir Gratinskiy Evgeny Novikov Actions
3344 Linux Driver Verification Bug Open Normal Apostrophe in comments Vladimir Gratinskiy Evgeny Novikov Actions
3323 C Instrumentation Framework Bug Closed Normal Internal compiler error in Aspectator Vladimir Gratinskiy Fedor Kozlov Actions
3608 Linux Kernel Safety RuleDB Feature Open Normal 145: Usage of clock functions Vladimir Gratinskiy Vadim Mutilin Actions
3205 Linux Driver Verification Bug New Normal Driver that cannot be built is "verified" by ldv-tools Vladimir Gratinskiy Vadim Mutilin Actions
4536 Linux Kernel Safety RuleDB Feature Rejected Normal Commit tester Vladimir Gratinskiy Vladimir Gratinskiy Actions
3866 Linux Kernel Safety RuleDB Feature New Normal 149: double use of init_completion() Vladimir Gratinskiy Vladimir Gratinskiy Actions
3865 Linux Kernel Safety RuleDB Feature Open Normal 148: completion must be initialized before every use Vladimir Gratinskiy Vladimir Gratinskiy Actions
3399 Linux Kernel Safety RuleDB Feature Open Normal 143: Usage of semaphores Vladimir Gratinskiy Vladimir Gratinskiy Actions
3340 Linux Kernel Safety RuleDB Feature Open Normal 142: Usage of mod_timer() Vladimir Gratinskiy Vladimir Gratinskiy 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
3349 Linux Driver Verification Bug Open Low There is no initialization of ldv_mutex_TEMPLATE Vladimir Gratinskiy Actions
    (1-13/13)

    Also available in: Atom CSV PDF