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-clang | 18.1.7 |
analyzer-version-cppcheck | 2.14.2 |
analyzer-version-gcc | 14.1.1 |
analyzer-version-gcc-analyzer | 14.1.1 |
analyzer-version-shellcheck | 0.10.0 |
enabled-plugins | clang, cppcheck, gcc, shellcheck |
exit-code | 0 |
host | ip-172-16-1-118.us-west-2.compute.internal |
mock-config | fedora-41-x86_64 |
project-name | exfatprogs-1.2.4-1.fc41 |
store-results-to | /tmp/tmp3nu7b85z/exfatprogs-1.2.4-1.fc41.tar.xz |
time-created | 2024-07-03 12:31:07 |
time-finished | 2024-07-03 12:32:11 |
tool | csmock |
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-version | csmock-3.5.3-1.el9 |