3.0 Due in 34 days (12/31/2020) 94% 173 issues (160 closed — 13 open) Related issues Bug #6629: Used CIL is outdated Actions Bug #7160: Refined view doesn't operate faster than the default one Actions Bug #8196: Set the last provided with a line directory file instead of setting a default one at witness visualization Actions Bug #8403: Table with validation results is overlapped by a table with components reports in the Chrome browser Actions Bug #8500: Environment model simplifications can break error traces Actions Bug #8628: Properly restrict job name lenght Actions Bug #8962: Bridge says that components finish in statistics while they are in progress Actions Bug #8977: Can not specify zero rows for tables Actions Bug #9081: Uploading unsafe marks fail with unknown error Actions Bug #9339: Incorrect progress report Actions Bug #9345: Do not compare verification objects for unknown marks by default Actions Bug #9366: How to commit files after editing Actions Bug #9367: Misleading message in the error description Actions Bug #9368: Warning during deployment to openstack cloud Actions Bug #9369: Update production silently ignores wrong directory name Actions Bug #9378: Wrong assume for ERR_PTR and PTR_ERR Actions Bug #9382: Button "Reports->Clear verification files" does nothing Actions Bug #9393: Problem with memleak visualization on absent return from void function Actions Bug #9531: Environment models for void functions should not return any values Actions Bug #9581: Fix population of preset jobs in production mode Actions Bug #9589: Fix obtaining compiler options for building models Actions Bug #9796: Deployment of Klever itself from directory is broken Actions Bug #9820: Nondeterministic environment model Actions Bug #9847: Klever incorrectly shows coverage in libraries at visualization of error traces Actions Bug #10117: Fix the most crucial EMG-related fails on Linux 3.14 Actions Bug #10120: Do not include stddef.h for kernel space Actions Bug #10127: Declare ldv_inline_asm() before usage Actions Bug #10159: Unclear usage of colours in the reports comparison table Actions Bug #10160: Bridge does not apply some unknown marks Actions Bug #10163: Bridge does not show total coverage Actions Bug #10271: Bridge can not upload large job archives Actions Bug #10420: Incorrect upload of versions of the same job Actions Bug #10426: Bridge prints tags as a plain list instead of a tree Actions Bug #10431: Missing verifier input files for lightweight verification results Actions Bug #10464: Missing assumptions when converting violation witnesses to error traces Actions Bug #10468: Improve environment models for runtime power management callbacks Actions Bug #10476: Distinguish models by their absolute paths rather than their contents Actions Bug #10477: Do not fail with errors "Archive ... was not attached" Actions Bug #10490: Fix messages and their translation Actions Bug #10525: Consider program fragment and requiremens specification as attribute for comparison Actions Bug #10578: Native Scheduler reserves memory but does not use it completely Actions Bug #10579: Do not reuse requests session between Core components (separate processes) Actions Bug #10587: Check result properly in all Scheduler requests Actions Bug #10596: Use of unitialized CPU cores number Actions Feature #6712: Specify Django version Actions Feature #6950: Download and upload archives with several jobs and marks at once Actions Feature #7108: Users can't understand when a job is uploaded Actions Feature #7188: Arrange consumed resources to table Actions Feature #7458: Automatically update changed JavaScripts Actions Feature #8116: Inherit properties of parent jobs when copying them Actions Feature #8119: Develop preset tags Actions Feature #8335: Similarity management Actions Feature #8338: Add ability to specify similarity threshold Actions Feature #8424: Show spinning indicator when associating unknown marks Actions Feature #8494: Process extended format of violation witnesses Actions Feature #8568: Optimize weaving Actions Feature #8597: Remember history of opened files with coverage Actions Feature #8599: Specify parent directories when uploading new files Actions Feature #8635: Do not ask if superfluous questions Actions Feature #8732: Allow to edit verification job meta information during their solution Actions Feature #8757: Keep job titles in history Actions Feature #8888: Allow to edit last job decision configuration Actions Feature #8889: Support verification job formats properly Actions Feature #8989: Allow to populate just jobs/marks/tags Actions Feature #9002: Switch to systemd scripts from init.d ones Actions Feature #9034: Allow to clear comparison cache Actions Feature #9037: Do not show all (sub)components for unmatched results in comparison Actions Feature #9042: Enable automatic start ups of Klever services Actions Feature #9044: Do not include attributes without true "is_compare" when downloading marks in preset format Actions Feature #9045: Remove attributes without true "is_compare" in preset marks Actions Feature #9052: Allow mark status just for verdict "bug" Actions Feature #9053: Remove redundant statuses for preset marks Actions Feature #9077: Automatically change uploaded job titles if they already exist Actions Feature #9186: Get rid of VTG plugin callbacks Actions Feature #9313: Introduce top level configuration options for processing verification results Actions Feature #9347: Notify schedulers about changes in jobs and tasks Actions Feature #9348: Request for changes in jobs and tasks just after receiving corresponding notifications Actions Feature #9355: Suggest more user friendly configuration for program fragments and requirements Actions Feature #9356: Do not deploy the same build bases Actions Feature #9381: Return back program fragment sizes Actions Feature #9406: Ignore an another one useless warning from BenchExec (flawed measurement) Actions Feature #9412: Support more advanced calculation of total verdicts and similarity Actions Feature #9413: Set total verdict and total similarity more precisely on base of automatic marks assotiation Actions Feature #9414: Reuse archive with source files between different error traces on report uploading Actions Feature #9444: Support cross referencing Actions Feature #9445: Support build bases provided in form of archives and placed at standard locations Actions Feature #9449: Make lightweight verification results more lightweight Actions Feature #9453: Generate code coverage in a new format Actions Feature #9454: Visualize code coverage in a new format Actions Feature #9458: Visualize a new format of error traces Actions Feature #9459: Generate error traces in a new format Actions Feature #9460: Support new reports with sources Actions Feature #9461: Generate new reports with sources Actions Feature #9499: Switch to new Clade API Actions Feature #9500: Finish support of MySQL/MariaDB Actions Feature #9506: Support VerifierCloud installations without authentication Actions Feature #9507: Update VerifierCloud scheduler to the recent API Actions Feature #9518: Change the color scheme for coverage from red to green Actions Feature #9532: Update CPAchecker Actions Feature #9535: Increase memory limit for Frama-C (CIL) Actions Feature #9536: Update CIF Actions Feature #9545: Increase automatic update period for job pages Actions Feature #9558: Install entities properly Actions Feature #9567: Update BenchExec Actions Feature #9573: Include deployment of build base intended for preset verification job Linux 3.14 Actions Feature #9578: Add a new rule for BusyBox to check file descriptors correct usage Actions Feature #9579: Allow describing scenarios for environment models manually Actions Feature #9580: Develop detailed EMG specifications for Serial drivers Actions Feature #9583: Update CPAchecker Actions Feature #9609: Avoid recursion in simple tests Actions Feature #9610: Show actual Frama-C (CIL) failures Actions Feature #9648: Update CPAchecker one more time Actions Feature #9698: Move to a new typedef interface collection provided by Clade Actions Feature #9703: Update BenchExec Actions Feature #9768: Use built-in means for checking Clade directory Actions Feature #9824: Get rid of auxiliary functions and their removing Actions Feature #9825: Get rid of temporary variables and their removing Actions Feature #9831: Do not indent internal JSON files in production mode Actions Feature #9836: Collapse migrations Actions Feature #9850: Specify exact versions for Python and its packages Actions Feature #9857: Rearrange verification jobs within presets Actions Feature #9858: Support new verification jobs base Actions Feature #9866: Show warning when users will reach source files without code coverage Actions Feature #9873: Move creation of initial abstract tasks to PFG Actions Feature #9897: Develop tutorial Actions Feature #9900: Support includes for requirements base Actions Feature #9905: Allow to select code coverage kind when launching verification job solutions Actions Feature #9906: Update CIL Actions Feature #9926: Do not wait for ~10 seconds before finishing job solution Actions Feature #9927: Allow to check for preset verification job changes Actions Feature #9931: Introduce specific comments and error trace actions to distinguish important environment models Actions Feature #9934: Specify concrete settings for fragmentation Actions Feature #9973: Visualize data reports according to top-level configuration attributes Actions Feature #9988: Name environment model functions in a more user friendly way Actions Feature #9989: Distinguish important environment models Actions Feature #10042: Simplify the job tree Actions Feature #10043: Update CPAchecker Actions Feature #10079: Do not make absolute paths for line directives Actions Feature #10080: Do not preprocess source code outputted by CIF Actions Feature #10126: Rearrange requirement specifications Actions Feature #10138: Develop environment model specifications for Linux 5.5 Actions Feature #10153: There is no specification set attribute Actions Feature #10156: Introduce environment model test sets for Linux 4.15, 4.17 versions Actions Feature #10182: Update Clade to 3.2.6 Actions Feature #10318: Support BusyBox in Klever 3.0 Actions Feature #10418: Download archives immediately to OpenStack instances Actions Feature #10453: Use device identifiers from the driver tables Actions Feature #10458: Update CPALockator Actions Feature #10460: Get rid of unclear parentheses when representing Safes, Unsafes and Unknowns Actions Feature #10461: Support verification of Linux kernel modules on the ARM architecture Actions Feature #10465: Update Klever tutorial Actions Feature #10472: Support lightweight configuration of verification tools for target architecture Actions Feature #10481: Update CPALockator to support rcu analysis Actions Feature #10488: Develop models for devm memory allocating functions Actions Feature #10489: Fix order of child jobs at the job page Actions Feature #10491: Avoid numerous warnings about missed sources and code coverage Actions Feature #10493: Clean up directories when deploying new instances of Bridge Actions Feature #10496: Speed up loading of source files and related data Actions Feature #10498: Develop model for v4l2_i2c_subdev_init() Actions Feature #10516: Filter CC options passed to CIF using Clade Actions Feature #10517: Use Command-S to save file in the online editor on macOS Actions Feature #10526: Do not specify "associate" for unknown reports of VRP Actions Feature #10530: Improve representation of leaf reports and enhance capabilities for providing their attributes Actions Feature #10531: Report attributes and their flags according to the new scheme Actions Feature #10546: Cause Weaver to output preprocessed source files and models Actions Feature #10549: Develop preset tags for CPAchecker SMG Actions Feature #10550: Develop preset tags for CPAchecker BAM Actions Feature #10551: Develop preset tags for CPALockator Actions Feature #10554: Visualize declarations and advanced notes Actions Feature #10561: Klever Python package is not updated when updating Klever instances locally Actions Feature #10570: Support generating multiple environment models per a EMG run Actions Feature #10577: Place all addon archives to forge.ispras.ru Actions Feature #10592: Try to get rid of ZIP error workaround Actions