xref: /freebsd/lib/libveriexec/veriexec_get.c (revision a2f733abcff64628b7771a47089628b7327a88bd)
18512d82eSSteve Kiernan /*-
28512d82eSSteve Kiernan  * SPDX-License-Identifier: BSD-2-Clause
38512d82eSSteve Kiernan  *
48512d82eSSteve Kiernan  * Copyright (c) 2021-2023, Juniper Networks, Inc.
58512d82eSSteve Kiernan  * All rights reserved.
68512d82eSSteve Kiernan  *
78512d82eSSteve Kiernan  * Redistribution and use in source and binary forms, with or without
88512d82eSSteve Kiernan  * modification, are permitted provided that the following conditions
98512d82eSSteve Kiernan  * are met:
108512d82eSSteve Kiernan  * 1. Redistributions of source code must retain the above copyright
118512d82eSSteve Kiernan  *    notice, this list of conditions and the following disclaimer.
128512d82eSSteve Kiernan  * 2. Redistributions in binary form must reproduce the above copyright
138512d82eSSteve Kiernan  *    notice, this list of conditions and the following disclaimer in the
148512d82eSSteve Kiernan  *    documentation and/or other materials provided with the distribution.
158512d82eSSteve Kiernan  *
168512d82eSSteve Kiernan  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
178512d82eSSteve Kiernan  * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
188512d82eSSteve Kiernan  * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
198512d82eSSteve Kiernan  * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
208512d82eSSteve Kiernan  * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
218512d82eSSteve Kiernan  * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
228512d82eSSteve Kiernan  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
238512d82eSSteve Kiernan  * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
248512d82eSSteve Kiernan  * OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
258512d82eSSteve Kiernan  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
268512d82eSSteve Kiernan  * SUCH DAMAGE.
278512d82eSSteve Kiernan  *
288512d82eSSteve Kiernan  */
298512d82eSSteve Kiernan 
308512d82eSSteve Kiernan #include <sys/types.h>
318512d82eSSteve Kiernan #include <sys/errno.h>
328512d82eSSteve Kiernan #include <sys/mac.h>
338512d82eSSteve Kiernan 
348512d82eSSteve Kiernan #include <unistd.h>
358512d82eSSteve Kiernan #include <string.h>
368512d82eSSteve Kiernan 
378512d82eSSteve Kiernan #include <security/mac_veriexec/mac_veriexec.h>
388512d82eSSteve Kiernan 
398512d82eSSteve Kiernan /**
408512d82eSSteve Kiernan  * @brief get veriexec params for a process
418512d82eSSteve Kiernan  *
428512d82eSSteve Kiernan  * @return
438512d82eSSteve Kiernan  * @li 0 if successful
448512d82eSSteve Kiernan  */
458512d82eSSteve Kiernan int
veriexec_get_pid_params(pid_t pid,struct mac_veriexec_syscall_params * params)468512d82eSSteve Kiernan veriexec_get_pid_params(pid_t pid,
478512d82eSSteve Kiernan     struct mac_veriexec_syscall_params *params)
488512d82eSSteve Kiernan {
498512d82eSSteve Kiernan 	struct mac_veriexec_syscall_params_args args;
508512d82eSSteve Kiernan 
518512d82eSSteve Kiernan 	if (params == NULL)
528512d82eSSteve Kiernan 		return EINVAL;
538512d82eSSteve Kiernan 
548512d82eSSteve Kiernan 	args.u.pid = pid;
558512d82eSSteve Kiernan 	args.params = params;
568512d82eSSteve Kiernan 	return mac_syscall(MAC_VERIEXEC_NAME,
578512d82eSSteve Kiernan 	    MAC_VERIEXEC_GET_PARAMS_PID_SYSCALL, &args);
588512d82eSSteve Kiernan }
598512d82eSSteve Kiernan 
608512d82eSSteve Kiernan /**
61*1554ba03SSimon J. Gerraty  * @brief get veriexec params for a path
628512d82eSSteve Kiernan  *
638512d82eSSteve Kiernan  * @return
648512d82eSSteve Kiernan  * @li 0 if successful
658512d82eSSteve Kiernan  */
668512d82eSSteve Kiernan int
veriexec_get_path_params(const char * file,struct mac_veriexec_syscall_params * params)678512d82eSSteve Kiernan veriexec_get_path_params(const char *file,
688512d82eSSteve Kiernan     struct mac_veriexec_syscall_params *params)
698512d82eSSteve Kiernan {
708512d82eSSteve Kiernan 	struct mac_veriexec_syscall_params_args args;
718512d82eSSteve Kiernan 
728512d82eSSteve Kiernan 	if (file == NULL || params == NULL)
738512d82eSSteve Kiernan 		return EINVAL;
748512d82eSSteve Kiernan 
758512d82eSSteve Kiernan 	args.u.filename = file;
768512d82eSSteve Kiernan 	args.params = params;
778512d82eSSteve Kiernan 	return mac_syscall(MAC_VERIEXEC_NAME,
788512d82eSSteve Kiernan 	    MAC_VERIEXEC_GET_PARAMS_PATH_SYSCALL, &args);
798512d82eSSteve Kiernan }
808512d82eSSteve Kiernan 
818512d82eSSteve Kiernan /**
82*1554ba03SSimon J. Gerraty  * @brief return label associated with a path
83*1554ba03SSimon J. Gerraty  *
84*1554ba03SSimon J. Gerraty  * @param[in] file
85*1554ba03SSimon J. Gerraty  *	pathname of file to lookup.
86*1554ba03SSimon J. Gerraty  *
87*1554ba03SSimon J. Gerraty  * @prarm[in] buf
88*1554ba03SSimon J. Gerraty  *	if not NULL and big enough copy label to buf.
89*1554ba03SSimon J. Gerraty  *	otherwise return a copy of label.
90*1554ba03SSimon J. Gerraty  *
91*1554ba03SSimon J. Gerraty  * @param[in] bufsz
92*1554ba03SSimon J. Gerraty  *	size of buf, must be greater than found label length.
93*1554ba03SSimon J. Gerraty  *
94*1554ba03SSimon J. Gerraty  * @return
95*1554ba03SSimon J. Gerraty  * @li NULL if no label
96*1554ba03SSimon J. Gerraty  * @li pointer to label
97*1554ba03SSimon J. Gerraty  */
98*1554ba03SSimon J. Gerraty char *
veriexec_get_path_label(const char * file,char * buf,size_t bufsz)99*1554ba03SSimon J. Gerraty veriexec_get_path_label(const char *file, char *buf, size_t bufsz)
100*1554ba03SSimon J. Gerraty {
101*1554ba03SSimon J. Gerraty 	struct mac_veriexec_syscall_params params;
102*1554ba03SSimon J. Gerraty 	char *cp;
103*1554ba03SSimon J. Gerraty 
104*1554ba03SSimon J. Gerraty 	cp = NULL;
105*1554ba03SSimon J. Gerraty 	if (veriexec_get_path_params(file, &params) == 0) {
106*1554ba03SSimon J. Gerraty 		/* Does label contain a label */
107*1554ba03SSimon J. Gerraty 		if (params.labellen > 0) {
108*1554ba03SSimon J. Gerraty 			if (buf != NULL && bufsz > params.labellen) {
109*1554ba03SSimon J. Gerraty 				strlcpy(buf, params.label, bufsz);
110*1554ba03SSimon J. Gerraty 				cp = buf;
111*1554ba03SSimon J. Gerraty 			} else
112*1554ba03SSimon J. Gerraty 				cp = strdup(params.label);
113*1554ba03SSimon J. Gerraty 		}
114*1554ba03SSimon J. Gerraty 	}
115*1554ba03SSimon J. Gerraty 	return cp;
116*1554ba03SSimon J. Gerraty }
117*1554ba03SSimon J. Gerraty 
118*1554ba03SSimon J. Gerraty /**
119*1554ba03SSimon J. Gerraty  * @brief return label of a process
120*1554ba03SSimon J. Gerraty  *
121*1554ba03SSimon J. Gerraty  *
122*1554ba03SSimon J. Gerraty  * @param[in] pid
123*1554ba03SSimon J. Gerraty  *	process id of interest.
124*1554ba03SSimon J. Gerraty  *
125*1554ba03SSimon J. Gerraty  * @prarm[in] buf
126*1554ba03SSimon J. Gerraty  *	if not NULL and big enough copy label to buf.
127*1554ba03SSimon J. Gerraty  *	otherwise return a copy of label.
128*1554ba03SSimon J. Gerraty  *
129*1554ba03SSimon J. Gerraty  * @param[in] bufsz
130*1554ba03SSimon J. Gerraty  *	size of buf, must be greater than found label length.
131*1554ba03SSimon J. Gerraty  *
132*1554ba03SSimon J. Gerraty  * @return
133*1554ba03SSimon J. Gerraty  * @li NULL if no label
134*1554ba03SSimon J. Gerraty  * @li pointer to label
135*1554ba03SSimon J. Gerraty  */
136*1554ba03SSimon J. Gerraty char *
veriexec_get_pid_label(pid_t pid,char * buf,size_t bufsz)137*1554ba03SSimon J. Gerraty veriexec_get_pid_label(pid_t pid, char *buf, size_t bufsz)
138*1554ba03SSimon J. Gerraty {
139*1554ba03SSimon J. Gerraty 	struct mac_veriexec_syscall_params params;
140*1554ba03SSimon J. Gerraty 	char *cp;
141*1554ba03SSimon J. Gerraty 
142*1554ba03SSimon J. Gerraty 	cp = NULL;
143*1554ba03SSimon J. Gerraty 	if (veriexec_get_pid_params(pid, &params) == 0) {
144*1554ba03SSimon J. Gerraty 		/* Does label contain a label */
145*1554ba03SSimon J. Gerraty 		if (params.labellen > 0) {
146*1554ba03SSimon J. Gerraty 			if (buf != NULL && bufsz > params.labellen) {
147*1554ba03SSimon J. Gerraty 				strlcpy(buf, params.label, bufsz);
148*1554ba03SSimon J. Gerraty 				cp = buf;
149*1554ba03SSimon J. Gerraty 			} else
150*1554ba03SSimon J. Gerraty 				cp = strdup(params.label);
151*1554ba03SSimon J. Gerraty 		}
152*1554ba03SSimon J. Gerraty 	}
153*1554ba03SSimon J. Gerraty 	return cp;
154*1554ba03SSimon J. Gerraty }
155*1554ba03SSimon J. Gerraty 
156*1554ba03SSimon J. Gerraty /*
157*1554ba03SSimon J. Gerraty  * we match
158*1554ba03SSimon J. Gerraty  * ^want$
159*1554ba03SSimon J. Gerraty  * ^want,
160*1554ba03SSimon J. Gerraty  * ,want,
161*1554ba03SSimon J. Gerraty  * ,want$
162*1554ba03SSimon J. Gerraty  *
163*1554ba03SSimon J. Gerraty  * and if want ends with / then we match that prefix too.
164*1554ba03SSimon J. Gerraty  */
165*1554ba03SSimon J. Gerraty static int
check_label_want(const char * label,size_t labellen,const char * want,size_t wantlen)166*1554ba03SSimon J. Gerraty check_label_want(const char *label, size_t labellen,
167*1554ba03SSimon J. Gerraty     const char *want, size_t wantlen)
168*1554ba03SSimon J. Gerraty {
169*1554ba03SSimon J. Gerraty 	char *cp;
170*1554ba03SSimon J. Gerraty 
171*1554ba03SSimon J. Gerraty 	/* Does label contain [,]<want>[,] ? */
172*1554ba03SSimon J. Gerraty 	if (labellen > 0 && wantlen > 0 &&
173*1554ba03SSimon J. Gerraty 	    (cp = strstr(label, want)) != NULL) {
174*1554ba03SSimon J. Gerraty 		if (cp == label || cp[-1] == ',') {
175*1554ba03SSimon J. Gerraty 			if (cp[wantlen] == '\0' || cp[wantlen] == ',' ||
176*1554ba03SSimon J. Gerraty 			    (cp[wantlen-1] == '/' && want[wantlen-1] == '/'))
177*1554ba03SSimon J. Gerraty 				return 1; /* yes */
178*1554ba03SSimon J. Gerraty 		}
179*1554ba03SSimon J. Gerraty 	}
180*1554ba03SSimon J. Gerraty 	return 0;			/* no */
181*1554ba03SSimon J. Gerraty }
182*1554ba03SSimon J. Gerraty 
183*1554ba03SSimon J. Gerraty /**
1849bc96108SSteve Kiernan  * @brief check if a process has label that contains what we want
1858512d82eSSteve Kiernan  *
186*1554ba03SSimon J. Gerraty  * @param[in] pid
187*1554ba03SSimon J. Gerraty  *	process id of interest.
188*1554ba03SSimon J. Gerraty  *
189*1554ba03SSimon J. Gerraty  * @param[in] want
190*1554ba03SSimon J. Gerraty  *	the label we are looking for
191*1554ba03SSimon J. Gerraty  *	if want ends with ``/`` it is assumed a prefix
192*1554ba03SSimon J. Gerraty  *	otherwise we expect it to be followed by ``,`` or end of string.
193*1554ba03SSimon J. Gerraty  *
1948512d82eSSteve Kiernan  * @return
1958512d82eSSteve Kiernan  * @li 0 if no
1968512d82eSSteve Kiernan  * @li 1 if yes
1978512d82eSSteve Kiernan  */
1988512d82eSSteve Kiernan int
veriexec_check_pid_label(pid_t pid,const char * want)1998512d82eSSteve Kiernan veriexec_check_pid_label(pid_t pid, const char *want)
2008512d82eSSteve Kiernan {
2018512d82eSSteve Kiernan 	struct mac_veriexec_syscall_params params;
2028512d82eSSteve Kiernan 	size_t n;
2038512d82eSSteve Kiernan 
2048512d82eSSteve Kiernan 	if (want != NULL &&
205*1554ba03SSimon J. Gerraty 	    (n = strlen(want)) > 0 &&
2068512d82eSSteve Kiernan 	    veriexec_get_pid_params(pid, &params) == 0) {
207*1554ba03SSimon J. Gerraty 		return check_label_want(params.label, params.labellen,
208*1554ba03SSimon J. Gerraty 		    want, n);
2098512d82eSSteve Kiernan 	}
2108512d82eSSteve Kiernan 	return 0;			/* no */
2118512d82eSSteve Kiernan }
2128512d82eSSteve Kiernan 
2139bc96108SSteve Kiernan /**
2149bc96108SSteve Kiernan  * @brief check if a path has label that contains what we want
2159bc96108SSteve Kiernan  *
216*1554ba03SSimon J. Gerraty  * @param[in] path
217*1554ba03SSimon J. Gerraty  *	pathname of interest.
218*1554ba03SSimon J. Gerraty  *
219*1554ba03SSimon J. Gerraty  * @param[in] want
220*1554ba03SSimon J. Gerraty  *	the label we are looking for
221*1554ba03SSimon J. Gerraty  *	if want ends with ``/`` it is assumed a prefix
222*1554ba03SSimon J. Gerraty  *	otherwise we expect it to be followed by ``,`` or end of string.
223*1554ba03SSimon J. Gerraty  *
2249bc96108SSteve Kiernan  * @return
2259bc96108SSteve Kiernan  * @li 0 if no
2269bc96108SSteve Kiernan  * @li 1 if yes
2279bc96108SSteve Kiernan  */
2289bc96108SSteve Kiernan int
veriexec_check_path_label(const char * file,const char * want)2299bc96108SSteve Kiernan veriexec_check_path_label(const char *file, const char *want)
2309bc96108SSteve Kiernan {
2319bc96108SSteve Kiernan 	struct mac_veriexec_syscall_params params;
2329bc96108SSteve Kiernan 	size_t n;
2339bc96108SSteve Kiernan 
2349bc96108SSteve Kiernan 	if (want != NULL && file != NULL &&
235*1554ba03SSimon J. Gerraty 	    (n = strlen(want)) > 0 &&
2369bc96108SSteve Kiernan 	    veriexec_get_path_params(file, &params) == 0) {
237*1554ba03SSimon J. Gerraty 		return check_label_want(params.label, params.labellen,
238*1554ba03SSimon J. Gerraty 		    want, n);
2399bc96108SSteve Kiernan 	}
2409bc96108SSteve Kiernan 	return 0;			/* no */
2419bc96108SSteve Kiernan }
2429bc96108SSteve Kiernan 
2438512d82eSSteve Kiernan #ifdef UNIT_TEST
2448512d82eSSteve Kiernan #include <stdlib.h>
2458512d82eSSteve Kiernan #include <stdio.h>
2468512d82eSSteve Kiernan #include <err.h>
2478512d82eSSteve Kiernan 
2488512d82eSSteve Kiernan static char *
hash2hex(char * type,unsigned char * digest)2498512d82eSSteve Kiernan hash2hex(char *type, unsigned char *digest)
2508512d82eSSteve Kiernan {
2518512d82eSSteve Kiernan 	static char buf[2*MAXFINGERPRINTLEN+1];
2528512d82eSSteve Kiernan 	size_t n;
2538512d82eSSteve Kiernan 	int i;
2548512d82eSSteve Kiernan 
2558512d82eSSteve Kiernan 	if (strcmp(type, "SHA1") == 0) {
2568512d82eSSteve Kiernan 		n = 20;
2578512d82eSSteve Kiernan 	} else if (strcmp(type, "SHA256") == 0) {
2588512d82eSSteve Kiernan 		n = 32;
2598512d82eSSteve Kiernan 	} else if (strcmp(type, "SHA384") == 0) {
2608512d82eSSteve Kiernan 		n = 48;
2618512d82eSSteve Kiernan 	}
2628512d82eSSteve Kiernan 	for (i = 0; i < n; i++) {
2638512d82eSSteve Kiernan 		sprintf(&buf[2*i], "%02x", (unsigned)digest[i]);
2648512d82eSSteve Kiernan 	}
2658512d82eSSteve Kiernan 	return buf;
2668512d82eSSteve Kiernan }
2678512d82eSSteve Kiernan 
2688512d82eSSteve Kiernan int
main(int argc,char * argv[])2698512d82eSSteve Kiernan main(int argc, char *argv[])
2708512d82eSSteve Kiernan {
2718512d82eSSteve Kiernan 	struct mac_veriexec_syscall_params params;
2728512d82eSSteve Kiernan 	pid_t pid;
273*1554ba03SSimon J. Gerraty 	char buf[BUFSIZ];
274*1554ba03SSimon J. Gerraty 	const char *cp;
2758512d82eSSteve Kiernan 	char *want = NULL;
276*1554ba03SSimon J. Gerraty 	int lflag = 0;
2778512d82eSSteve Kiernan 	int pflag = 0;
2788512d82eSSteve Kiernan 	int error;
2798512d82eSSteve Kiernan 	int c;
2808512d82eSSteve Kiernan 
281*1554ba03SSimon J. Gerraty 	while ((c = getopt(argc, argv, "lpw:")) != -1) {
2828512d82eSSteve Kiernan 		switch (c) {
283*1554ba03SSimon J. Gerraty 		case 'l':
284*1554ba03SSimon J. Gerraty 			lflag = 1;
285*1554ba03SSimon J. Gerraty 			break;
2868512d82eSSteve Kiernan 		case 'p':
2878512d82eSSteve Kiernan 			pflag = 1;
2888512d82eSSteve Kiernan 			break;
2898512d82eSSteve Kiernan 		case 'w':
2908512d82eSSteve Kiernan 			want = optarg;
2918512d82eSSteve Kiernan 			break;
2928512d82eSSteve Kiernan 		default:
2938512d82eSSteve Kiernan 			break;
2948512d82eSSteve Kiernan 		}
2958512d82eSSteve Kiernan 	}
2968512d82eSSteve Kiernan 	for (; optind < argc; optind++) {
2978512d82eSSteve Kiernan 
2988512d82eSSteve Kiernan 		if (pflag) {
2998512d82eSSteve Kiernan 			pid = atoi(argv[optind]);
300*1554ba03SSimon J. Gerraty 			if (lflag) {
301*1554ba03SSimon J. Gerraty 				cp = veriexec_get_pid_label(pid, buf, sizeof(buf));
302*1554ba03SSimon J. Gerraty 				if (cp)
303*1554ba03SSimon J. Gerraty 					printf("pid=%d label='%s'\n", pid, cp);
304*1554ba03SSimon J. Gerraty 				continue;
305*1554ba03SSimon J. Gerraty 			}
3068512d82eSSteve Kiernan 			if (want) {
3078512d82eSSteve Kiernan 				error = veriexec_check_pid_label(pid, want);
3088512d82eSSteve Kiernan 				printf("pid=%d want='%s': %d\n",
3098512d82eSSteve Kiernan 				    pid, want, error);
3108512d82eSSteve Kiernan 				continue;
3118512d82eSSteve Kiernan 			}
3128512d82eSSteve Kiernan 			error = veriexec_get_pid_params(pid, &params);
3138512d82eSSteve Kiernan 		} else {
314*1554ba03SSimon J. Gerraty 			if (lflag) {
315*1554ba03SSimon J. Gerraty 				cp = veriexec_get_path_label(argv[optind],
316*1554ba03SSimon J. Gerraty 				    buf, sizeof(buf));
317*1554ba03SSimon J. Gerraty 				if (cp)
318*1554ba03SSimon J. Gerraty 					printf("path='%s' label='%s'\n",
319*1554ba03SSimon J. Gerraty 					    argv[optind], cp);
320*1554ba03SSimon J. Gerraty 				continue;
321*1554ba03SSimon J. Gerraty 			}
322*1554ba03SSimon J. Gerraty 			if (want) {
323*1554ba03SSimon J. Gerraty 				error = veriexec_check_path_label(argv[optind], want);
324*1554ba03SSimon J. Gerraty 				printf("path='%s' want='%s': %d\n",
325*1554ba03SSimon J. Gerraty 				    argv[optind], want, error);
326*1554ba03SSimon J. Gerraty 				continue;
327*1554ba03SSimon J. Gerraty 			}
3288512d82eSSteve Kiernan 			error = veriexec_get_path_params(argv[optind], &params);
3298512d82eSSteve Kiernan 		}
3308512d82eSSteve Kiernan 		if (error) {
3318512d82eSSteve Kiernan 			err(2, "%s, error=%d", argv[optind], error);
3328512d82eSSteve Kiernan 		}
3338512d82eSSteve Kiernan 
3348512d82eSSteve Kiernan 		printf("arg=%s, type=%s, flags=%u, label='%s', fingerprint='%s'\n",
3358512d82eSSteve Kiernan 		    argv[optind], params.fp_type, (unsigned)params.flags,
3368512d82eSSteve Kiernan 		    params.label,
3378512d82eSSteve Kiernan 		    hash2hex(params.fp_type, params.fingerprint));
3388512d82eSSteve Kiernan 	}
3398512d82eSSteve Kiernan 	return 0;
3408512d82eSSteve Kiernan }
3418512d82eSSteve Kiernan #endif
342