| /*- |
| * Copyright (c) 2003-2007 Tim Kientzle |
| * All rights reserved. |
| * |
| * Redistribution and use in source and binary forms, with or without |
| * modification, are permitted provided that the following conditions |
| * are met: |
| * 1. Redistributions of source code must retain the above copyright |
| * notice, this list of conditions and the following disclaimer. |
| * 2. Redistributions in binary form must reproduce the above copyright |
| * notice, this list of conditions and the following disclaimer in the |
| * documentation and/or other materials provided with the distribution. |
| * |
| * THIS SOFTWARE IS PROVIDED BY THE AUTHOR(S) ``AS IS'' AND ANY EXPRESS OR |
| * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES |
| * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. |
| * IN NO EVENT SHALL THE AUTHOR(S) BE LIABLE FOR ANY DIRECT, INDIRECT, |
| * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT |
| * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, |
| * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY |
| * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF |
| * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| */ |
| #include "test.h" |
| __FBSDID("$FreeBSD: head/lib/libarchive/test/test_read_pax_truncated.c 189483 2009-03-07 03:34:34Z kientzle $"); |
| |
| DEFINE_TEST(test_read_pax_truncated) |
| { |
| struct archive_entry *ae; |
| struct archive *a; |
| size_t used, i, buff_size = 1000000; |
| size_t filedata_size = 100000; |
| char *buff = malloc(buff_size); |
| char *buff2 = malloc(buff_size); |
| char *filedata = malloc(filedata_size); |
| |
| /* Create a new archive in memory. */ |
| assert((a = archive_write_new()) != NULL); |
| assertEqualIntA(a, ARCHIVE_OK, archive_write_set_format_pax(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_write_set_compression_none(a)); |
| assertEqualIntA(a, ARCHIVE_OK, |
| archive_write_open_memory(a, buff, buff_size, &used)); |
| |
| /* |
| * Write a file to it. |
| */ |
| assert((ae = archive_entry_new()) != NULL); |
| archive_entry_copy_pathname(ae, "file"); |
| archive_entry_set_mode(ae, S_IFREG | 0755); |
| for (i = 0; i < filedata_size; i++) |
| filedata[i] = (unsigned char)rand(); |
| archive_entry_set_atime(ae, 1, 2); |
| archive_entry_set_ctime(ae, 3, 4); |
| archive_entry_set_mtime(ae, 5, 6); |
| archive_entry_set_size(ae, filedata_size); |
| assertEqualIntA(a, ARCHIVE_OK, archive_write_header(a, ae)); |
| archive_entry_free(ae); |
| assertEqualIntA(a, (int)filedata_size, |
| (int)archive_write_data(a, filedata, filedata_size)); |
| |
| /* Close out the archive. */ |
| assertEqualIntA(a, ARCHIVE_OK, archive_write_close(a)); |
| assertEqualInt(ARCHIVE_OK, archive_write_free(a)); |
| |
| /* Now, read back a truncated version of the archive and |
| * verify that we get an appropriate error. */ |
| for (i = 1; i < used + 100; i += 100) { |
| assert((a = archive_read_new()) != NULL); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_format_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_filter_all(a)); |
| /* If it's truncated very early, the file type detection should fail. */ |
| if (i < 512) { |
| assertEqualIntA(a, ARCHIVE_FATAL, read_open_memory_minimal(a, buff, i, 13)); |
| goto wrap_up; |
| } else { |
| assertEqualIntA(a, ARCHIVE_OK, read_open_memory_minimal(a, buff, i, 13)); |
| } |
| |
| /* If it's truncated in a header, the header read should fail. */ |
| if (i < 1536) { |
| assertEqualIntA(a, ARCHIVE_FATAL, archive_read_next_header(a, &ae)); |
| goto wrap_up; |
| } else { |
| failure("Archive truncated to %d bytes", i); |
| assertEqualIntA(a, 0, archive_read_next_header(a, &ae)); |
| } |
| |
| /* If it's truncated in the body, the body read should fail. */ |
| if (i < 1536 + filedata_size) { |
| assertEqualIntA(a, ARCHIVE_FATAL, archive_read_data(a, filedata, filedata_size)); |
| goto wrap_up; |
| } else { |
| failure("Archive truncated to %d bytes", i); |
| assertEqualIntA(a, filedata_size, |
| archive_read_data(a, filedata, filedata_size)); |
| } |
| |
| /* Verify the end of the archive. */ |
| /* Archive must be long enough to capture a 512-byte |
| * block of zeroes after the entry. (POSIX requires a |
| * second block of zeros to be written but libarchive |
| * does not return an error if it can't consume |
| * it.) */ |
| if (i < 1536 + 512*((filedata_size + 511)/512) + 512) { |
| failure("i=%d minsize=%d", i, |
| 1536 + 512*((filedata_size + 511)/512) + 512); |
| assertEqualIntA(a, ARCHIVE_FATAL, |
| archive_read_next_header(a, &ae)); |
| } else { |
| assertEqualIntA(a, ARCHIVE_EOF, |
| archive_read_next_header(a, &ae)); |
| } |
| wrap_up: |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_close(a)); |
| assertEqualInt(ARCHIVE_OK, archive_read_free(a)); |
| } |
| |
| |
| |
| /* Same as above, except skip the body instead of reading it. */ |
| for (i = 1; i < used + 100; i += 100) { |
| assert((a = archive_read_new()) != NULL); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_format_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_filter_all(a)); |
| /* If it's truncated very early, file type detection should fail. */ |
| if (i < 512) { |
| assertEqualIntA(a, ARCHIVE_FATAL, read_open_memory(a, buff, i, 7)); |
| goto wrap_up2; |
| } else { |
| assertEqualIntA(a, ARCHIVE_OK, read_open_memory(a, buff, i, 7)); |
| } |
| |
| if (i < 1536) { |
| assertEqualIntA(a, ARCHIVE_FATAL, archive_read_next_header(a, &ae)); |
| goto wrap_up2; |
| } else { |
| assertEqualIntA(a, 0, archive_read_next_header(a, &ae)); |
| } |
| |
| if (i < 1536 + 512*((filedata_size+511)/512)) { |
| assertEqualIntA(a, ARCHIVE_FATAL, archive_read_data_skip(a)); |
| goto wrap_up2; |
| } else { |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_data_skip(a)); |
| } |
| |
| /* Verify the end of the archive. */ |
| /* Archive must be long enough to capture a 512-byte |
| * block of zeroes after the entry. (POSIX requires a |
| * second block of zeros to be written but libarchive |
| * does not return an error if it can't consume |
| * it.) */ |
| if (i < 1536 + 512*((filedata_size + 511)/512) + 512) { |
| assertEqualIntA(a, ARCHIVE_FATAL, |
| archive_read_next_header(a, &ae)); |
| } else { |
| assertEqualIntA(a, ARCHIVE_EOF, |
| archive_read_next_header(a, &ae)); |
| } |
| wrap_up2: |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_close(a)); |
| assertEqualInt(ARCHIVE_OK, archive_read_free(a)); |
| } |
| |
| /* Now, damage the archive in various ways and test the responses. */ |
| |
| /* Damage the first size field in the pax attributes. */ |
| memcpy(buff2, buff, buff_size); |
| buff2[512] = '9'; |
| buff2[513] = '9'; |
| buff2[514] = 'A'; /* Non-digit in size. */ |
| assert((a = archive_read_new()) != NULL); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_format_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_filter_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_open_memory(a, buff2, used)); |
| assertEqualIntA(a, ARCHIVE_WARN, archive_read_next_header(a, &ae)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_close(a)); |
| assertEqualInt(ARCHIVE_OK, archive_read_free(a)); |
| |
| /* Damage the size field in the pax attributes. */ |
| memcpy(buff2, buff, buff_size); |
| buff2[512] = 'A'; /* First character not a digit. */ |
| assert((a = archive_read_new()) != NULL); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_format_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_filter_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_open_memory(a, buff2, used)); |
| assertEqualIntA(a, ARCHIVE_WARN, archive_read_next_header(a, &ae)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_close(a)); |
| assertEqualInt(ARCHIVE_OK, archive_read_free(a)); |
| |
| /* Damage the size field in the pax attributes. */ |
| memcpy(buff2, buff, buff_size); |
| for (i = 512; i < 520; i++) /* Size over 999999. */ |
| buff2[i] = '9'; |
| buff2[i] = ' '; |
| assert((a = archive_read_new()) != NULL); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_format_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_filter_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_open_memory(a, buff2, used)); |
| assertEqualIntA(a, ARCHIVE_WARN, archive_read_next_header(a, &ae)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_close(a)); |
| assertEqualInt(ARCHIVE_OK, archive_read_free(a)); |
| |
| /* Damage the size field in the pax attributes. */ |
| memcpy(buff2, buff, buff_size); |
| buff2[512] = '9'; /* Valid format, but larger than attribute area. */ |
| buff2[513] = '9'; |
| buff2[514] = '9'; |
| buff2[515] = ' '; |
| assert((a = archive_read_new()) != NULL); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_format_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_filter_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_open_memory(a, buff2, used)); |
| assertEqualIntA(a, ARCHIVE_WARN, archive_read_next_header(a, &ae)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_close(a)); |
| assertEqualInt(ARCHIVE_OK, archive_read_free(a)); |
| |
| /* Damage the size field in the pax attributes. */ |
| memcpy(buff2, buff, buff_size); |
| buff2[512] = '1'; /* Too small. */ |
| buff2[513] = ' '; |
| assert((a = archive_read_new()) != NULL); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_format_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_filter_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_open_memory(a, buff2, used)); |
| assertEqualIntA(a, ARCHIVE_WARN, archive_read_next_header(a, &ae)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_close(a)); |
| assertEqualInt(ARCHIVE_OK, archive_read_free(a)); |
| |
| /* Damage the size field in the pax attributes. */ |
| memcpy(buff2, buff, buff_size); |
| buff2[512] = ' '; /* No size given. */ |
| assert((a = archive_read_new()) != NULL); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_format_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_filter_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_open_memory(a, buff2, used)); |
| assertEqualIntA(a, ARCHIVE_WARN, archive_read_next_header(a, &ae)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_close(a)); |
| assertEqualInt(ARCHIVE_OK, archive_read_free(a)); |
| |
| /* Damage the ustar header. */ |
| memcpy(buff2, buff, buff_size); |
| buff2[1024]++; /* Break the checksum. */ |
| assert((a = archive_read_new()) != NULL); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_format_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_support_filter_all(a)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_open_memory(a, buff2, used)); |
| assertEqualIntA(a, ARCHIVE_FATAL, archive_read_next_header(a, &ae)); |
| assertEqualIntA(a, ARCHIVE_OK, archive_read_close(a)); |
| assertEqualInt(ARCHIVE_OK, archive_read_free(a)); |
| |
| /* |
| * TODO: Damage the ustar header in various ways and fixup the |
| * checksum in order to test boundary cases in the innermost |
| * ustar header parsing. |
| */ |
| |
| free(buff); |
| free(buff2); |
| free(filedata); |
| } |