Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
8258 Klever Bug Closed Urgent LKVOG crash on module 'drivers/misc/lkdtm.ko' Anton Vasilyev Alexey Polushkin Actions
6881 Klever Feature Closed High Example of multi-module dependency within one directory Anton Vasilyev Alexey Polushkin Actions
9378 Klever Bug Closed Urgent Wrong assume for ERR_PTR and PTR_ERR Anton Vasilyev Anton Vasilyev Klever - 3.0 Actions
9137 Klever Feature Closed Urgent Specifications for linux v4.15 Anton Vasilyev Anton Vasilyev Klever - 2.0 Actions
9130 Klever Bug Closed Urgent Problems with building Linux 4.18 Anton Vasilyev Anton Vasilyev Klever - 1.1 Actions
8986 Klever Bug Closed Normal Imprecise framebuffer_alloc initialization Anton Vasilyev Anton Vasilyev Actions
8985 Klever Bug Closed Urgent Imprecise framebuffer_alloc initialization Anton Vasilyev Anton Vasilyev Klever - 1.1 Actions
8259 C Instrumentation Framework Bug Closed Urgent CIF fails on paravirt_write_msr Anton Vasilyev Evgeny Novikov Actions
7983 Klever Bug Closed Immediate VTG/ET shouldn't try to remove warning edges with tmp variables Anton Vasilyev Evgeny Novikov Actions
7938 Klever Bug Closed Immediate VTG/ET failed remove return edge before violation node on parse SMG witness Anton Vasilyev Evgeny Novikov Actions
7673 C Instrumentation Framework Bug Closed Normal Wrong transformation with type conversion Anton Vasilyev Evgeny Novikov Actions
8009 Klever Feature New High Model for module_param() Anton Vasilyev Ilja Zakharov Actions
7995 Klever Feature Closed High Add model of get_sb_bdev() function for memory allocation Anton Vasilyev Ilja Zakharov Actions
7976 Klever Bug Closed High Wrong callbacks' order for usb_serial_driver model Anton Vasilyev Ilja Zakharov Actions
7956 Klever Feature Closed Normal Specification on i2c_register_driver Anton Vasilyev Ilja Zakharov Actions
7955 Klever Feature Closed Urgent Specification on register_chrdev Anton Vasilyev Ilja Zakharov Actions
7831 Klever Bug Closed Immediate Generator produce code with memleak Anton Vasilyev Ilja Zakharov Actions
7364 Klever Bug New High Separate specifications for driver 'drivers/hid/hid-logitech-dj.ko' Anton Vasilyev Ilja Zakharov Actions
7297 Klever Feature Closed Urgent Missed allocation for global pointers Anton Vasilyev Ilja Zakharov Actions
9082 Klever Bug Closed Immediate Remove tag does not work Anton Vasilyev Vladimir Gratinskiy Klever - 1.1 Actions
8632 Klever Bug Closed Urgent Upload job archive is restricted while another job is running Anton Vasilyev Vladimir Gratinskiy Klever - 1.0 Actions
8562 Klever Feature New High Add search for marks Anton Vasilyev Vladimir Gratinskiy Actions
8302 Klever Bug Closed High Collapse reports of Cancelled job loses number of tasks Anton Vasilyev Vladimir Gratinskiy Actions
8292 Klever Feature Closed Immediate Modify permissions for tags Anton Vasilyev Vladimir Gratinskiy Actions
7984 Klever Bug Closed Immediate Visualization shoudn't hide 'note' from analysis Anton Vasilyev Vladimir Gratinskiy Actions
(1-25/36) Per page: 25, 50

Also available in: Atom CSV PDF