Project

General

Profile

1.0

closed

07/04/2018

100%

129 issues   (129 closed — 0 open)

Issues by
Bug

59/59
Feature

70/70
Related issues
Bug #7532: Fix bugs found by Klever in various Klever tests Actions
Bug #7670: Instrumentation of memory allocation functions from driver code should correctly pass size of memory Actions
Bug #8384: Bridge allows to start job decisions before they are properly canceled by Native Scheduler Actions
Bug #8447: Test race.c for sync:race fails Actions
Bug #8459: After stopping Bridge it can be hard to stop Native Scheduler Actions
Bug #8502: Fix EMG tests Actions
Bug #8503: FutureWarning: split() requires a non-empty pattern match Actions
Bug #8511: Klever does not remove old jobs Actions
Bug #8512: Cannot update OpenStack instance after creation Actions
Bug #8523: Unauthorized users can perform DoS attacks Actions
Bug #8524: If a specifications set is not given VTG hangs Actions
Bug #8525: At verification of modules from Linux 2.6.33 LKBCE creates dozens of similar elf64-x86-64 files Actions
Bug #8528: VerifierCloud does not work with the current Klever version Actions
Bug #8532: Do not filter out rows in tables that have not attribute values when ordering by those attributes Actions
Bug #8534: Strange exception during uploading verification unknown report Actions
Bug #8545: Klever doesn't work with multimodule strategies Actions
Bug #8553: Jobs with no access are shown as child jobs Actions
Bug #8563: Do not send flush requests to VerifierCloud if no tasks available Actions
Bug #8566: The number of service signing ins does not correspond to the number of service signing outs Actions
Bug #8572: Repeated dependencies in advanced strategy Actions
Bug #8579: Progress is not evaluated as 100% for large number of tasks Actions
Bug #8602: OSError: [Errno 39] Directory not empty Actions
Bug #8606: Could not find build command description for drivers/extcon/extcon-core.o of Linux 4.9.65 Actions
Bug #8612: Incorrect replacements for spaces in downloaded file names Actions
Bug #8625: VTG consumes too much CPU time Actions
Bug #8626: Can not compare verification results Actions
Bug #8632: Upload job archive is restricted while another job is running Actions
Bug #8653: Confirmed unsafe marks cache is not consistent Actions
Bug #8666: Acquire locks when dealing when build commands cache Actions
Bug #8668: Connection error warnings can lead to task decision results misinterpretation Actions
Bug #8679: Do not consider missed task as an error Actions
Bug #8690: LKVOG fails at solving tests Actions
Bug #8717: Population does not work with unsafes marks in presets Actions
Bug #8742: Name of copyright owner is incorrect Actions
Bug #8777: Klever hangs again Actions
Bug #8784: VerifierCloud reports interruptions as safes Actions
Bug #8798: Deployment open-stack scripts cannot setup VM Actions
Bug #8835: FileExistsError during coverage processing Actions
Bug #8843: deploy-openstack script can't connect to instance using SSH Actions
Bug #8905: Take into account that Django development server is not powerful Actions
Bug #8933: Can not change decision mode Actions
Bug #8934: Incorrect processing of decision configuration file Actions
Bug #8935: Bridge hangs during cancelling job decisions Actions
Bug #8940: Command-line requests to Bridge are broken Actions
Bug #8941: Native Scheduler has a race when cancelling job decisions Actions
Bug #8942: Fix uploading verification job reports Actions
Bug #8949: Broken comparison of undecided jobs Actions
Bug #8950: Remove redundant preset marks Actions
Bug #8956: Klever fails with corrupted Actions
Bug #8980: Jobs comparison is broken Actions
Bug #8981: Visualization of error traces for generic:memory is broken Actions
Bug #9004: Marks created for new traces contains in call stack auxiliary EMG functions Actions
Bug #9007: Can not open table with unknowns for particular rule specification Actions
Bug #9015: Cannot upload several jobs in one archive Actions
Bug #9017: Change of a converted error trace does not lead to assotiated leaf reports similarity recalculation Actions
Bug #9019: Downloading and uploading of marks does not work Actions
Bug #9048: Analyze and fix some preset marks for validation job Actions
Bug #9054: Exception when ssh-key is not specified Actions
Bug #9056: Exception when packages are not specified in configuration Actions
Feature #6589: Merge core.components.Component.launch_subcomponents() with core.Core.launch_all_components() and core.Core.wait_for_components() Actions
Feature #6613: Write how to deploy Klever at Debian 9 Actions
Feature #7167: Support for multiline patterns of unknown marks Actions
Feature #7223: Use Klever extensions to Python multiprocessing for deciding sub-jobs in parallel Actions
Feature #7344: Calculate memory limits enough for specification tests and specify them in corresponding jobs Actions
Feature #7424: Add tests for common API implementations Actions
Feature #7521: Rule specification linux:drivers:base:dma-mapping needs tests Actions
Feature #7917: Take into account configuration to distinguish sub-jobs with the same modules and rule specifications Actions
Feature #7971: Rule specification generic:memory lacks test cases Actions
Feature #7978: Add more tests for rule specification sync:race Actions
Feature #8080: Clarify validation set Actions
Feature #8083: Add tests for static verification tools Actions
Feature #8084: Add marks for testing and validation sets Actions
Feature #8086: Remove all files when it becomes clear that they won't be used anymore Actions
Feature #8114: Support online job files creation and editing Actions
Feature #8149: Think on proper progress evaluation when several jobs are solved at once or/and much computational resources are available Actions
Feature #8256: Add tests for EMG failures Actions
Feature #8297: Support command-line interface Actions
Feature #8374: Comparison of verification job results does not work Actions
Feature #8386: Rework tests for Bridge Actions
Feature #8397: Removing unused files do not work for service files Actions
Feature #8425: Add support for unknown patterns without regular expressions Actions
Feature #8426: Improve unknown mark association changes page Actions
Feature #8437: Get rid of job classes Actions
Feature #8445: Visualize useful progress Actions
Feature #8446: Fix and improve progress reporting Actions
Feature #8463: Allow to configure the number of result processors Actions
Feature #8466: Improve error messages when Native Scheduler terminates jobs because of reached computational resource limits Actions
Feature #8483: Avoid using BenchExec from within Core Actions
Feature #8489: Show computational resources consumed by verifier in tables with safes/unsafes/verification unknowns Actions
Feature #8490: Allow to limit the maximum number of submitted verification tasks Actions
Feature #8491: Update the progress reporting implementation in Bridge Actions
Feature #8495: Test regular expressions association Actions
Feature #8498: Make table with unknowns to look like tables with safes and unsafes Actions
Feature #8501: Jobs can be pending forever when keeping working directories Actions
Feature #8504: Too many errors from CIF Actions
Feature #8510: Update tests for multimodule verification Actions
Feature #8515: Replace upload_report with upload_reports Actions
Feature #8522: Provide more details for corrupted jobs with unfinished reports Actions
Feature #8527: Clarify when OpenStack login or password are incorrect Actions
Feature #8531: Get rid of unnecessary regular expressions for preset unknown marks Actions
Feature #8536: Untie coverage report from any components name Actions
Feature #8554: Forbid irreversible mark modifications for users with weak access Actions
Feature #8570: Introduce data attributes Actions
Feature #8586: Support comparing entity versions Actions
Feature #8620: Edit of mark make it unconfirmed Actions
Feature #8631: Users need instructions how to deploy Klever within OpenStack clouds Actions
Feature #8647: Allow to share/hide OpenStask instances from outside world Actions
Feature #8648: Allow to download/upload job subtrees Actions
Feature #8650: Allow to download marks in preset format Actions
Feature #8651: Consider preset mark file names as mark identifiers Actions
Feature #8652: Rename all existing preset marks using file names consisting of 32 hexadecimal symbols Actions
Feature #8661: Do not consider bad zip archives as errors Actions
Feature #8662: Workaround authentification issues Actions
Feature #8704: Support processing of multiple error traces per one unsafe report Actions
Feature #8705: Change the way of reporting unsafe reports Actions
Feature #8706: Permanent (pretty) URLs for error traces Actions
Feature #8708: Implement a scheduler for Core debugging Actions
Feature #8722: Prepare scripts for automatic deployment on Debian 9 Actions
Feature #8729: Bridge does not work with Django 2.* Actions
Feature #8733: Allow creating marks for unknowns with particular attributes Actions
Feature #8754: Require unique job names Actions
Feature #8840: Add support for several private SSH keys for OpenStack instances Actions
Feature #8844: Clarify when OpenStack instance can't be created because of lack of available resources Actions
Feature #8897: Update CPAchecker Actions
Feature #8906: Allow creating job presets with allowed safe marks Actions
Feature #8908: Progress evaluation shows 100% of progress when tasks and subjobs are not finished still Actions
Feature #8926: Check for verification job archive format ASAP Actions
Feature #8932: Online Klever documentation Actions
Feature #8947: Eventually get rid of picture buttons in menus Actions