Project

General

Profile

Issues

Filters

Apply Clear

# Project Tracker Status Priority Subject Author Assignee Target version
10481 Klever Feature Closed Urgent Update CPALockator to support rcu analysis Pavel Andrianov Pavel Andrianov Klever - 3.0 Actions
9820 Klever Bug Closed Urgent Nondeterministic environment model Pavel Andrianov Ilja Zakharov Klever - 3.0 Actions
9285 Klever Bug Closed Urgent Problem with deployment Pavel Andrianov Evgeny Novikov Klever - 2.0 Actions
9273 Klever Feature New High New translation mode for EMG Pavel Andrianov Ilja Zakharov Actions
9272 Klever Feature New High Main generation without info-requests Pavel Andrianov Ilja Zakharov Actions
9271 Klever Feature New High Main generation with information about sharedness of parameters Pavel Andrianov Ilja Zakharov Actions
9237 Klever Bug Closed Immediate Link to unsafes on 'Job tree' page leads to page with safes Pavel Andrianov Vladimir Gratinskiy Klever - 1.1 Actions
9221 Klever Feature Open High Add a rule for svcomp tasks generation Pavel Andrianov Pavel Andrianov Actions
9201 Klever Bug Closed Immediate One more bug with incompatible marks Pavel Andrianov Vladimir Gratinskiy Klever - 1.1 Actions
9200 Klever Bug Closed Immediate Marks with zero similarity participate in 'incompatible' marks Pavel Andrianov Vladimir Gratinskiy Klever - 1.1 Actions
9199 Klever Bug Closed Immediate Pages are missed Pavel Andrianov Vladimir Gratinskiy Klever - 1.1 Actions
9068 Klever Bug Rejected Normal Error trace simplification causes an exception Pavel Andrianov Actions
9067 Klever Bug Closed Immediate Klever fails with corrupted Pavel Andrianov Evgeny Novikov Klever - 1.1 Actions
9058 Klever Bug New High Exceptions if there are problems with connection to cloud Pavel Andrianov Evgeny Novikov Actions
9056 Klever Bug Closed Immediate Exception when packages are not specified in configuration Pavel Andrianov Evgeny Novikov Klever - 1.0 Actions
9054 Klever Bug Closed Immediate Exception when ssh-key is not specified Pavel Andrianov Evgeny Novikov Klever - 1.0 Actions
8956 Klever Bug Closed Urgent Klever fails with corrupted Pavel Andrianov Evgeny Novikov Klever - 1.0 Actions
8704 Klever Feature Closed Urgent Support processing of multiple error traces per one unsafe report Pavel Andrianov Vladimir Gratinskiy Klever - 1.0 Actions
8555 Klever Bug New Normal Hide information about user access to a job for users with weak access Pavel Andrianov Actions
8553 Klever Bug Closed Urgent Jobs with no access are shown as child jobs Pavel Andrianov Vladimir Gratinskiy Klever - 1.0 Actions
8511 Klever Bug Closed Immediate Klever does not remove old jobs Pavel Andrianov Vladimir Gratinskiy Klever - 1.0 Actions
8460 Klever Bug Closed Urgent Klever stops solving tasks Pavel Andrianov Ilja Zakharov Klever - 0.2 Actions
8337 Klever Feature Closed Urgent Upload reports without job decision Pavel Andrianov Vladimir Gratinskiy Klever - 0.2 Actions
8336 Klever Feature Closed High Option to hide unconfirmed unsafes Pavel Andrianov Vladimir Gratinskiy Actions
8335 Klever Feature Closed Urgent Similarity management Pavel Andrianov Vladimir Gratinskiy Klever - 3.0 Actions
8334 Klever Feature Closed High Clear log message in case of uploading marks Pavel Andrianov Vladimir Gratinskiy Actions
8306 Klever Bug New Normal EMG registers random interrupt handler Pavel Andrianov Ilja Zakharov Actions
8266 Klever Bug New Normal EMG should consider cases when a kernel function with a model is set as handler Pavel Andrianov Ilja Zakharov Actions
8234 Klever Feature Closed Urgent Error traces comparison for races Pavel Andrianov Vladimir Gratinskiy Klever - 0.2 Actions
8052 Klever Bug New Normal Missed return value of usb_serial_driver->open Pavel Andrianov Ilja Zakharov Actions
8051 Klever Bug Closed Urgent Editing of marks is unavailable after an error Pavel Andrianov Vladimir Gratinskiy Actions
8005 Klever Bug Closed Immediate Handle exceptions in witness processing Pavel Andrianov Evgeny Novikov Actions
8003 Klever Bug Closed Urgent Exception while visualizing error trace Pavel Andrianov Evgeny Novikov Actions
7996 Klever Bug Closed Normal Scheduler fails with exception Pavel Andrianov Ilja Zakharov Actions
7993 Klever Bug Closed Immediate Some attributes are not shown Pavel Andrianov Vladimir Gratinskiy Actions
7969 Klever Bug Rejected Immediate Sources are not displayed Pavel Andrianov Actions
7968 Klever Bug Rejected Immediate Logs are not outputed for visualization errors Pavel Andrianov Actions
7950 Klever Bug Closed Immediate RSB fails with TypeError Pavel Andrianov Pavel Andrianov Actions
7910 Klever Bug Rejected Immediate Exception while vizualizing error trace Pavel Andrianov Actions
7899 Klever Bug Rejected Normal EMG generates multiple goto statements Pavel Andrianov Actions
7885 Klever Bug Closed Urgent Exception while vizualizing error trace Pavel Andrianov Anton Vasilyev Actions
7619 Klever Bug New Normal EMG generates incorrect parallel model for sending signals case Pavel Andrianov Ilja Zakharov Actions
7523 Klever Bug New Normal EMG mixes calls of handlers from different structures Pavel Andrianov Ilja Zakharov Actions
7455 Klever Bug Rejected Normal Incorrect syntax highlighting Pavel Andrianov Actions
7425 Klever Bug Closed Normal EMG generates incorrect C code for parallel model Pavel Andrianov Ilja Zakharov Actions
7342 Klever Bug Rejected Normal Option cpa.arg.errorPath.exportImmediately=true is broken with valueAnalysis Pavel Andrianov Actions
7322 Klever Bug New Normal EMG should not translate all signals to thread_join in parallel model Pavel Andrianov Ilja Zakharov Actions
7302 Klever Bug Closed Immediate Bridge spends a lot of time for uploading a result of verification task Pavel Andrianov Vladimir Gratinskiy Actions
7295 Klever Feature Closed Immediate Roll functions in the error trace by clicking a closing bracket Pavel Andrianov Vladimir Gratinskiy Actions
7289 Klever Bug Rejected Normal Bridge incorrectly changes associated tags Pavel Andrianov Actions
7278 Klever Bug Closed Urgent EMG deactivates all automatons at the same time Pavel Andrianov Ilja Zakharov Actions
7277 Klever Bug Closed Normal EMG generates useless code Pavel Andrianov Ilja Zakharov Actions
7276 Klever Bug Closed Urgent EMG skips some structures Pavel Andrianov Ilja Zakharov Actions
7267 Klever Bug Closed High Option "instance modifier" is broken Pavel Andrianov Ilja Zakharov Actions
7264 Klever Feature Closed Normal EMG should generate ldv_thread_join with two arguments Pavel Andrianov Ilja Zakharov Actions
7262 Klever Bug Closed Normal EMG generates unused variables Pavel Andrianov Ilja Zakharov Actions
7260 Klever Bug Closed Normal EMG does not generate a call for a handler Pavel Andrianov Ilja Zakharov Actions
7258 Klever Bug Rejected High BCE fails while building Linux kernel v. 4.5 Pavel Andrianov Evgeny Novikov Actions
7199 Klever Bug Closed Normal EMG generates release() after all callbacks Pavel Andrianov Ilja Zakharov Actions
7190 Klever Feature Rejected Normal Add a case for nondet return in the main loop Pavel Andrianov Ilja Zakharov Actions
7141 Klever Bug Closed High Factory process does not consider number of possible child instances Pavel Andrianov Ilja Zakharov Actions
5808 Linux Driver Verification Task New Low Слишком большой драйвер btrfs Pavel Andrianov Actions
5365 Linux Kernel Safety RuleDB Feature New Normal 202: All allocated memory from DMA pool should be freed Pavel Andrianov Actions
5364 Linux Kernel Safety RuleDB Feature New Normal 204: DMA maps for PCI devices Pavel Andrianov Actions
5363 Linux Kernel Safety RuleDB Feature New Normal 206: all created kernel threads should be stopped Pavel Andrianov Actions
5362 Linux Kernel Safety RuleDB Feature New Normal 201: All allocated cache memory 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
5356 Linux Kernel Safety RuleDB Feature New Normal 207: IRQ registration and deregistration Pavel Andrianov Actions
5355 Linux Kernel Safety RuleDB Feature New Normal 205: All allocated socket buffers should be freed Pavel Andrianov Actions
5354 Linux Kernel Safety RuleDB Feature New Normal 200: DMA maps for SCSI commands Pavel Andrianov Actions
4437 Linux Driver Verification Bug New Normal Make clean in cvc3 Pavel Andrianov Vadim Mutilin Actions
    (1-71/71) Per page: 25, 50, 100

    Also available in: Atom CSV PDF