Project

General

Profile

3.7

closed

08/26/2022

100%

26 issues   (26 closed — 0 open)

Issues by
Bug

7/7
Feature

19/19
Related issues
Bug #11735: Update CIF Actions
Bug #11770: Fix off-by-one error when choosing a device from MODULE_DEVICE_TABLE Actions
Bug #11809: Pass the same resource to probe and remove for HID drivers Actions
Bug #11815: Do not pass NULL at registration of callbacks Actions
Bug #11821: Allocate memory for inode for file_operations callbacks Actions
Bug #11851: Fix issues revealed in TTY environment model specifications when checking tests using memory safety Actions
Bug #11854: Improve error handling in test cases intended for checking TTY environment model specification Actions
Feature #10469: Required to implement a specification for input_ff_create_memless Actions
Feature #11687: Update Python dependencies Actions
Feature #11738: Update CIF Actions
Feature #11742: Develop simple program sample and describe how to verify it with Klever Actions
Feature #11771: Fix model for struct_size() Actions
Feature #11772: Update CPAchecker Actions
Feature #11782: Update CIF Actions
Feature #11788: Add models and test cases for kref* API Actions
Feature #11793: Add models and tests for v4l2_device_(un)register() Actions
Feature #11798: Add models and tests for dev_err_probe() Actions
Feature #11799: Develop models and tests for list API Actions
Feature #11808: Develop model and test for i2c_match_id() Actions
Feature #11816: Update CPAchecker Actions
Feature #11825: Allocate memory for tty_struct for tty_operations callbacks Actions
Feature #11826: Do not generate return values implicitly in case of missed callbacks Actions
Feature #11828: Add models for dynamic debug printing API Actions
Feature #11833: Update CPAchecker Actions
Feature #11836: Model failures for calloc() and zalloc() Actions
Feature #11839: Get rid of implicit resources Actions