xref: /freebsd/lib/libsecureboot/pass_manifest.c (revision 1d386b48a555f61cb7325543adbbb5c3f3407a66)
1*b0fefb25SMarcin Wojtas /*-
2*b0fefb25SMarcin Wojtas  * Copyright (c) 2019 Stormshield.
3*b0fefb25SMarcin Wojtas  * Copyright (c) 2019 Semihalf.
4*b0fefb25SMarcin Wojtas  *
5*b0fefb25SMarcin Wojtas  * Redistribution and use in source and binary forms, with or without
6*b0fefb25SMarcin Wojtas  * modification, are permitted provided that the following conditions
7*b0fefb25SMarcin Wojtas  * are met:
8*b0fefb25SMarcin Wojtas  * 1. Redistributions of source code must retain the above copyright
9*b0fefb25SMarcin Wojtas  *    notice, this list of conditions and the following disclaimer.
10*b0fefb25SMarcin Wojtas  * 2. Redistributions in binary form must reproduce the above copyright
11*b0fefb25SMarcin Wojtas  *    notice, this list of conditions and the following disclaimer in the
12*b0fefb25SMarcin Wojtas  *    documentation and/or other materials provided with the distribution.
13*b0fefb25SMarcin Wojtas  *
14*b0fefb25SMarcin Wojtas  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
15*b0fefb25SMarcin Wojtas  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
16*b0fefb25SMarcin Wojtas  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
17*b0fefb25SMarcin Wojtas  * DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT,
18*b0fefb25SMarcin Wojtas  * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
19*b0fefb25SMarcin Wojtas  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
20*b0fefb25SMarcin Wojtas  * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21*b0fefb25SMarcin Wojtas  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
22*b0fefb25SMarcin Wojtas  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
23*b0fefb25SMarcin Wojtas  * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
24*b0fefb25SMarcin Wojtas  * POSSIBILITY OF SUCH DAMAGE.
25*b0fefb25SMarcin Wojtas  */
26*b0fefb25SMarcin Wojtas #include <sys/cdefs.h>
27*b0fefb25SMarcin Wojtas #include <sys/stat.h>
28*b0fefb25SMarcin Wojtas 
29*b0fefb25SMarcin Wojtas #include "libsecureboot-priv.h"
30*b0fefb25SMarcin Wojtas #include <verify_file.h>
31*b0fefb25SMarcin Wojtas 
32*b0fefb25SMarcin Wojtas /*
33*b0fefb25SMarcin Wojtas  * Values to pass to kernel by envs.
34*b0fefb25SMarcin Wojtas  */
35*b0fefb25SMarcin Wojtas static char manifest_path[MAXPATHLEN];
36*b0fefb25SMarcin Wojtas static char manifest_prefix[MAXPATHLEN];
37*b0fefb25SMarcin Wojtas static char manifest_hash[2 * br_sha256_SIZE + 2];
38*b0fefb25SMarcin Wojtas static int manifest_present = 0;
39*b0fefb25SMarcin Wojtas 
40*b0fefb25SMarcin Wojtas /*
41*b0fefb25SMarcin Wojtas  * Verify and pass manifest path and digest to kernel through envs.
42*b0fefb25SMarcin Wojtas  * The paths in manifest can be either absolute,
43*b0fefb25SMarcin Wojtas  * or "prefix", if exists will be added to the ones that are not.
44*b0fefb25SMarcin Wojtas  */
45*b0fefb25SMarcin Wojtas int
pass_manifest(const char * path,const char * prefix)46*b0fefb25SMarcin Wojtas pass_manifest(const char *path, const char *prefix)
47*b0fefb25SMarcin Wojtas {
48*b0fefb25SMarcin Wojtas 	char *content;
49*b0fefb25SMarcin Wojtas 	struct stat st;
50*b0fefb25SMarcin Wojtas 	unsigned char digest[br_sha256_SIZE];
51*b0fefb25SMarcin Wojtas 	const br_hash_class *md;
52*b0fefb25SMarcin Wojtas 	br_hash_compat_context ctx;
53*b0fefb25SMarcin Wojtas 	int rc;
54*b0fefb25SMarcin Wojtas 
55*b0fefb25SMarcin Wojtas 	content = NULL;
56*b0fefb25SMarcin Wojtas 	md = &br_sha256_vtable;
57*b0fefb25SMarcin Wojtas 
58*b0fefb25SMarcin Wojtas 	if (strnlen(path, MAXPATHLEN) == MAXPATHLEN ||
59*b0fefb25SMarcin Wojtas 	    strnlen(prefix, MAXPATHLEN) == MAXPATHLEN)
60*b0fefb25SMarcin Wojtas 		return (EINVAL);
61*b0fefb25SMarcin Wojtas 
62*b0fefb25SMarcin Wojtas 	rc = stat(path, &st);
63*b0fefb25SMarcin Wojtas 	if (rc != 0)
64*b0fefb25SMarcin Wojtas 		goto out;
65*b0fefb25SMarcin Wojtas 
66*b0fefb25SMarcin Wojtas 	if (!S_ISREG(st.st_mode)) {
67*b0fefb25SMarcin Wojtas 		rc = EINVAL;
68*b0fefb25SMarcin Wojtas 		goto out;
69*b0fefb25SMarcin Wojtas 	}
70*b0fefb25SMarcin Wojtas 
71*b0fefb25SMarcin Wojtas 	rc = is_verified(&st);
72*b0fefb25SMarcin Wojtas 
73*b0fefb25SMarcin Wojtas 	if (rc != VE_NOT_CHECKED && rc != VE_VERIFIED) {
74*b0fefb25SMarcin Wojtas 		rc = EPERM;
75*b0fefb25SMarcin Wojtas 		goto out;
76*b0fefb25SMarcin Wojtas 	}
77*b0fefb25SMarcin Wojtas 
78*b0fefb25SMarcin Wojtas 	if (rc == VE_VERIFIED)
79*b0fefb25SMarcin Wojtas 		content = read_file(path, NULL);
80*b0fefb25SMarcin Wojtas 	else
81*b0fefb25SMarcin Wojtas 		content = (char *)verify_signed(path, VEF_VERBOSE);
82*b0fefb25SMarcin Wojtas 
83*b0fefb25SMarcin Wojtas 	if (content == NULL) {
84*b0fefb25SMarcin Wojtas 		add_verify_status(&st, VE_FINGERPRINT_WRONG);
85*b0fefb25SMarcin Wojtas 		rc = EIO;
86*b0fefb25SMarcin Wojtas 		goto out;
87*b0fefb25SMarcin Wojtas 	}
88*b0fefb25SMarcin Wojtas 
89*b0fefb25SMarcin Wojtas 	add_verify_status(&st, VE_VERIFIED);
90*b0fefb25SMarcin Wojtas 
91*b0fefb25SMarcin Wojtas 	md->init(&ctx.vtable);
92*b0fefb25SMarcin Wojtas 	md->update(&ctx.vtable, content, st.st_size);
93*b0fefb25SMarcin Wojtas 	md->out(&ctx.vtable, digest);
94*b0fefb25SMarcin Wojtas 
95*b0fefb25SMarcin Wojtas 	if (prefix == NULL)
96*b0fefb25SMarcin Wojtas 		manifest_prefix[0] = '\0';
97*b0fefb25SMarcin Wojtas 	else
98*b0fefb25SMarcin Wojtas 		strcpy(manifest_prefix, prefix);
99*b0fefb25SMarcin Wojtas 
100*b0fefb25SMarcin Wojtas 	strcpy(manifest_path, path);
101*b0fefb25SMarcin Wojtas 
102*b0fefb25SMarcin Wojtas 	hexdigest(manifest_hash, 2 * br_sha256_SIZE + 2,
103*b0fefb25SMarcin Wojtas 	    digest, br_sha256_SIZE);
104*b0fefb25SMarcin Wojtas 	manifest_hash[2*br_sha256_SIZE] = '\0';
105*b0fefb25SMarcin Wojtas 
106*b0fefb25SMarcin Wojtas 	manifest_present = 1;
107*b0fefb25SMarcin Wojtas 	rc = 0;
108*b0fefb25SMarcin Wojtas 
109*b0fefb25SMarcin Wojtas out:
110*b0fefb25SMarcin Wojtas 	if (content != NULL)
111*b0fefb25SMarcin Wojtas 		free(content);
112*b0fefb25SMarcin Wojtas 
113*b0fefb25SMarcin Wojtas 	return (rc);
114*b0fefb25SMarcin Wojtas }
115*b0fefb25SMarcin Wojtas 
116*b0fefb25SMarcin Wojtas /*
117*b0fefb25SMarcin Wojtas  * Set appropriate envs to inform kernel about manifest location and digest.
118*b0fefb25SMarcin Wojtas  * This should be called right before boot so that envs can't be replaced.
119*b0fefb25SMarcin Wojtas  */
120*b0fefb25SMarcin Wojtas int
pass_manifest_export_envs()121*b0fefb25SMarcin Wojtas pass_manifest_export_envs()
122*b0fefb25SMarcin Wojtas {
123*b0fefb25SMarcin Wojtas 	int rc;
124*b0fefb25SMarcin Wojtas 
125*b0fefb25SMarcin Wojtas 	/* If we have nothing to pass make sure that envs are empty. */
126*b0fefb25SMarcin Wojtas 	if (!manifest_present) {
127*b0fefb25SMarcin Wojtas 		unsetenv("veriexec.manifest_path");
128*b0fefb25SMarcin Wojtas 		unsetenv("veriexec.manifest_hash");
129*b0fefb25SMarcin Wojtas 		unsetenv("veriexec.manifest_prefix");
130*b0fefb25SMarcin Wojtas 		return (0);
131*b0fefb25SMarcin Wojtas 	}
132*b0fefb25SMarcin Wojtas 
133*b0fefb25SMarcin Wojtas 	rc = setenv("veriexec.manifest_path", manifest_path, 1);
134*b0fefb25SMarcin Wojtas 	if (rc != 0)
135*b0fefb25SMarcin Wojtas 		return (rc);
136*b0fefb25SMarcin Wojtas 
137*b0fefb25SMarcin Wojtas 	rc = setenv("veriexec.manifest_hash", manifest_hash, 1);
138*b0fefb25SMarcin Wojtas 	if (rc != 0) {
139*b0fefb25SMarcin Wojtas 		unsetenv("veriexec.manifest_path");
140*b0fefb25SMarcin Wojtas 		return (rc);
141*b0fefb25SMarcin Wojtas 	}
142*b0fefb25SMarcin Wojtas 
143*b0fefb25SMarcin Wojtas 	if (manifest_prefix[0] != '\0')
144*b0fefb25SMarcin Wojtas 		rc = setenv("veriexec.manifest_prefix", manifest_prefix, 1);
145*b0fefb25SMarcin Wojtas 
146*b0fefb25SMarcin Wojtas 	return (rc);
147*b0fefb25SMarcin Wojtas }
148*b0fefb25SMarcin Wojtas 
149