gvfs-helper: verify loose objects after write

It is possible that a loose object that is written from a GVFS protocol
"get object" request does not match the expected hash. Error out in this
case.

2021-10-30: The prototype for read_loose_object() changed in 31deb28 (fsck:
don't hard die on invalid object types, 2021-10-01) and 96e41f5 (fsck:
report invalid object type-path combinations, 2021-10-01).

Signed-off-by: Derrick Stolee <dstolee@microsoft.com>

Author: derrickstolee

gvfs-helper.c

@@ -1897,6 +1897,30 @@ static void install_packfile(struct gh__request_params *params,
 	child_process_clear(&ip);
 }
 
+/*
+ * Wrapper for read_loose_object() to read and verify the hash of a
+ * loose object, and discard the contents buffer.
+ *
+ * Returns 0 on success, negative on error (details may be written to stderr).
+ */
+static int verify_loose_object(const char *path,
+			       const struct object_id *expected_oid)
+{
+	enum object_type type;
+	void *contents = NULL;
+	unsigned long size;
+	int ret;
+	struct object_info oi = OBJECT_INFO_INIT;
+	struct object_id real_oid = *null_oid(the_hash_algo);
+	oi.typep = &type;
+	oi.sizep = &size;
+
+	ret = read_loose_object(the_repository, path, expected_oid, &real_oid, &contents, &oi);
+	free(contents);
+
+	return ret;
+}
+
 /*
  * Convert the tempfile into a permanent loose object in the ODB.
  */
@@ -1928,6 +1952,19 @@ static void install_loose(struct gh__request_params *params,
 	strbuf_addstr(&tmp_path, get_tempfile_path(params->tempfile));
 	close_tempfile_gently(params->tempfile);
 
+	/*
+	 * Compute the hash of the received content (while it is still
+	 * in a temp file) and verify that it matches the OID that we
+	 * requested and was not corrupted.
+	 */
+	if (verify_loose_object(tmp_path.buf, &params->loose_oid)) {
+		strbuf_addf(&status->error_message,
+			    "hash failed for received loose object '%s'",
+			    oid_to_hex(&params->loose_oid));
+		status->ec = GH__ERROR_CODE__COULD_NOT_INSTALL_LOOSE;
+		goto cleanup;
+	}
+
 	/*
 	 * Try to install the tempfile as the actual loose object.
 	 *