xbps/bin/xbps-bin/check.c

/*-
 * Copyright (c) 2009 Juan Romero Pardines.
 * 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 ``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 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 <stdio.h>
#include <stdbool.h>
#include <stdlib.h>
#include <string.h>
#include <errno.h>

#include <xbps_api.h>
#include "defs.h"

/*
 * Checks package integrity of an installed package. This
 * consists in four tasks:
 *
 * 	o Check for metadata files (files.plist and props.plist),
 * 	  we only check if the file exists and its dictionary can
 * 	  be externalized and is not empty.
 * 	o Check for missing installed files.
 * 	o Check the hash for all installed files, except
 * 	  configuration files (which is expected if they are modified).
 * 	o Check for missing run time dependencies.
 *
 * If any of these checks fail, the package will change its
 * state to 'broken'.
 */

int
xbps_check_pkg_integrity(const char *pkgname)
{
	prop_dictionary_t pkgd, propsd, filesd;
	prop_array_t array;
	prop_object_t obj;
	prop_object_iterator_t iter;
	const char *rootdir, *file, *sha256, *reqpkg;
	char *path;
	int rv = 0;
	bool files_broken = false, broken = false;

	assert(pkgname != NULL);

	rootdir = xbps_get_rootdir();
	pkgd = xbps_find_pkg_installed_from_plist(pkgname);
	if (pkgd == NULL) {
		printf("Package %s is not installed.\n", pkgname);
		return 0;
	}

	/*
	 * Check for props.plist metadata file.
	 */
	path = xbps_xasprintf("%s/%s/metadata/%s/%s", rootdir,
	    XBPS_META_PATH, pkgname, XBPS_PKGPROPS);
	if (path == NULL) {
		rv = errno;
		goto out;
	}

	propsd = prop_dictionary_internalize_from_file(path);
	free(path);
	if (propsd == NULL) {
		printf("%s: unexistent %s metadata file.\n", pkgname,
		    XBPS_PKGPROPS);
		rv = errno;
		broken = true;
		goto out;
	} else if (prop_object_type(propsd) != PROP_TYPE_DICTIONARY) {
		printf("%s: invalid %s metadata file.\n", pkgname,
		    XBPS_PKGPROPS);
		rv = EINVAL;
		broken = true;
		goto out1;
	} else if (prop_dictionary_count(propsd) == 0) {
		printf("%s: incomplete %s metadata file.\n", pkgname,
		    XBPS_PKGPROPS);
		rv = EINVAL;
		broken = true;
		goto out1;
	}

	/*
	 * Check for files.plist metadata file.
	 */
	path = xbps_xasprintf("%s/%s/metadata/%s/%s", rootdir,
	    XBPS_META_PATH, pkgname, XBPS_PKGFILES);
	if (path == NULL) {
		rv = errno;
		goto out1;
	}

	filesd = prop_dictionary_internalize_from_file(path);
	free(path);
	if (filesd == NULL) {
		printf("%s: unexistent %s metadata file.\n", pkgname,
		    XBPS_PKGPROPS);
		rv = ENOENT;
		broken = true;
		goto out1;
	} else if (prop_object_type(filesd) != PROP_TYPE_DICTIONARY) {
		printf("%s: invalid %s metadata file.\n", pkgname,
		    XBPS_PKGFILES);
		rv = EINVAL;
		broken = true;
		goto out2;
	} else if (prop_dictionary_count(filesd) == 0) {
		printf("%s: incomplete %s metadata file.\n", pkgname,
		    XBPS_PKGFILES);
		rv = EINVAL;
		broken = true;
		goto out2;
	} else if (((array = prop_dictionary_get(filesd, "files")) == NULL) ||
		   ((array = prop_dictionary_get(filesd, "links")) == NULL) ||
		   ((array = prop_dictionary_get(filesd, "dirs")) == NULL)) {
			printf("%s: incomplete %s metadata file.\n", pkgname,
			    XBPS_PKGFILES);
			rv = EINVAL;
			broken = true;
			goto out2;
	}

	/*
	 * Check for missing files and its hash.
	 */
	array = prop_dictionary_get(filesd, "files");
	if ((prop_object_type(array) == PROP_TYPE_ARRAY) &&
	     prop_array_count(array) > 0) {
		iter = xbps_get_array_iter_from_dict(filesd, "files");
		if (iter == NULL) {
			rv = ENOMEM;
			goto out2;
		}
		while ((obj = prop_object_iterator_next(iter))) {
			prop_dictionary_get_cstring_nocopy(obj, "file", &file);
			path = xbps_xasprintf("%s/%s", rootdir, file);
			if (path == NULL) {
				prop_object_iterator_release(iter);
				rv = errno;
				goto out2;
			}
                        prop_dictionary_get_cstring_nocopy(obj,
                            "sha256", &sha256);
			rv = xbps_check_file_hash(path, sha256);
			switch (rv) {
			case 0:
				break;
			case ENOENT:
				printf("%s: unexistent file %s.\n",
				    pkgname, file);
				files_broken = true;
				broken = true;
				break;
			case ERANGE:
                                printf("%s: hash mismatch for %s.\n",
				    pkgname, file);
				files_broken = true;
				broken = true;
				break;
			default:
				printf("%s: unexpected error for %s (%s)\n",
				    pkgname, file, strerror(rv));
				break;
			}
			free(path);
                }
                prop_object_iterator_release(iter);
		if (files_broken)
			printf("%s: files check FAILED.\n", pkgname);
	}

	/*
	 * Check for missing configuration files.
	 */
	array = prop_dictionary_get(filesd, "conf_files");
	if (array && prop_object_type(array) == PROP_TYPE_ARRAY &&
	    prop_array_count(array) > 0) {
		iter = xbps_get_array_iter_from_dict(filesd, "conf_files");
		if (iter == NULL) {
			rv = ENOMEM;
			goto out2;
		}
		while ((obj = prop_object_iterator_next(iter))) {
			prop_dictionary_get_cstring_nocopy(obj, "file", &file);
			path = xbps_xasprintf("%s/%s", rootdir, file);
			if (path == NULL) {
				prop_object_iterator_release(iter);
				rv = ENOMEM;
				goto out2;
			}
			if ((rv = access(path, R_OK)) == -1) {
				if (errno == ENOENT) {
					printf("%s: unexistent file %s\n",
					    pkgname, file);
					broken = true;
				} else
					printf("%s: unexpected error for "
					    "%s (%s)\n", pkgname, file,
					    strerror(errno));
			}
			free(path);
		}
		prop_object_iterator_release(iter);
		if (rv != 0)
			printf("%s: configuration files check FAILED.\n",
			    pkgname);
	}

	/*
	 * Check for missing run time dependencies.
	 */
	if (xbps_pkg_has_rundeps(propsd)) {
		iter = xbps_get_array_iter_from_dict(propsd, "run_depends");
		if (iter == NULL) {
			rv = ENOMEM;
			goto out2;
		}
		while ((obj = prop_object_iterator_next(iter))) {
			reqpkg = prop_string_cstring_nocopy(obj);
			if (xbps_check_is_installed_pkg(reqpkg) < 0) {
				rv = ENOENT;
				printf("%s: dependency not satisfied: %s\n",
				    pkgname, reqpkg);
				broken = true;
			}
		}
		prop_object_iterator_release(iter);
		if (rv == ENOENT)
			printf("%s: run-time dependency check FAILED.\n",
			    pkgname);
	}

out2:
	prop_object_release(filesd);
out1:
	prop_object_release(propsd);
out:
	prop_object_release(pkgd);

	if (broken) {
		rv = xbps_set_pkg_state_installed(pkgname,
		    XBPS_PKG_STATE_BROKEN);
		if (rv == 0)
			printf("%s: changed package state to broken.\n",
			    pkgname);
		else
			printf("%s: can't change package state (%s).\n",
			    pkgname, strerror(rv));
	}

	xbps_release_regpkgdb_dict();

	return rv;
}