X-Git-Url: https://wimlib.net/git/?a=blobdiff_plain;f=src%2Fverify.c;h=eae4b38612ed799baefcbdacbbf5fbbcb406807f;hb=07319692b785446fb5aab6c455443554f9c00ec7;hp=166a9e88ed710bbef852edc44388fd62e780a4ca;hpb=49f2ae12d9940ab43f9a6df793facb1d8dddf5ea;p=wimlib diff --git a/src/verify.c b/src/verify.c index 166a9e88..eae4b386 100644 --- a/src/verify.c +++ b/src/verify.c @@ -6,7 +6,7 @@ */ /* - * Copyright (C) 2012 Eric Biggers + * Copyright (C) 2012, 2013 Eric Biggers * * wimlib - Library for working with WIM files * @@ -57,7 +57,7 @@ static int verify_inode(struct wim_inode *inode, const WIMStruct *w) /* Check that lookup table entries for all the inode's stream exist, * except if the SHA1 message digest is all 0's, which indicates an - * empty stream. + * empty stream. * * This check is skipped on split WIMs. */ if (w->hdr.total_parts == 1) { @@ -128,11 +128,9 @@ static int verify_inode(struct wim_inode *inode, const WIMStruct *w) goto out; } - /* Currently ignoring this test because wimlib does not apply DOS names - * to a file with hard links (see apply_dentry_ntfs()). */ -#if 0 /* Files cannot have multiple DOS names, even if they have multiple - * names in multiple directories (i.e. hard links) ??? XXX */ + * names in multiple directories (i.e. hard links). + * Source: NTFS-3g authors. */ const struct wim_dentry *dentry_with_dos_name = NULL; inode_for_each_dentry(dentry, inode) { if (dentry->short_name_len) { @@ -146,7 +144,6 @@ static int verify_inode(struct wim_inode *inode, const WIMStruct *w) dentry_with_dos_name = dentry; } } -#endif /* Directories with multiple links have not been tested. XXX */ if (inode->i_nlink > 1 && inode->i_attributes & FILE_ATTRIBUTE_DIRECTORY) { @@ -177,7 +174,10 @@ int verify_dentry(struct wim_dentry *dentry, void *wim) /* Make sure root dentry is unnamed, while every other dentry has at * least a long name. * - * XXX Files having only a DOS name may be acceptable. */ + * I am assuming that dentries having only a DOS name is illegal; i.e., + * Windows will always combine the Win32 name and DOS name for a file + * into a single WIM dentry, even if they are stored separately on NTFS. + * (This seems to be the case...) */ if (dentry_is_root(dentry)) { if (dentry->file_name_len || dentry->short_name_len) { ERROR("The root dentry is named `%s', but it must " @@ -212,11 +212,13 @@ static int image_run_full_verifications(WIMStruct *w) static int lte_fix_refcnt(struct wim_lookup_table_entry *lte, void *ctr) { if (lte->refcnt != lte->real_refcnt) { + #ifdef ENABLE_ERROR_MESSAGES WARNING("The following lookup table entry has a reference " "count of %u, but", lte->refcnt); WARNING("We found %u references to it", lte->real_refcnt); - print_lookup_table_entry(lte); + print_lookup_table_entry(lte, stderr); + #endif lte->refcnt = lte->real_refcnt; ++*(unsigned long *)ctr; } @@ -312,48 +314,54 @@ int verify_swm_set(WIMStruct *w, WIMStruct **additional_swms, ctype = wimlib_get_compression_type(w); guid = w->hdr.guid; - WIMStruct *parts_to_swms[num_additional_swms]; - ZERO_ARRAY(parts_to_swms); - for (unsigned i = 0; i < num_additional_swms; i++) { + { + /* parts_to_swms is not allocated at function scope because it + * should only be allocated after num_additional_swms was + * checked to be the same as w->hdr.total_parts. Otherwise, it + * could be unexpectedly high and cause a stack overflow. */ + WIMStruct *parts_to_swms[num_additional_swms]; + ZERO_ARRAY(parts_to_swms); + for (unsigned i = 0; i < num_additional_swms; i++) { - WIMStruct *swm = additional_swms[i]; + WIMStruct *swm = additional_swms[i]; - if (wimlib_get_compression_type(swm) != ctype) { - ERROR("The split WIMs do not all have the same " - "compression type"); - return WIMLIB_ERR_SPLIT_INVALID; - } - if (memcmp(guid, swm->hdr.guid, WIM_GID_LEN) != 0) { - ERROR("The split WIMs do not all have the same " - "GUID"); - return WIMLIB_ERR_SPLIT_INVALID; - } - if (swm->hdr.part_number == 1) { - ERROR("WIMs `%s' and `%s' both are marked as the " - "first WIM in the spanned set", - w->filename, swm->filename); - return WIMLIB_ERR_SPLIT_INVALID; - } - if (swm->hdr.part_number == 0 || - swm->hdr.part_number > total_parts) - { - ERROR("WIM `%s' says it is part %u in the spanned set, " - "but the part number must be in the range " - "[1, %u]", - swm->filename, swm->hdr.part_number, total_parts); - return WIMLIB_ERR_SPLIT_INVALID; - } - if (parts_to_swms[swm->hdr.part_number - 2]) - { - ERROR("`%s' and `%s' are both marked as part %u of %u " - "in the spanned set", - parts_to_swms[swm->hdr.part_number - 2]->filename, - swm->filename, - swm->hdr.part_number, - total_parts); - return WIMLIB_ERR_SPLIT_INVALID; - } else { - parts_to_swms[swm->hdr.part_number - 2] = swm; + if (wimlib_get_compression_type(swm) != ctype) { + ERROR("The split WIMs do not all have the same " + "compression type"); + return WIMLIB_ERR_SPLIT_INVALID; + } + if (memcmp(guid, swm->hdr.guid, WIM_GID_LEN) != 0) { + ERROR("The split WIMs do not all have the same " + "GUID"); + return WIMLIB_ERR_SPLIT_INVALID; + } + if (swm->hdr.part_number == 1) { + ERROR("WIMs `%s' and `%s' both are marked as the " + "first WIM in the spanned set", + w->filename, swm->filename); + return WIMLIB_ERR_SPLIT_INVALID; + } + if (swm->hdr.part_number == 0 || + swm->hdr.part_number > total_parts) + { + ERROR("WIM `%s' says it is part %u in the spanned set, " + "but the part number must be in the range " + "[1, %u]", + swm->filename, swm->hdr.part_number, total_parts); + return WIMLIB_ERR_SPLIT_INVALID; + } + if (parts_to_swms[swm->hdr.part_number - 2]) + { + ERROR("`%s' and `%s' are both marked as part %u of %u " + "in the spanned set", + parts_to_swms[swm->hdr.part_number - 2]->filename, + swm->filename, + swm->hdr.part_number, + total_parts); + return WIMLIB_ERR_SPLIT_INVALID; + } else { + parts_to_swms[swm->hdr.part_number - 2] = swm; + } } } return 0;