Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
9393 Klever Bug New Urgent Problem with memleak visualization on absent return from void function Anton Vasilyev Ilja Zakharov Klever - 3.0
9378 Klever Bug Closed Urgent Wrong assume for ERR_PTR and PTR_ERR Anton Vasilyev Anton Vasilyev Klever - 3.0
9137 Klever Feature Closed Urgent Specifications for linux v4.15 Anton Vasilyev Anton Vasilyev Klever - 2.0
9130 Klever Bug Closed Urgent Problems with building Linux 4.18 Anton Vasilyev Anton Vasilyev Klever - 1.1
9082 Klever Bug Closed Immediate Remove tag does not work Anton Vasilyev Vladimir Gratinskiy Klever - 1.1
8986 Klever Bug Closed Normal Imprecise framebuffer_alloc initialization Anton Vasilyev Anton Vasilyev
8985 Klever Bug Closed Urgent Imprecise framebuffer_alloc initialization Anton Vasilyev Anton Vasilyev Klever - 1.1
8632 Klever Bug Closed Urgent Upload job archive is restricted while another job is running Anton Vasilyev Vladimir Gratinskiy Klever - 1.0
8562 Klever Feature New High Add search for marks Anton Vasilyev Vladimir Gratinskiy
8302 Klever Bug Closed High Collapse reports of Cancelled job loses number of tasks Anton Vasilyev Vladimir Gratinskiy
8292 Klever Feature Closed Immediate Modify permissions for tags Anton Vasilyev Vladimir Gratinskiy
8275 Klever Bug Rejected Immediate Broken mark associations aren't properly shown Anton Vasilyev
8259 C Instrumentation Framework Bug Closed Urgent CIF fails on paravirt_write_msr Anton Vasilyev Evgeny Novikov
8258 Klever Bug Closed Urgent LKVOG crash on module 'drivers/misc/lkdtm.ko' Anton Vasilyev Alexey Polushkin
8009 Klever Feature New High Model for module_param() Anton Vasilyev Ilja Zakharov
7995 Klever Feature Closed High Add model of get_sb_bdev() function for memory allocation Anton Vasilyev Ilja Zakharov
7984 Klever Bug Closed Immediate Visualization shoudn't hide 'note' from analysis Anton Vasilyev Vladimir Gratinskiy
7983 Klever Bug Closed Immediate VTG/ET shouldn't try to remove warning edges with tmp variables Anton Vasilyev Evgeny Novikov
7976 Klever Bug Closed High Wrong callbacks' order for usb_serial_driver model Anton Vasilyev Ilja Zakharov
7956 Klever Feature Closed Normal Specification on i2c_register_driver Anton Vasilyev Ilja Zakharov
7955 Klever Feature Closed Urgent Specification on register_chrdev Anton Vasilyev Ilja Zakharov
7953 Klever Bug Closed Immediate Problem with mark creation Anton Vasilyev Vladimir Gratinskiy
7938 Klever Bug Closed Immediate VTG/ET failed remove return edge before violation node on parse SMG witness Anton Vasilyev Evgeny Novikov
7927 Klever Bug Rejected Normal VTG/ET throws exception on parse SMG witness Anton Vasilyev
7925 Klever Feature Closed Immediate Include callstacks into call forests in case when non-entering function edges have notes and warnings Anton Vasilyev Vladimir Gratinskiy
(1-25/36) Per page: 25, 50

Also available in: Atom CSV PDF