Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8092 Klever Feature New High Support lightweight verificaiton for rules checking API usage Evgeny Novikov Actions
8089 Klever Bug New High Canceling of tasks doesn't work with VerifierCloud Evgeny Novikov Actions
8088 Klever Bug New High Merge configurations properly Evgeny Novikov Ilja Zakharov Actions
8082 Klever Feature New High Forbid unknown verdicts and empty tags for false positives Evgeny Novikov Vladimir Gratinskiy Actions
8081 Klever Feature New High Report interfaces for which environment models were not generated Evgeny Novikov Ilja Zakharov Actions
8076 Klever Bug New Normal Improve model for ieee80211_alloc_hw Ilja Zakharov Ilja Zakharov Actions
8075 Klever Bug New Normal Improve file_operations specification Ilja Zakharov Ilja Zakharov Actions
8074 Klever Bug New Normal Improve model for alloc_netdev Ilja Zakharov Ilja Zakharov Actions
8073 Klever Bug New High Improve usb_serial_driver specification Ilja Zakharov Ilja Zakharov Actions
8072 Klever Feature New High Environment model should correctly use device identifiers Ilja Zakharov Ilja Zakharov Actions
8071 Klever Bug New High Develop specification for platform_driver_register Ilja Zakharov Ilja Zakharov Actions
8070 Klever Bug New High Develop model for usb_class_driver Ilja Zakharov Ilja Zakharov Actions
8069 Klever Bug New High Improve specification for i2c_driver Ilja Zakharov Ilja Zakharov Actions
8060 MicroTESK Bug New Normal Attributes image and syntax and static instances Andrei Tatarnikov Artem Kotsynyak MicroTESK - 2.6 Actions
8059 Requality Bug New Normal Не сохраняется изменение типа сортировки узлов проекта Viktoria Kopach Actions
8058 Requality Bug New Normal Не сразу случается undo имени папки Viktoria Kopach Actions
8057 Requality Feature New Normal У папок отображается name или id? Viktoria Kopach Actions
8052 Klever Bug New Normal Missed return value of usb_serial_driver->open Pavel Andrianov Ilja Zakharov Actions
8049 Klever Bug New High Take into account that directories with external modules can be specified via absolute paths Evgeny Novikov Actions
8045 Klever Bug New High EMG should invoke post_probe() when probe callback is not called Evgeny Novikov Ilja Zakharov Actions
8032 Klever Feature New Normal New version of EMG does not call callbacks from arrays of structures Ilja Zakharov Ilja Zakharov Actions
8031 Deductive Verification Tools for Linux Kernel Bug New Normal Why3IDE не запускается из-за неверной темы Eugene Kornykhin Actions
8027 Requality Feature New Normal В Requality Explorer нужно меню для переименования папок отчетов Viktoria Kopach Actions
8026 Requality Bug New Normal У папок отчетов есть Properties view, соответствующее требованию Viktoria Kopach Actions
8025 Requality Bug New Normal Ошибка при запуске генерации отчета из командной строки - NoClassDefFoundError Viktoria Kopach Actions
8024 Requality Bug New Normal Генерируется с ошибкой отчет Test Purposes Coverage при наличии тестовых ситуаций Viktoria Kopach Actions
8019 Requality Bug New Normal Фрагменты становятся orphan при переименовании папки документов Viktoria Kopach Actions
8017 Klever Feature New Normal Add an option for users to see tag sets rather than tag maps Evgeny Novikov Vladimir Gratinskiy Actions
8012 Klever Bug New High Fix tty_driver allocation/deallocation kernel model Alexey Khoroshilov Actions
8009 Klever Feature New High Model for module_param() Anton Vasilyev Ilja Zakharov Actions
8004 Klever Bug New High Extension of linux:arch:io rule specification Alexey Khoroshilov Evgeny Novikov Actions
7988 Klever Feature New Normal Automatic editing of mark patterns Ilja Zakharov Vladimir Gratinskiy Actions
7986 Klever Bug New Normal Support "initialization" via OF_DECLARE Alexey Khoroshilov Actions
7981 1-Click Eclipse Text Editor Feature New Normal Игнорировать код и returns в грамматике Denis Buzdalov Actions
7980 1-Click Eclipse Text Editor Bug New Normal Если в грамматике есть alias, meragrammar генерируется неправильно Denis Buzdalov Actions
7979 Klever Feature New High Implement a EMG translator for simplified environment model with signal exchange Ilja Zakharov Ilja Zakharov Actions
7975 Klever Bug New High For experts incorrect accesses are shown at the jobs tree page Evgeny Novikov Vladimir Gratinskiy Actions
7964 Klever Feature New High Do not cause memory issues detection in generated environment models Evgeny Novikov Ilja Zakharov Actions
7959 Requality Bug New Normal В списке типов List есть ENUM_DEFINITION Denis Kildishev Actions
7958 Linux Kernel Safety RuleDB Task New Normal Never directly free @dev after calling device_add function Vadim Mutilin Actions
7951 Requality Bug New Normal Виртуальный узел в Requality Explorer помечается значком v как клон Viktoria Kopach Actions
7948 Klever Bug New High linux:alloc: misleading comment Vadim Mutilin Actions
7946 Klever Bug New High linux:kernel:sched:completion: Misleading comment Vadim Mutilin Actions
7945 Requality Bug New Normal Некорректное копирование клонов Viktoria Kopach Actions
7944 Requality Bug New Normal Некорректное перетаскивание клонов Viktoria Kopach Actions
7943 Klever Bug New High linux:usb:urb allocated memory with kzalloc Vadim Mutilin Actions
7942 Klever Feature New High Use models of atomic_dec_and_test and atomic_set for all rule specifications Vadim Mutilin Actions
7941 Requality Bug New Normal Некорректная работа при совпадающих идентификаторах при наличии скрытых виртуальных узлов Viktoria Kopach Actions
7940 Klever Bug New High linux:drivers:base:class should support several allocations of different chrdev Vadim Mutilin Actions
7937 Klever Feature New High Develop and use models for get_device/device_add/put_device for all rule specifications Vadim Mutilin Actions
(1101-1150/2055) Per page: 50, 100, 250, 500

Also available in: Atom CSV PDF