[U-Boot] [PATCH] fs: ext4: Fix journal overrun issue reported by Coverity
Brüns, Stefan
Stefan.Bruens at rwth-aachen.de
Tue Aug 22 15:14:33 UTC 2017
On Montag, 21. August 2017 04:30:15 CEST Tom Rini wrote:
> While &p_jdb[fs->blksz] is a valid expression (it points *one* char
> sized element past the end of the array, e.g. &p_jdb[fs->blksz + 1] is
> invalid (according to the C standard (C99/C11)).
>
> Changing this to tag = (struct ext3_journal_block_tag *)(p_jdb + ofs);
>
> Cc: Stefan Brüns <stefan.bruens at rwth-aachen.de>
> Suggested-by: Stefan Brüns <stefan.bruens at rwth-aachen.de>
> Reported-by: Coverity (CID: 165117, 165110)
> Signed-off-by: Tom Rini <trini at konsulko.com>
> ---
> Stefan, since this is your suggestion and message, if you want me to v2
> with you as Author, I'd be quite happy to, thanks again!
Hi Tom,
whatever you like, both is fine with me.
Kind regards,
Stefan
PS:
Reviewed-by: Stefan Brüns <stefan.bruens at rwth-aachen.de>
> ---
> fs/ext4/ext4_journal.c | 4 ++--
> 1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/fs/ext4/ext4_journal.c b/fs/ext4/ext4_journal.c
> index 5a25be4c8ac2..fed6287eac45 100644
> --- a/fs/ext4/ext4_journal.c
> +++ b/fs/ext4/ext4_journal.c
> @@ -355,7 +355,7 @@ void recover_transaction(int prev_desc_logical_no)
> ofs = sizeof(struct journal_header_t);
>
> do {
> - tag = (struct ext3_journal_block_tag *)&p_jdb[ofs];
> + tag = (struct ext3_journal_block_tag *)(p_jdb + ofs);
> ofs += sizeof(struct ext3_journal_block_tag);
>
> if (ofs > fs->blksz)
> @@ -466,7 +466,7 @@ int ext4fs_check_journal_state(int recovery_flag)
> ofs = sizeof(struct journal_header_t);
> do {
> tag = (struct ext3_journal_block_tag *)
> - &p_jdb[ofs];
> + (p_jdb + ofs);
> ofs += sizeof(struct ext3_journal_block_tag);
> if (ofs > fs->blksz)
> break;
More information about the U-Boot
mailing list