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 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
9082 Klever Bug Closed Immediate Remove tag does not work Anton Vasilyev Vladimir Gratinskiy 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
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
8275 Klever Bug Rejected Immediate Broken mark associations aren't properly shown Anton Vasilyev Actions
8259 C Instrumentation Framework Bug Closed Urgent CIF fails on paravirt_write_msr Anton Vasilyev Evgeny Novikov Actions
8258 Klever Bug Closed Urgent LKVOG crash on module 'drivers/misc/lkdtm.ko' Anton Vasilyev Alexey Polushkin 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
7984 Klever Bug Closed Immediate Visualization shoudn't hide 'note' from analysis Anton Vasilyev Vladimir Gratinskiy Actions
7983 Klever Bug Closed Immediate VTG/ET shouldn't try to remove warning edges with tmp variables Anton Vasilyev Evgeny Novikov 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
7953 Klever Bug Closed Immediate Problem with mark creation Anton Vasilyev Vladimir Gratinskiy Actions
7938 Klever Bug Closed Immediate VTG/ET failed remove return edge before violation node on parse SMG witness Anton Vasilyev Evgeny Novikov Actions
7927 Klever Bug Rejected Normal VTG/ET throws exception on parse SMG witness Anton Vasilyev Actions
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 Actions
(1-25/36) Per page: 25, 50

Also available in: Atom CSV PDF