Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
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
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
2606 Linux Kernel Safety RuleDB Feature Open Normal 119: probe functions should not return -EINTR Alexey Khoroshilov Vladimir Gratinskiy Actions
3340 Linux Kernel Safety RuleDB Feature Open Normal 142: Usage of mod_timer() Vladimir Gratinskiy Vladimir Gratinskiy Actions
3399 Linux Kernel Safety RuleDB Feature Open Normal 143: Usage of semaphores Vladimir Gratinskiy Vladimir Gratinskiy Actions
3831 Linux Kernel Safety RuleDB Feature Open Normal 146: Mixing operations of RCU nested read sections of different types Vadim Mutilin Vladimir Gratinskiy Actions
3865 Linux Kernel Safety RuleDB Feature Open Normal 148: completion must be initialized before every use Vladimir Gratinskiy Vladimir Gratinskiy Actions
3866 Linux Kernel Safety RuleDB Feature New Normal 149: double use of init_completion() Vladimir Gratinskiy Vladimir Gratinskiy Actions
8338 Klever Feature Resolved Urgent Add ability to specify similarity threshold Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
8102 Klever Feature New High Add an ability to specify or/and to change compared verification jobs order Evgeny Novikov Vladimir Gratinskiy Actions
8017 Klever Feature New Normal Add an option for users to see tag sets rather than tag maps Evgeny Novikov Vladimir Gratinskiy Actions
6708 Klever Feature New Normal Add howto for regular expressions used as patterns and problems for unknowns Evgeny Novikov Vladimir Gratinskiy Actions
8562 Klever Feature New High Add search for marks Anton Vasilyev Vladimir Gratinskiy Actions
8143 Klever Feature New High Add support for logging reports Evgeny Novikov Vladimir Gratinskiy Actions
8339 Klever Feature New High Add user setting to select default error trace convertion function, comparison criterion and similarity threshold Evgeny Novikov Vladimir Gratinskiy Actions
6678 Klever Feature New Normal Alert when leaving edit pages with changes Evgeny Novikov Vladimir Gratinskiy Actions
9396 Klever Feature Feedback High Allow creating tags with the same names at different branches Ilja Zakharov Vladimir Gratinskiy Actions
9052 Klever Feature Resolved High Allow mark status just for verdict "bug" Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
8130 Klever Feature New Normal Allow to additionally highlight actions with the same entities and allow to hide their highlights at all Evgeny Novikov Vladimir Gratinskiy Actions
9034 Klever Feature Resolved High Allow to clear comparison cache Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
8888 Klever Feature Resolved High Allow to edit last job decision configuration Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
8732 Klever Feature New High Allow to edit verification job meta information during their solution Evgeny Novikov Vladimir Gratinskiy Actions
8989 Klever Feature Resolved High Allow to populate just jobs/marks/tags Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
8530 Klever Feature New High Allow to see specified number of associated leaf reports Evgeny Novikov Vladimir Gratinskiy Actions
8629 Klever Feature New High Allow to upload multiple files at once Evgeny Novikov Vladimir Gratinskiy Actions
(1-25/124) Per page: 25, 50, 100

Also available in: Atom CSV PDF