Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
5354 Linux Kernel Safety RuleDB Feature New Normal 200: DMA maps for SCSI commands Pavel Andrianov Actions
5362 Linux Kernel Safety RuleDB Feature New Normal 201: All allocated cache memory should be freed Pavel Andrianov Actions
5365 Linux Kernel Safety RuleDB Feature New Normal 202: All allocated memory from DMA pool should be freed Pavel Andrianov Actions
5357 Linux Kernel Safety RuleDB Feature New Normal 203: All allocated IO-memory should be freed Pavel Andrianov Actions
5364 Linux Kernel Safety RuleDB Feature New Normal 204: DMA maps for PCI devices Pavel Andrianov Actions
5355 Linux Kernel Safety RuleDB Feature New Normal 205: All allocated socket buffers should be freed Pavel Andrianov Actions
5363 Linux Kernel Safety RuleDB Feature New Normal 206: all created kernel threads should be stopped Pavel Andrianov Actions
5356 Linux Kernel Safety RuleDB Feature New Normal 207: IRQ registration and deregistration Pavel Andrianov Actions
7190 Klever Feature Rejected Normal Add a case for nondet return in the main loop Pavel Andrianov Ilja Zakharov Actions
9221 Klever Feature Open High Add a rule for svcomp tasks generation Pavel Andrianov Pavel Andrianov Actions
7258 Klever Bug Rejected High BCE fails while building Linux kernel v. 4.5 Pavel Andrianov Evgeny Novikov Actions
7289 Klever Bug Rejected Normal Bridge incorrectly changes associated tags Pavel Andrianov Actions
7302 Klever Bug Closed Immediate Bridge spends a lot of time for uploading a result of verification task Pavel Andrianov Vladimir Gratinskiy Actions
8334 Klever Feature Closed High Clear log message in case of uploading marks Pavel Andrianov Vladimir Gratinskiy Actions
8051 Klever Bug Closed Urgent Editing of marks is unavailable after an error Pavel Andrianov Vladimir Gratinskiy Actions
7278 Klever Bug Closed Urgent EMG deactivates all automatons at the same time Pavel Andrianov Ilja Zakharov Actions
7260 Klever Bug Closed Normal EMG does not generate a call for a handler Pavel Andrianov Ilja Zakharov Actions
10504 Klever Bug New Urgent EMG does not initialize device variable Pavel Andrianov Ilja Zakharov Klever - 3.0 Actions
7425 Klever Bug Closed Normal EMG generates incorrect C code for parallel model Pavel Andrianov Ilja Zakharov Actions
7619 Klever Bug New Normal EMG generates incorrect parallel model for sending signals case Pavel Andrianov Ilja Zakharov Actions
7899 Klever Bug Rejected Normal EMG generates multiple goto statements Pavel Andrianov Actions
7199 Klever Bug Closed Normal EMG generates release() after all callbacks Pavel Andrianov Ilja Zakharov Actions
7262 Klever Bug Closed Normal EMG generates unused variables Pavel Andrianov Ilja Zakharov Actions
7277 Klever Bug Closed Normal EMG generates useless code Pavel Andrianov Ilja Zakharov Actions
7523 Klever Bug New Normal EMG mixes calls of handlers from different structures Pavel Andrianov Ilja Zakharov Actions
(1-25/72) Per page: 25, 50, 100

Also available in: Atom CSV PDF