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