linux-ext4 - Fw: Errors reported by Coverity in ext3.

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [thread-next>] [day] [month] [year] [list]

Date:	Thu, 9 Nov 2006 11:14:09 -0800
From:	Andrew Morton <akpm@...l.org>
To:	"linux-ext4@...r.kernel.org" <linux-ext4@...r.kernel.org>
Subject: Fw: Errors reported by Coverity in ext3.



Begin forwarded message:

Date: Thu, 1 Dec 2005 08:54:18 -0800
From: "Jayachandran C." <jchandra@...eo.com>
To: ext3-users@...hat.com
Cc: akpm@...l.org
Subject: Errors reported by Coverity in ext3.


[Re-sending to the ext3 list, with minor edits]

I'm in the process of fixing errors generated by the Coverity
tool on the Linux kernel, and I would like your comment on a
set of problems reported in ext3.

The main issue reported is not checking the return code of
ext3_journal_get_write_access() in various places.  I would like
to know if there should be error handling in these cases.  The
places where the return value is not checked are(in the current
kernel version):

fs/ext3/inode.c          ext3_clear_blocks             1829
fs/ext3/namei.c          ext3_append                     63
fs/ext3/namei.c          ext3_delete_entry             1585
fs/ext3/namei.c          ext3_mkdir                    1745
fs/ext3/namei.c          ext3_rename                   2273
fs/ext3/namei.c          ext3_rename                   2328

I have attached the full text of errors reported by Coverity on 
kernel version 2.6.13, for reference.
---
1. Error reported in ext3/namei.c
---
CID: 3549
Checker: CHECKED_RETURN
File: fs/ext3/namei.c
Function: ext3_rename
Description: Return value of "__ext3_journal_get_write_access" is not checked

2260    } else {
2261            BUFFER_TRACE(new_bh, "get write access");

Event check_return: Called function "__ext3_journal_get_write_access"
      whose return value should be checked (checked 32 out of 39 times)
Event unchecked_value: Return value of
      "__ext3_journal_get_write_access" is not checked Also see events:

2262    ext3_journal_get_write_access(handle, new_bh);
---

2. Error reported in ext3/inode.c
---
CID: 3548
Checker: CHECKED_RETURN
File: fs/ext3/inode.c
Function: ext3_clear_blocks
Description: Return value of "__ext3_journal_get_write_access" is not checked

1816    if (bh) {
1817            BUFFER_TRACE(bh, "retaking write access");

Event check_return: Called function "__ext3_journal_get_write_access"
      whose return value should be checked (checked 32 out of 39 times)
Event unchecked_value: Return value of
     "__ext3_journal_get_write_access" is not checked Also see events:

1818    ext3_journal_get_write_access(handle, bh);
1819    }
---

3. Error reported in ext3/namei.c
---
CID: 3547
Checker: CHECKED_RETURN
File: fs/ext3/namei.c
Function: ext3_delete_entry
Description: Return value of "__ext3_journal_get_write_access" is not checked

1573    if (de == de_del)  {
1574            BUFFER_TRACE(bh, "get_write_access");

Event check_return: Called function "__ext3_journal_get_write_access"
      whose return value should be checked (checked 32 out of 39 times)
Event unchecked_value: Return value of "__ext3_journal_get_write_access"
      is not checked Also see events:

1575            ext3_journal_get_write_access(handle, bh);
1576            if (pde)

4. Error reported in ext3/namei.c
---
CID: 3546
Checker: CHECKED_RETURN
File: fs/ext3/namei.c
Function: ext3_append
Description: Return value of "__ext3_journal_get_write_access" is not checked

58      if ((bh = ext3_bread(handle, inode, *block, 1, err))) {
59              inode->i_size += inode->i_sb->s_blocksize;
60              EXT3_I(inode)->i_disksize = inode->i_size;

Event check_return: Called function "__ext3_journal_get_write_access"
      whose return value should be checked (checked 32 out of 39 times)
Event unchecked_value: Return value of "__ext3_journal_get_write_access"
      is not checked Also see events:

61              ext3_journal_get_write_access(handle,bh);
62      }
63      return bh;
---

5. Error reported in ext3/balloc.c
---
CID: 3545
Checker: CHECKED_RETURN
File: fs/ext3/balloc.c
Function: ext3_free_blocks_sb
Description: Return value of "test_and_set_bit" is not checked

439             BUFFER_TRACE(bitmap_bh, "set in b_committed_data");
440             J_ASSERT_BH(bitmap_bh,
441             bh2jh(bitmap_bh)->b_committed_data != NULL);

Event check_return: Called function "test_and_set_bit" whose return
      value should be checked (checked 83 out of 95 times)
Event unchecked_value: Return value of "test_and_set_bit" is not checked

442             ext3_set_bit_atomic(sb_bgl_lock(sbi, block_group), bit + i,
443             bh2jh(bitmap_bh)->b_committed_data);
--

Thanks,
-
C. Jayachandran    c.jayachandran@...il.com
-
To unsubscribe from this list: send the line "unsubscribe linux-ext4" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html