[PATCH] verify-pack updates.
[git/git.git] / pack-check.c
1 #include "cache.h"
2 #include "pack.h"
3
4 static int verify_packfile(struct packed_git *p)
5 {
6 unsigned long index_size = p->index_size;
7 void *index_base = p->index_base;
8 SHA_CTX ctx;
9 unsigned char sha1[20];
10 unsigned long pack_size = p->pack_size;
11 void *pack_base;
12 struct pack_header *hdr;
13 int nr_objects, err, i;
14
15 /* Header consistency check */
16 hdr = p->pack_base;
17 if (hdr->hdr_signature != htonl(PACK_SIGNATURE))
18 return error("Packfile signature mismatch", p->pack_name);
19 if (hdr->hdr_version != htonl(PACK_VERSION))
20 return error("Packfile version %d different from ours %d",
21 ntohl(hdr->hdr_version), PACK_VERSION);
22 nr_objects = ntohl(hdr->hdr_entries);
23 if (num_packed_objects(p) != nr_objects)
24 return error("Packfile claims to have %d objects, "
25 "while idx size expects %d", nr_objects,
26 num_packed_objects(p));
27
28 SHA1_Init(&ctx);
29 pack_base = p->pack_base;
30 SHA1_Update(&ctx, pack_base, pack_size - 20);
31 SHA1_Final(sha1, &ctx);
32 if (memcmp(sha1, index_base + index_size - 40, 20))
33 return error("Packfile %s SHA1 mismatch with idx",
34 p->pack_name);
35 if (memcmp(sha1, pack_base + pack_size - 20, 20))
36 return error("Packfile %s SHA1 mismatch with itself",
37 p->pack_name);
38
39 /* Make sure everything reachable from idx is valid. Since we
40 * have verified that nr_objects matches between idx and pack,
41 * we do not do scan-streaming check on the pack file.
42 */
43 for (i = err = 0; i < nr_objects; i++) {
44 unsigned char sha1[20];
45 struct pack_entry e;
46 void *data;
47 char type[20];
48 unsigned long size;
49
50 if (nth_packed_object_sha1(p, i, sha1))
51 die("internal error pack-check nth-packed-object");
52 if (!find_pack_entry_one(sha1, &e, p))
53 die("internal error pack-check find-pack-entry-one");
54 data = unpack_entry_gently(&e, type, &size);
55 if (!data) {
56 err = error("cannot unpack %s from %s",
57 sha1_to_hex(sha1), p->pack_name);
58 continue;
59 }
60 if (check_sha1_signature(sha1, data, size, type)) {
61 err = error("cannot packed %s from %s corrupt",
62 sha1_to_hex(sha1), p->pack_name);
63 free(data);
64 continue;
65 }
66 free(data);
67 }
68
69 return err;
70 }
71
72
73 static void show_pack_info(struct packed_git *p)
74 {
75 /* Next round */
76 }
77
78 int verify_pack(struct packed_git *p, int verbose)
79 {
80 unsigned long index_size = p->index_size;
81 void *index_base = p->index_base;
82 SHA_CTX ctx;
83 unsigned char sha1[20];
84 int ret;
85
86 ret = 0;
87 /* Verify SHA1 sum of the index file */
88 SHA1_Init(&ctx);
89 SHA1_Update(&ctx, index_base, index_size - 20);
90 SHA1_Final(sha1, &ctx);
91 if (memcmp(sha1, index_base + index_size - 20, 20))
92 ret = error("Packfile index for %s SHA1 mismatch",
93 p->pack_name);
94
95 if (!ret) {
96 /* Verify pack file */
97 use_packed_git(p);
98 ret = verify_packfile(p);
99 unuse_packed_git(p);
100 }
101
102 if (verbose) {
103 if (ret)
104 printf("%s: bad\n", p->pack_name);
105 else {
106 show_pack_info(p);
107 printf("%s: ok\n", p->pack_name);
108 }
109 }
110
111 return ret;
112 }