Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
6881 Klever Feature Closed High Example of multi-module dependency within one directory Anton Vasilyev Alexey Polushkin Actions
7292 Klever Feature Closed High 2 different buttons "Save" on Settings page Anton Vasilyev Vladimir Gratinskiy Actions
7297 Klever Feature Closed Urgent Missed allocation for global pointers 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
7669 Klever Bug Rejected Normal Scheduler is waiting forever for already done task Anton Vasilyev Actions
7673 C Instrumentation Framework Bug Closed Normal Wrong transformation with type conversion Anton Vasilyev Evgeny Novikov Actions
7744 Klever Bug Closed High Race between "job Start" and "show all jobs" Anton Vasilyev Vladimir Gratinskiy Actions
7758 Klever Feature Closed High Add ability to download and upload Cancelled jobs Anton Vasilyev Vladimir Gratinskiy Actions
7802 Klever Bug Closed Urgent Bridge throws exception on uploading unknown report Anton Vasilyev Vladimir Gratinskiy Actions
7831 Klever Bug Closed Immediate Generator produce code with memleak Anton Vasilyev Ilja Zakharov Actions
7833 C Instrumentation Framework Bug Rejected Normal Wrong array address transformation 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
7927 Klever Bug Rejected Normal VTG/ET throws exception on parse SMG witness Anton Vasilyev Actions
7938 Klever Bug Closed Immediate VTG/ET failed remove return edge before violation node on parse SMG witness Anton Vasilyev Evgeny Novikov Actions
7953 Klever Bug Closed Immediate Problem with mark creation Anton Vasilyev Vladimir Gratinskiy Actions
7955 Klever Feature Closed Urgent Specification on register_chrdev Anton Vasilyev Ilja Zakharov Actions
7956 Klever Feature Closed Normal Specification on i2c_register_driver Anton Vasilyev Ilja Zakharov Actions
7976 Klever Bug Closed High Wrong callbacks' order for usb_serial_driver model Anton Vasilyev Ilja Zakharov Actions
7983 Klever Bug Closed Immediate VTG/ET shouldn't try to remove warning edges with tmp variables Anton Vasilyev Evgeny Novikov Actions
7984 Klever Bug Closed Immediate Visualization shoudn't hide 'note' from analysis Anton Vasilyev Vladimir Gratinskiy Actions
7995 Klever Feature Closed High Add model of get_sb_bdev() function for memory allocation Anton Vasilyev Ilja Zakharov Actions
8009 Klever Feature New High Model for module_param() Anton Vasilyev Ilja Zakharov Actions
8258 Klever Bug Closed Urgent LKVOG crash on module 'drivers/misc/lkdtm.ko' Anton Vasilyev Alexey Polushkin Actions
8259 C Instrumentation Framework Bug Closed Urgent CIF fails on paravirt_write_msr Anton Vasilyev Evgeny Novikov Actions
8275 Klever Bug Rejected Immediate Broken mark associations aren't properly shown Anton Vasilyev Actions
(1-25/36) Per page: 25, 50

Also available in: Atom CSV PDF