exfatprogs-1.2.4-1.fc41

List of Defects

Error: CPPCHECK_WARNING: [#def1]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/dump/dump.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def2]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/exfat2img/exfat2img.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CLANG_WARNING: [#def3]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/exfat2img/exfat2img.c:487:3: warning[deadcode.DeadStores]: Value stored to 'ret' is never read
#  485|   		}
#  486|   
#  487|-> 		ret = exfat_de_iter_advance(de_iter, dentry_count);
#  488|   	}
#  489|   out:

Error: CPPCHECK_WARNING: [#def4]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/fsck/fsck.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CLANG_WARNING: [#def5]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/fsck/fsck.c:619:4: warning[deadcode.DeadStores]: Value stored to 'ret' is never read
#  617|   			exfat_de_iter_get_dirty(iter, 1, &dentry);
#  618|   			dentry->stream_flags &= ~EXFAT_SF_CONTIGUOUS;
#  619|-> 			ret = 1;
#  620|   		} else
#  621|   			valid = false;

Error: CLANG_WARNING: [#def6]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/fsck/fsck.c:820:9: warning[core.CallAndMessage]: 2nd function call argument is an uninitialized value
#  818|   
#  819|   	if (file_de->file_num_ext == 2 && stream_de->stream_name_len <= 2) {
#  820|-> 		ret = handle_dot_dotdot_filename(iter, dentry,
#  821|   				stream_de->stream_name_len);
#  822|   		if (ret < 0) {

Error: CLANG_WARNING: [#def7]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/fsck/fsck.c:1276:27: warning[unix.MallocSizeof]: Result of 'malloc' is converted to a pointer of type 'char', which is incompatible with sizeof operand type 'bitmap_t'
# 1274|   	}
# 1275|   
# 1276|-> 	fsck->name_hash_bitmap = malloc(EXFAT_BITMAP_SIZE(EXFAT_MAX_HASH_COUNT));
# 1277|   	if (!fsck->name_hash_bitmap) {
# 1278|   		exfat_err("failed to allocate name hash bitmap\n");

Error: CPPCHECK_WARNING: [#def8]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/fsck/repair.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def9]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/label/label.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CPPCHECK_WARNING: [#def10]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/exfat_dir.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CLANG_WARNING: [#def11]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/exfat_dir.c:393:8: warning[core.NullDereference]: Access to field 'type' results in a dereference of a null pointer (loaded from variable 'dentry')
#  391|   		}
#  392|   
#  393|-> 		if (!IS_EXFAT_DELETED(dentry->type)) {
#  394|   			if (filter->in.dentry_count == 0 ||
#  395|   			    empty_dentry_count < filter->in.dentry_count)

Error: CLANG_WARNING: [#def12]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/exfat_dir.c:419:6: warning[core.CallAndMessage]: 2nd function call argument is an uninitialized value
#  417|   				for (i = 0; i < dentry_count; i++) {
#  418|   					exfat_de_iter_get(&de_iter, i, &d);
#  419|-> 					memcpy(filter->out.dentry_set + i, d,
#  420|   					       sizeof(struct exfat_dentry));
#  421|   				}

Error: CLANG_WARNING: [#def13]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/exfat_dir.c:531:2: warning[core.StackAddressEscape]: Address of stack memory associated with local variable 'utf16_name' is still referred to by the stack variable 'filter' upon returning to the caller.  This will be a dangling reference
#  529|   		return retval;
#  530|   
#  531|-> 	return exfat_lookup_file_by_utf16name(exfat, parent, utf16_name,
#  532|   			filter_out);
#  533|   }

Error: CLANG_WARNING: [#def14]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/exfat_dir.c:946:10: warning[core.uninitialized.Assign]: Assigned value is garbage or undefined
#  944|   	if (err == 0) {
#  945|   		dset = filter.out.dentry_set;
#  946|-> 		dcount = filter.out.dentry_count;
#  947|   		if ((le16_to_cpu(dset->dentry.file.attr) & attr) != attr)
#  948|   			err = -EEXIST;

Error: CLANG_WARNING: [#def15]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/exfat_dir.c:958:18: warning[core.uninitialized.Assign]: Assigned value is garbage or undefined
#  956|   
#  957|   	loc.parent = parent;
#  958|-> 	loc.file_offset = filter.out.file_offset;
#  959|   	loc.dev_offset = filter.out.dev_offset;
#  960|   	err = exfat_add_dentry_set(exfat, &loc, dset, dcount, false);

Error: CPPCHECK_WARNING: [#def16]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/exfat_fs.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: CLANG_WARNING: [#def17]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/exfat_fs.c:144:24: warning[unix.MallocSizeof]: Result of 'calloc' is converted to a pointer of type 'char', which is incompatible with sizeof operand type 'bitmap_t'
#  142|   
#  143|   	/* TODO: bitmap could be very large. */
#  144|-> 	exfat->alloc_bitmap = calloc(1, EXFAT_BITMAP_SIZE(exfat->clus_count));
#  145|   	if (!exfat->alloc_bitmap) {
#  146|   		exfat_err("failed to allocate bitmap\n");

Error: CLANG_WARNING: [#def18]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/exfat_fs.c:150:24: warning[unix.MallocSizeof]: Result of 'calloc' is converted to a pointer of type 'char', which is incompatible with sizeof operand type 'bitmap_t'
#  148|   	}
#  149|   
#  150|-> 	exfat->ohead_bitmap = calloc(1, EXFAT_BITMAP_SIZE(exfat->clus_count));
#  151|   	if (!exfat->ohead_bitmap) {
#  152|   		exfat_err("failed to allocate bitmap\n");

Error: CLANG_WARNING: [#def19]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/exfat_fs.c:156:23: warning[unix.MallocSizeof]: Result of 'calloc' is converted to a pointer of type 'char', which is incompatible with sizeof operand type 'bitmap_t'
#  154|   	}
#  155|   
#  156|-> 	exfat->disk_bitmap = calloc(1, EXFAT_BITMAP_SIZE(exfat->clus_count));
#  157|   	if (!exfat->disk_bitmap) {
#  158|   		exfat_err("failed to allocate bitmap\n");

Error: GCC_ANALYZER_WARNING (CWE-401): [#def20]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/exfat_fs.c: scope_hint: In function ‘exfat_free_buffer’
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/exfat_fs.c:203:9: warning[-Wanalyzer-malloc-leak]: leak of ‘<unknown>’
#  201|   			free(bd[i].buffer);
#  202|   	}
#  203|-> 	free(bd);
#  204|   }
#  205|   

Error: CPPCHECK_WARNING: [#def21]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/libexfat.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Error: GCC_ANALYZER_WARNING (CWE-457): [#def22]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/libexfat.c: scope_hint: In function ‘exfat_set_volume_label’
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/libexfat.c:503:9: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘&volume_label’
#  501|   	}
#  502|   
#  503|-> 	memcpy(pvol->vol_label, volume_label, volume_label_len);
#  504|   	pvol->vol_char_cnt = volume_label_len/2;
#  505|   

Error: GCC_ANALYZER_WARNING (CWE-131): [#def23]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/libexfat.c: scope_hint: In function ‘exfat_write_checksum_sector’
exfatprogs-1.2.4-build/exfatprogs-1.2.4/lib/libexfat.c:716:24: warning[-Wanalyzer-allocation-size]: allocated buffer size is not a multiple of the pointee's size
#  714|   	unsigned int sec_idx = CHECKSUM_SEC_IDX;
#  715|   
#  716|-> 	checksum_buf = malloc(bd->sector_size);
#  717|   	if (!checksum_buf)
#  718|   		return -1;

Error: CPPCHECK_WARNING: [#def24]
exfatprogs-1.2.4-build/exfatprogs-1.2.4/mkfs/mkfs.c: information[normalCheckLevelMaxBranches]: Limiting analysis of branches. Use --check-level=exhaustive to analyze all branches.

Scan Properties

analyzer-version-clang18.1.7
analyzer-version-cppcheck2.14.2
analyzer-version-gcc14.1.1
analyzer-version-gcc-analyzer14.1.1
analyzer-version-shellcheck0.10.0
enabled-pluginsclang, cppcheck, gcc, shellcheck
exit-code0
hostip-172-16-1-118.us-west-2.compute.internal
mock-configfedora-41-x86_64
project-nameexfatprogs-1.2.4-1.fc41
store-results-to/tmp/tmp3nu7b85z/exfatprogs-1.2.4-1.fc41.tar.xz
time-created2024-07-03 12:31:07
time-finished2024-07-03 12:32:11
toolcsmock
tool-args'/usr/bin/csmock' '-r' 'fedora-41-x86_64' '-t' 'cppcheck,gcc,clang,shellcheck' '-o' '/tmp/tmp3nu7b85z/exfatprogs-1.2.4-1.fc41.tar.xz' '--gcc-analyze' '/tmp/tmp3nu7b85z/exfatprogs-1.2.4-1.fc41.src.rpm'
tool-versioncsmock-3.5.3-1.el9