exfatprogs-1.2.8-1.fc43

List of Findings

Error: GCC_ANALYZER_WARNING (CWE-457): [#def1]
exfatprogs-1.2.8/fsck/repair.c:289:17: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘&utf16_name’
exfatprogs-1.2.8/fsck/repair.c:244:5: enter_function: entry to ‘exfat_repair_rename_ask’
exfatprogs-1.2.8/fsck/repair.c:250:12: branch_false: following ‘false’ branch...
 branch_false: ...to here
exfatprogs-1.2.8/fsck/repair.c:256:15: call_function: calling ‘exfat_repair_ask’ from ‘exfat_repair_rename_ask’
exfatprogs-1.2.8/fsck/repair.c:256:15: return_function: returning to ‘exfat_repair_rename_ask’ from ‘exfat_repair_ask’
exfatprogs-1.2.8/fsck/repair.c:261:12: branch_true: following ‘true’ branch...
exfatprogs-1.2.8/fsck/repair.c:267:17: branch_true: ...to here
exfatprogs-1.2.8/fsck/repair.c:269:31: call_function: calling ‘get_rename_from_user’ from ‘exfat_repair_rename_ask’
exfatprogs-1.2.8/fsck/repair.c:269:31: return_function: returning to ‘exfat_repair_rename_ask’ from ‘get_rename_from_user’
exfatprogs-1.2.8/fsck/repair.c:283:20: branch_false: following ‘false’ branch (when ‘ret >= 0’)...
exfatprogs-1.2.8/fsck/repair.c:286:17: branch_false: ...to here
exfatprogs-1.2.8/fsck/repair.c:289:17: danger: use of uninitialized value ‘&utf16_name’ here
#  287|   
#  288|   		ret >>= 1;
#  289|-> 		memcpy(dentry->name_unicode, utf16_name, ENTRY_NAME_MAX * 2);
#  290|   		hash = exfat_calc_name_hash(iter->exfat, utf16_name, ret);
#  291|   		exfat_de_iter_get_dirty(iter, 1, &dentry);

Error: GCC_ANALYZER_WARNING (CWE-401): [#def2]
exfatprogs-1.2.8/lib/exfat_fs.c:228:9: warning[-Wanalyzer-malloc-leak]: leak of ‘<unknown>’
exfatprogs-1.2.8/lib/exfat_fs.c:197:21: enter_function: entry to ‘exfat_alloc_buffer’
exfatprogs-1.2.8/lib/exfat_fs.c:204:12: branch_false: following ‘false’ branch (when ‘bd’ is non-NULL)...
 branch_false: ...to here
exfatprogs-1.2.8/lib/exfat_fs.c:207:21: branch_true: following ‘true’ branch...
exfatprogs-1.2.8/lib/exfat_fs.c:208:32: branch_true: ...to here
exfatprogs-1.2.8/lib/exfat_fs.c:208:32: acquire_memory: allocated here
exfatprogs-1.2.8/lib/exfat_fs.c:209:20: branch_false: following ‘false’ branch...
exfatprogs-1.2.8/lib/exfat_fs.c:212:24: branch_false: ...to here
exfatprogs-1.2.8/lib/exfat_fs.c:207:21: branch_true: following ‘true’ branch...
exfatprogs-1.2.8/lib/exfat_fs.c:208:32: branch_true: ...to here
exfatprogs-1.2.8/lib/exfat_fs.c:209:20: branch_true: following ‘true’ branch...
exfatprogs-1.2.8/lib/exfat_fs.c:210:25: branch_true: ...to here
exfatprogs-1.2.8/lib/exfat_fs.c:216:9: call_function: calling ‘exfat_free_buffer’ from ‘exfat_alloc_buffer’
#  226|   			free(bd[i].buffer);
#  227|   	}
#  228|-> 	free(bd);
#  229|   }
#  230|   

Error: GCC_ANALYZER_WARNING (CWE-457): [#def3]
exfatprogs-1.2.8/lib/libexfat.c:514:9: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘&volume_label’
exfatprogs-1.2.8/lib/libexfat.c:470:5: enter_function: entry to ‘exfat_set_volume_label’
exfatprogs-1.2.8/lib/libexfat.c:484:12: branch_false: following ‘false’ branch...
exfatprogs-1.2.8/lib/libexfat.c:489:24: branch_false: ...to here
exfatprogs-1.2.8/lib/libexfat.c:490:20: branch_false: following ‘false’ branch (when ‘pvol’ is non-NULL)...
exfatprogs-1.2.8/lib/libexfat.c:494:17: branch_false: ...to here
exfatprogs-1.2.8/lib/libexfat.c:499:12: branch_false: following ‘false’ branch (when ‘volume_label_len >= 0’)...
exfatprogs-1.2.8/lib/libexfat.c:505:30: branch_false: ...to here
exfatprogs-1.2.8/lib/libexfat.c:506:15: call_function: calling ‘exfat_check_name’ from ‘exfat_set_volume_label’
exfatprogs-1.2.8/lib/libexfat.c:506:15: return_function: returning to ‘exfat_set_volume_label’ from ‘exfat_check_name’
exfatprogs-1.2.8/lib/libexfat.c:507:12: branch_false: following ‘false’ branch...
exfatprogs-1.2.8/lib/libexfat.c:514:9: branch_false: ...to here
exfatprogs-1.2.8/lib/libexfat.c:514:9: danger: use of uninitialized value ‘&volume_label’ here
#  512|   	}
#  513|   
#  514|-> 	memcpy(pvol->vol_label, volume_label, volume_label_len);
#  515|   
#  516|   	loc.parent = exfat->root;

Error: GCC_ANALYZER_WARNING (CWE-131): [#def4]
exfatprogs-1.2.8/lib/libexfat.c:727:24: warning[-Wanalyzer-allocation-size]: allocated buffer size is not a multiple of the pointee's size
#  725|   	unsigned int sec_idx = CHECKSUM_SEC_IDX;
#  726|   
#  727|-> 	checksum_buf = malloc(bd->sector_size);
#  728|   	if (!checksum_buf)
#  729|   		return -1;

Error: GCC_ANALYZER_WARNING (CWE-457): [#def5]
exfatprogs-1.2.8/lib/libexfat.c:1087:42: warning[-Wanalyzer-use-of-uninitialized-value]: use of uninitialized value ‘*<unknown>’
exfatprogs-1.2.8/lib/libexfat.c:470:5: enter_function: entry to ‘exfat_set_volume_label’
exfatprogs-1.2.8/lib/libexfat.c:484:12: branch_false: following ‘false’ branch...
exfatprogs-1.2.8/lib/libexfat.c:489:24: branch_false: ...to here
exfatprogs-1.2.8/lib/libexfat.c:490:20: branch_false: following ‘false’ branch (when ‘pvol’ is non-NULL)...
exfatprogs-1.2.8/lib/libexfat.c:494:17: branch_false: ...to here
exfatprogs-1.2.8/lib/libexfat.c:499:12: branch_false: following ‘false’ branch (when ‘volume_label_len >= 0’)...
exfatprogs-1.2.8/lib/libexfat.c:505:30: branch_false: ...to here
exfatprogs-1.2.8/lib/libexfat.c:506:15: call_function: calling ‘exfat_check_name’ from ‘exfat_set_volume_label’
# 1085|   
# 1086|   	for (i = 0; i < len; i++) {
# 1087|-> 		if (check_bad_utf16_char(le16_to_cpu(utf16_name[i])))
# 1088|   			break;
# 1089|   	}

Scan Properties