Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10496 Klever Feature Resolved Urgent Speed up loading of source files and related data Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10460 Klever Feature Resolved Urgent Get rid of unclear parentheses when representing Safes, Unsafes and Unknowns Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 Actions
10493 Klever Feature Resolved Urgent Clean up directories when deploying new instances of Bridge Evgeny Novikov Vladimir Gratinskiy Klever - 3.0 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
9396 Klever Feature Feedback High Allow creating tags with the same names at different branches Ilja Zakharov Vladimir Gratinskiy Actions
7884 Klever Bug Open Normal Empty page is shown when redirecting to jobs/create/ after signing in Evgeny Novikov Vladimir Gratinskiy Actions
8530 Klever Feature Open High Show the number of associated leaf reports everywhere where it has sense Evgeny Novikov Vladimir Gratinskiy Actions
3865 Linux Kernel Safety RuleDB Feature Open Normal 148: completion must be initialized before every use 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
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
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
8440 Klever Bug New High Error traces comparison function remove does not trigger cache updates Evgeny Novikov Vladimir Gratinskiy Actions
8345 Klever Bug New High Incorrect error message when canceling job decisions after page updates are switched off Evgeny Novikov Vladimir Gratinskiy Actions
8965 Klever Bug New High Get unknown error when openning page after droping database Evgeny Novikov Vladimir Gratinskiy Actions
8172 Klever Bug New High Unsafe verdicts of multimodule verification aren't associated with marks for single module verification Alexey Polushkin Vladimir Gratinskiy Actions
7975 Klever Bug New High For experts incorrect accesses are shown at the jobs tree page Evgeny Novikov Vladimir Gratinskiy Actions
6709 Klever Bug New Normal Clearly separate errors reported to users and to tools Evgeny Novikov Vladimir Gratinskiy Actions
7784 Klever Bug New Normal Can provide negative number of CPU cores Ilja Zakharov Vladimir Gratinskiy Actions
8562 Klever Feature New High Add search for marks Anton Vasilyev Vladimir Gratinskiy Actions
8589 Klever Feature New High Reduce the number of request for getting job data Evgeny Novikov Vladimir Gratinskiy Actions
8378 Klever Feature New High Convert time shown in requests log to user specific time zone Evgeny Novikov Vladimir Gratinskiy Actions
7172 Klever Feature New High Develop tests for Bridge GUI Evgeny Novikov Vladimir Gratinskiy Actions
6677 Klever Feature New High Dynamically update component pages Evgeny Novikov Vladimir Gratinskiy Actions
(1-25/75) Per page: 25, 50, 100

Also available in: Atom CSV PDF