RHEL Engineering is moving the tracking of its product development work on RHEL 6 through RHEL 9 to Red Hat Jira (issues.redhat.com). If you're a Red Hat customer, please continue to file support cases via the Red Hat customer portal. If you're not, please head to the "RHEL project" in Red Hat Jira and file new tickets here. Individual Bugzilla bugs in the statuses "NEW", "ASSIGNED", and "POST" are being migrated throughout September 2023. Bugs of Red Hat partners with an assigned Engineering Partner Manager (EPM) are migrated in late September as per pre-agreed dates. Bugs against components "kernel", "kernel-rt", and "kpatch" are only migrated if still in "NEW" or "ASSIGNED". If you cannot log in to RH Jira, please consult article #7032570. That failing, please send an e-mail to the RH Jira admins at rh-issues@redhat.com to troubleshoot your issue as a user management inquiry. The email creates a ServiceNow ticket with Red Hat. Individual Bugzilla bugs that are migrated will be moved to status "CLOSED", resolution "MIGRATED", and set with "MigratedToJIRA" in "Keywords". The link to the successor Jira issue will be found under "Links", have a little "two-footprint" icon next to it, and direct you to the "RHEL project" in Red Hat Jira (issue links are of type "https://issues.redhat.com/browse/RHEL-XXXX", where "X" is a digit). This same link will be available in a blue banner at the top of the page informing you that that bug has been migrated.
Bug 2095523 - coverity scan - thinlv checked for None after access
Summary: coverity scan - thinlv checked for None after access
Keywords:
Status: CLOSED ERRATA
Alias: None
Product: Red Hat Enterprise Linux 9
Classification: Red Hat
Component: rhel-system-roles
Version: 9.1
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: rc
: 9.1
Assignee: Rich Megginson
QA Contact: Jakub Haruda
URL:
Whiteboard: role:storage
Depends On:
Blocks: 2096397
TreeView+ depends on / blocked
 
Reported: 2022-06-09 20:41 UTC by Rich Megginson
Modified: 2022-11-15 11:24 UTC (History)
4 users (show)

Fixed In Version: rhel-system-roles-1.19.2-1.el9
Doc Type: No Doc Update
Doc Text:
Clone Of:
: 2096397 (view as bug list)
Environment:
Last Closed: 2022-11-15 10:23:47 UTC
Type: ---
Target Upstream Version:
Embargoed:


Attachments (Terms of Use)


Links
System ID Private Priority Status Summary Last Updated
Github linux-system-roles storage pull 276 0 None open check for thinlv name before assigning to thinlv_params 2022-06-10 14:16:05 UTC
Red Hat Issue Tracker RHELPLAN-124929 0 None None None 2022-06-09 20:42:59 UTC
Red Hat Product Errata RHEA-2022:8117 0 None None None 2022-11-15 10:24:14 UTC

Description Rich Megginson 2022-06-09 20:41:02 UTC
in blivet.py:1371 thinlv is accessed - then at line 1378 it is checked for None - should either be guaranteed not None, or checked for None first

Comment 1 Rich Megginson 2022-06-09 20:49:39 UTC
This bug was introduced with https://github.com/linux-system-roles/storage/pull/269

This is the coverity output:

Error: REVERSE_INULL (CWE-476): [#def1]
auto-maintenance-fe4fd028db23607414acce481388f23ac51cd944/storage/library/blivet.py:1369: alias: Assigning: "thinlv" = "__coverity_temp_var5".
auto-maintenance-fe4fd028db23607414acce481388f23ac51cd944/storage/library/blivet.py:1371: deref: Accessing a property of "thinlv".
auto-maintenance-fe4fd028db23607414acce481388f23ac51cd944/storage/library/blivet.py:1378: check_after_deref: Null-checking "thinlv" suggests that it may be null, but it has already been dereferenced on all paths leading to the check.

Here is the code in question: https://github.com/linux-system-roles/storage/blob/master/library/blivet.py#L1369-L1379

        for thinlv in thinlvs_to_create:

            if thinlv['size'] is None:
                tlv_size = Size(calculated_thinlv_size)
            else:
                tlv_size = Size(thinlv['size'])

            thinlv_params = dict(thin_pool=True, size=tlv_size, parents=[pool_device])

            if thinlv is not None:
                thinlv_params.update(dict(name=thinlv['name']))

If it is possible for thinlv to be None, then the code will blow up on thinlv['size'] - either we need to guarantee that thinlv will never be None, and get rid of the 'if thinlv is not None' check, or move that check to the first line of code inside the loop, and do something to avoid using thinlv in subsequent code.

Jan, please take a look.

Comment 10 errata-xmlrpc 2022-11-15 10:23:47 UTC
Since the problem described in this bug report should be
resolved in a recent advisory, it has been closed with a
resolution of ERRATA.

For information on the advisory (rhel-system-roles bug fix and enhancement update), and where to find the updated
files, follow the link below.

If the solution does not work for you, open a new bug report.

https://access.redhat.com/errata/RHEA-2022:8117


Note You need to log in before you can comment on or make changes to this bug.