xref: /freebsd/sys/kern/kern_exec.c (revision f373437a01a361a76e3ba53e057d025e6536d0fd)
19454b2d8SWarner Losh /*-
28a36da99SPedro F. Giffuni  * SPDX-License-Identifier: BSD-2-Clause-FreeBSD
38a36da99SPedro F. Giffuni  *
426f9a767SRodney W. Grimes  * Copyright (c) 1993, David Greenman
526f9a767SRodney W. Grimes  * All rights reserved.
6df8bae1dSRodney W. Grimes  *
7df8bae1dSRodney W. Grimes  * Redistribution and use in source and binary forms, with or without
8df8bae1dSRodney W. Grimes  * modification, are permitted provided that the following conditions
9df8bae1dSRodney W. Grimes  * are met:
10df8bae1dSRodney W. Grimes  * 1. Redistributions of source code must retain the above copyright
11df8bae1dSRodney W. Grimes  *    notice, this list of conditions and the following disclaimer.
12df8bae1dSRodney W. Grimes  * 2. Redistributions in binary form must reproduce the above copyright
13df8bae1dSRodney W. Grimes  *    notice, this list of conditions and the following disclaimer in the
14df8bae1dSRodney W. Grimes  *    documentation and/or other materials provided with the distribution.
15df8bae1dSRodney W. Grimes  *
1626f9a767SRodney W. Grimes  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
17df8bae1dSRodney W. Grimes  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18df8bae1dSRodney W. Grimes  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
1926f9a767SRodney W. Grimes  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
20df8bae1dSRodney W. Grimes  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21df8bae1dSRodney W. Grimes  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
22df8bae1dSRodney W. Grimes  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23df8bae1dSRodney W. Grimes  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
24df8bae1dSRodney W. Grimes  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
25df8bae1dSRodney W. Grimes  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26df8bae1dSRodney W. Grimes  * SUCH DAMAGE.
27df8bae1dSRodney W. Grimes  */
28df8bae1dSRodney W. Grimes 
29677b542eSDavid E. O'Brien #include <sys/cdefs.h>
30677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$");
31677b542eSDavid E. O'Brien 
3212bc222eSJonathan Anderson #include "opt_capsicum.h"
334da0d332SPeter Wemm #include "opt_hwpmc_hooks.h"
341e9b3d91SPeter Wemm #include "opt_ktrace.h"
35f8a47341SAlan Cox #include "opt_vm.h"
361e9b3d91SPeter Wemm 
37df8bae1dSRodney W. Grimes #include <sys/param.h>
3826f9a767SRodney W. Grimes #include <sys/systm.h>
3926f9a767SRodney W. Grimes #include <sys/acct.h>
40eeeaa7baSMark Johnston #include <sys/capsicum.h>
41eeeaa7baSMark Johnston #include <sys/eventhandler.h>
4226f9a767SRodney W. Grimes #include <sys/exec.h>
43eeeaa7baSMark Johnston #include <sys/fcntl.h>
44eeeaa7baSMark Johnston #include <sys/filedesc.h>
4526f9a767SRodney W. Grimes #include <sys/imgact.h>
46e1743d02SSøren Schmidt #include <sys/imgact_elf.h>
47eeeaa7baSMark Johnston #include <sys/kernel.h>
48eeeaa7baSMark Johnston #include <sys/lock.h>
49333ea485SGuido van Rooij #include <sys/malloc.h>
50ec492b13SMark Johnston #include <sys/mman.h>
51eeeaa7baSMark Johnston #include <sys/mount.h>
52eeeaa7baSMark Johnston #include <sys/mutex.h>
53eeeaa7baSMark Johnston #include <sys/namei.h>
54eeeaa7baSMark Johnston #include <sys/pioctl.h>
55acd3428bSRobert Watson #include <sys/priv.h>
56a794e791SBruce Evans #include <sys/proc.h>
578d570f64SJohn Baldwin #include <sys/ptrace.h>
586004362eSDavid Schultz #include <sys/resourcevar.h>
5989f6b863SAttilio Rao #include <sys/rwlock.h>
6044ad5475SJohn Baldwin #include <sys/sched.h>
615d217f17SJohn Birrell #include <sys/sdt.h>
6259c8bc40SAlan Cox #include <sys/sf_buf.h>
63797f2d22SPoul-Henning Kamp #include <sys/shm.h>
64eeeaa7baSMark Johnston #include <sys/signalvar.h>
65ec492b13SMark Johnston #include <sys/smp.h>
66dfa7fd1dSEdward Tomasz Napierala #include <sys/stat.h>
67eeeaa7baSMark Johnston #include <sys/syscallsubr.h>
68eeeaa7baSMark Johnston #include <sys/sysctl.h>
69eeeaa7baSMark Johnston #include <sys/sysent.h>
70eeeaa7baSMark Johnston #include <sys/sysproto.h>
71eeeaa7baSMark Johnston #include <sys/vnode.h>
72eeeaa7baSMark Johnston #include <sys/wait.h>
73c781aea8SPeter Wemm #ifdef KTRACE
74c781aea8SPeter Wemm #include <sys/ktrace.h>
75c781aea8SPeter Wemm #endif
7626f9a767SRodney W. Grimes 
7726f9a767SRodney W. Grimes #include <vm/vm.h>
78efeaf95aSDavid Greenman #include <vm/vm_param.h>
79efeaf95aSDavid Greenman #include <vm/pmap.h>
801616db3cSJohn Dyson #include <vm/vm_page.h>
81efeaf95aSDavid Greenman #include <vm/vm_map.h>
8226f9a767SRodney W. Grimes #include <vm/vm_kern.h>
83efeaf95aSDavid Greenman #include <vm/vm_extern.h>
841ebd0c59SDavid Greenman #include <vm/vm_object.h>
851616db3cSJohn Dyson #include <vm/vm_pager.h>
8626f9a767SRodney W. Grimes 
87ebccf1e3SJoseph Koshy #ifdef	HWPMC_HOOKS
88ebccf1e3SJoseph Koshy #include <sys/pmckern.h>
89ebccf1e3SJoseph Koshy #endif
90ebccf1e3SJoseph Koshy 
9126f9a767SRodney W. Grimes #include <machine/reg.h>
9226f9a767SRodney W. Grimes 
93ae1078d6SWayne Salamon #include <security/audit/audit.h>
94aed55708SRobert Watson #include <security/mac/mac_framework.h>
95ae1078d6SWayne Salamon 
965d217f17SJohn Birrell #ifdef KDTRACE_HOOKS
975d217f17SJohn Birrell #include <sys/dtrace_bsd.h>
985d217f17SJohn Birrell dtrace_execexit_func_t	dtrace_fasttrap_exec;
995d217f17SJohn Birrell #endif
1005d217f17SJohn Birrell 
1015d217f17SJohn Birrell SDT_PROVIDER_DECLARE(proc);
10236160958SMark Johnston SDT_PROBE_DEFINE1(proc, , , exec, "char *");
10336160958SMark Johnston SDT_PROBE_DEFINE1(proc, , , exec__failure, "int");
10436160958SMark Johnston SDT_PROBE_DEFINE1(proc, , , exec__success, "char *");
1055d217f17SJohn Birrell 
106b9df5231SPoul-Henning Kamp MALLOC_DEFINE(M_PARGS, "proc-args", "Process arguments");
107b9df5231SPoul-Henning Kamp 
108bcb60d52SConrad Meyer int coredump_pack_fileinfo = 1;
109bcb60d52SConrad Meyer SYSCTL_INT(_kern, OID_AUTO, coredump_pack_fileinfo, CTLFLAG_RWTUN,
110bcb60d52SConrad Meyer     &coredump_pack_fileinfo, 0,
111bcb60d52SConrad Meyer     "Enable file path packing in 'procstat -f' coredump notes");
112bcb60d52SConrad Meyer 
113e6b95927SConrad Meyer int coredump_pack_vmmapinfo = 1;
114e6b95927SConrad Meyer SYSCTL_INT(_kern, OID_AUTO, coredump_pack_vmmapinfo, CTLFLAG_RWTUN,
115e6b95927SConrad Meyer     &coredump_pack_vmmapinfo, 0,
116e6b95927SConrad Meyer     "Enable file path packing in 'procstat -v' coredump notes");
117e6b95927SConrad Meyer 
11805ba50f5SJake Burkholder static int sysctl_kern_ps_strings(SYSCTL_HANDLER_ARGS);
11905ba50f5SJake Burkholder static int sysctl_kern_usrstack(SYSCTL_HANDLER_ARGS);
1205dadd17bSJake Burkholder static int sysctl_kern_stackprot(SYSCTL_HANDLER_ARGS);
121610ecfe0SMaxim Sobolev static int do_execve(struct thread *td, struct image_args *args,
122610ecfe0SMaxim Sobolev     struct mac *mac_p);
12305ba50f5SJake Burkholder 
1249701cd40SJohn Baldwin /* XXX This should be vm_size_t. */
12553dc58f2SMateusz Guzik SYSCTL_PROC(_kern, KERN_PS_STRINGS, ps_strings, CTLTYPE_ULONG|CTLFLAG_RD|
1262fe6aeffSMariusz Zaborski     CTLFLAG_CAPRD|CTLFLAG_MPSAFE, NULL, 0, sysctl_kern_ps_strings, "LU", "");
127486bddb0SDoug Rabson 
1289701cd40SJohn Baldwin /* XXX This should be vm_size_t. */
129ff66f6a4SRobert Watson SYSCTL_PROC(_kern, KERN_USRSTACK, usrstack, CTLTYPE_ULONG|CTLFLAG_RD|
13053dc58f2SMateusz Guzik     CTLFLAG_CAPRD|CTLFLAG_MPSAFE, NULL, 0, sysctl_kern_usrstack, "LU", "");
13199ac3bc8SPeter Wemm 
13253dc58f2SMateusz Guzik SYSCTL_PROC(_kern, OID_AUTO, stackprot, CTLTYPE_INT|CTLFLAG_RD|CTLFLAG_MPSAFE,
1335dadd17bSJake Burkholder     NULL, 0, sysctl_kern_stackprot, "I", "");
1345dadd17bSJake Burkholder 
135b9df5231SPoul-Henning Kamp u_long ps_arg_cache_limit = PAGE_SIZE / 16;
136c3699b5fSPeter Wemm SYSCTL_ULONG(_kern, OID_AUTO, ps_arg_cache_limit, CTLFLAG_RW,
1379701cd40SJohn Baldwin     &ps_arg_cache_limit, 0, "");
138b9df5231SPoul-Henning Kamp 
139eda6009cSKonstantin Belousov static int disallow_high_osrel;
140eda6009cSKonstantin Belousov SYSCTL_INT(_kern, OID_AUTO, disallow_high_osrel, CTLFLAG_RW,
141eda6009cSKonstantin Belousov     &disallow_high_osrel, 0,
142eda6009cSKonstantin Belousov     "Disallow execution of binaries built for higher version of the world");
143eda6009cSKonstantin Belousov 
144878adb85SBjoern A. Zeeb static int map_at_zero = 0;
145af3b2549SHans Petter Selasky SYSCTL_INT(_security_bsd, OID_AUTO, map_at_zero, CTLFLAG_RWTUN, &map_at_zero, 0,
146878adb85SBjoern A. Zeeb     "Permit processes to map an object at virtual address 0.");
147878adb85SBjoern A. Zeeb 
1482ca45184SMatt Joras EVENTHANDLER_LIST_DECLARE(process_exec);
1492ca45184SMatt Joras 
15005ba50f5SJake Burkholder static int
15105ba50f5SJake Burkholder sysctl_kern_ps_strings(SYSCTL_HANDLER_ARGS)
15205ba50f5SJake Burkholder {
15305ba50f5SJake Burkholder 	struct proc *p;
154df7c361eSPeter Wemm 	int error;
15505ba50f5SJake Burkholder 
15605ba50f5SJake Burkholder 	p = curproc;
157a7bc3102SPeter Wemm #ifdef SCTL_MASK32
158a7bc3102SPeter Wemm 	if (req->flags & SCTL_MASK32) {
159df7c361eSPeter Wemm 		unsigned int val;
160df7c361eSPeter Wemm 		val = (unsigned int)p->p_sysent->sv_psstrings;
161df7c361eSPeter Wemm 		error = SYSCTL_OUT(req, &val, sizeof(val));
162df7c361eSPeter Wemm 	} else
163df7c361eSPeter Wemm #endif
164df7c361eSPeter Wemm 		error = SYSCTL_OUT(req, &p->p_sysent->sv_psstrings,
165df7c361eSPeter Wemm 		   sizeof(p->p_sysent->sv_psstrings));
166df7c361eSPeter Wemm 	return error;
16705ba50f5SJake Burkholder }
16805ba50f5SJake Burkholder 
16905ba50f5SJake Burkholder static int
17005ba50f5SJake Burkholder sysctl_kern_usrstack(SYSCTL_HANDLER_ARGS)
17105ba50f5SJake Burkholder {
17205ba50f5SJake Burkholder 	struct proc *p;
173df7c361eSPeter Wemm 	int error;
17405ba50f5SJake Burkholder 
17505ba50f5SJake Burkholder 	p = curproc;
176a7bc3102SPeter Wemm #ifdef SCTL_MASK32
177a7bc3102SPeter Wemm 	if (req->flags & SCTL_MASK32) {
178df7c361eSPeter Wemm 		unsigned int val;
179df7c361eSPeter Wemm 		val = (unsigned int)p->p_sysent->sv_usrstack;
180df7c361eSPeter Wemm 		error = SYSCTL_OUT(req, &val, sizeof(val));
181df7c361eSPeter Wemm 	} else
182df7c361eSPeter Wemm #endif
183df7c361eSPeter Wemm 		error = SYSCTL_OUT(req, &p->p_sysent->sv_usrstack,
184df7c361eSPeter Wemm 		    sizeof(p->p_sysent->sv_usrstack));
185df7c361eSPeter Wemm 	return error;
18605ba50f5SJake Burkholder }
18705ba50f5SJake Burkholder 
1885dadd17bSJake Burkholder static int
1895dadd17bSJake Burkholder sysctl_kern_stackprot(SYSCTL_HANDLER_ARGS)
1905dadd17bSJake Burkholder {
1915dadd17bSJake Burkholder 	struct proc *p;
1925dadd17bSJake Burkholder 
1935dadd17bSJake Burkholder 	p = curproc;
1945dadd17bSJake Burkholder 	return (SYSCTL_OUT(req, &p->p_sysent->sv_stackprot,
1955dadd17bSJake Burkholder 	    sizeof(p->p_sysent->sv_stackprot)));
1965dadd17bSJake Burkholder }
1975dadd17bSJake Burkholder 
19899ac3bc8SPeter Wemm /*
199aa855a59SPeter Wemm  * Each of the items is a pointer to a `const struct execsw', hence the
200aa855a59SPeter Wemm  * double pointer here.
201df8bae1dSRodney W. Grimes  */
202aa855a59SPeter Wemm static const struct execsw **execsw;
20326f9a767SRodney W. Grimes 
204ca46e90eSBruce Evans #ifndef _SYS_SYSPROTO_H_
205ca46e90eSBruce Evans struct execve_args {
206ca46e90eSBruce Evans 	char    *fname;
207ca46e90eSBruce Evans 	char    **argv;
208ca46e90eSBruce Evans 	char    **envv;
209ca46e90eSBruce Evans };
210ca46e90eSBruce Evans #endif
211ca46e90eSBruce Evans 
212ca46e90eSBruce Evans int
2137b445033SKonstantin Belousov sys_execve(struct thread *td, struct execve_args *uap)
214ca46e90eSBruce Evans {
215610ecfe0SMaxim Sobolev 	struct image_args args;
2167b445033SKonstantin Belousov 	struct vmspace *oldvmspace;
2177b445033SKonstantin Belousov 	int error;
218ca46e90eSBruce Evans 
2197b445033SKonstantin Belousov 	error = pre_execve(td, &oldvmspace);
2207b445033SKonstantin Belousov 	if (error != 0)
2217b445033SKonstantin Belousov 		return (error);
222610ecfe0SMaxim Sobolev 	error = exec_copyin_args(&args, uap->fname, UIO_USERSPACE,
223610ecfe0SMaxim Sobolev 	    uap->argv, uap->envv);
224610ecfe0SMaxim Sobolev 	if (error == 0)
225610ecfe0SMaxim Sobolev 		error = kern_execve(td, &args, NULL);
2267b445033SKonstantin Belousov 	post_execve(td, error, oldvmspace);
227610ecfe0SMaxim Sobolev 	return (error);
228ca46e90eSBruce Evans }
229ca46e90eSBruce Evans 
230ca46e90eSBruce Evans #ifndef _SYS_SYSPROTO_H_
231632dbc19SKonstantin Belousov struct fexecve_args {
232632dbc19SKonstantin Belousov 	int	fd;
233632dbc19SKonstantin Belousov 	char	**argv;
234632dbc19SKonstantin Belousov 	char	**envv;
235632dbc19SKonstantin Belousov }
236632dbc19SKonstantin Belousov #endif
237632dbc19SKonstantin Belousov int
2388451d0ddSKip Macy sys_fexecve(struct thread *td, struct fexecve_args *uap)
239632dbc19SKonstantin Belousov {
240632dbc19SKonstantin Belousov 	struct image_args args;
2417b445033SKonstantin Belousov 	struct vmspace *oldvmspace;
2427b445033SKonstantin Belousov 	int error;
243632dbc19SKonstantin Belousov 
2447b445033SKonstantin Belousov 	error = pre_execve(td, &oldvmspace);
2457b445033SKonstantin Belousov 	if (error != 0)
2467b445033SKonstantin Belousov 		return (error);
247632dbc19SKonstantin Belousov 	error = exec_copyin_args(&args, NULL, UIO_SYSSPACE,
248632dbc19SKonstantin Belousov 	    uap->argv, uap->envv);
249632dbc19SKonstantin Belousov 	if (error == 0) {
250632dbc19SKonstantin Belousov 		args.fd = uap->fd;
251632dbc19SKonstantin Belousov 		error = kern_execve(td, &args, NULL);
252632dbc19SKonstantin Belousov 	}
2537b445033SKonstantin Belousov 	post_execve(td, error, oldvmspace);
254632dbc19SKonstantin Belousov 	return (error);
255632dbc19SKonstantin Belousov }
256632dbc19SKonstantin Belousov 
257632dbc19SKonstantin Belousov #ifndef _SYS_SYSPROTO_H_
258ca46e90eSBruce Evans struct __mac_execve_args {
259ca46e90eSBruce Evans 	char	*fname;
260ca46e90eSBruce Evans 	char	**argv;
261ca46e90eSBruce Evans 	char	**envv;
262ca46e90eSBruce Evans 	struct mac	*mac_p;
263ca46e90eSBruce Evans };
264ca46e90eSBruce Evans #endif
265ca46e90eSBruce Evans 
266ca46e90eSBruce Evans int
2677b445033SKonstantin Belousov sys___mac_execve(struct thread *td, struct __mac_execve_args *uap)
268ca46e90eSBruce Evans {
269ca46e90eSBruce Evans #ifdef MAC
270610ecfe0SMaxim Sobolev 	struct image_args args;
2717b445033SKonstantin Belousov 	struct vmspace *oldvmspace;
2727b445033SKonstantin Belousov 	int error;
273610ecfe0SMaxim Sobolev 
2747b445033SKonstantin Belousov 	error = pre_execve(td, &oldvmspace);
2757b445033SKonstantin Belousov 	if (error != 0)
2767b445033SKonstantin Belousov 		return (error);
277610ecfe0SMaxim Sobolev 	error = exec_copyin_args(&args, uap->fname, UIO_USERSPACE,
278610ecfe0SMaxim Sobolev 	    uap->argv, uap->envv);
279610ecfe0SMaxim Sobolev 	if (error == 0)
280610ecfe0SMaxim Sobolev 		error = kern_execve(td, &args, uap->mac_p);
2817b445033SKonstantin Belousov 	post_execve(td, error, oldvmspace);
282610ecfe0SMaxim Sobolev 	return (error);
283ca46e90eSBruce Evans #else
284ca46e90eSBruce Evans 	return (ENOSYS);
285ca46e90eSBruce Evans #endif
286ca46e90eSBruce Evans }
287ca46e90eSBruce Evans 
28884e0b075SDavid Xu int
2897b445033SKonstantin Belousov pre_execve(struct thread *td, struct vmspace **oldvmspace)
290906ac69dSDavid Xu {
2917b445033SKonstantin Belousov 	struct proc *p;
292906ac69dSDavid Xu 	int error;
293906ac69dSDavid Xu 
2947b445033SKonstantin Belousov 	KASSERT(td == curthread, ("non-current thread %p", td));
2957b445033SKonstantin Belousov 	error = 0;
2967b445033SKonstantin Belousov 	p = td->td_proc;
2977b445033SKonstantin Belousov 	if ((p->p_flag & P_HADTHREADS) != 0) {
298906ac69dSDavid Xu 		PROC_LOCK(p);
2997b445033SKonstantin Belousov 		if (thread_single(p, SINGLE_BOUNDARY) != 0)
3007b445033SKonstantin Belousov 			error = ERESTART;
301906ac69dSDavid Xu 		PROC_UNLOCK(p);
302906ac69dSDavid Xu 	}
3037b445033SKonstantin Belousov 	KASSERT(error != 0 || (td->td_pflags & TDP_EXECVMSPC) == 0,
3047b445033SKonstantin Belousov 	    ("nested execve"));
3057b445033SKonstantin Belousov 	*oldvmspace = p->p_vmspace;
3067b445033SKonstantin Belousov 	return (error);
3077b445033SKonstantin Belousov }
308906ac69dSDavid Xu 
3097b445033SKonstantin Belousov void
3107b445033SKonstantin Belousov post_execve(struct thread *td, int error, struct vmspace *oldvmspace)
3117b445033SKonstantin Belousov {
3127b445033SKonstantin Belousov 	struct proc *p;
313906ac69dSDavid Xu 
3147b445033SKonstantin Belousov 	KASSERT(td == curthread, ("non-current thread %p", td));
3157b445033SKonstantin Belousov 	p = td->td_proc;
3167b445033SKonstantin Belousov 	if ((p->p_flag & P_HADTHREADS) != 0) {
317906ac69dSDavid Xu 		PROC_LOCK(p);
318906ac69dSDavid Xu 		/*
319906ac69dSDavid Xu 		 * If success, we upgrade to SINGLE_EXIT state to
320906ac69dSDavid Xu 		 * force other threads to suicide.
321906ac69dSDavid Xu 		 */
322814629ddSEd Schouten 		if (error == EJUSTRETURN)
3236ddcc233SKonstantin Belousov 			thread_single(p, SINGLE_EXIT);
324906ac69dSDavid Xu 		else
3256ddcc233SKonstantin Belousov 			thread_single_end(p, SINGLE_BOUNDARY);
326906ac69dSDavid Xu 		PROC_UNLOCK(p);
327906ac69dSDavid Xu 	}
3287032434eSKonstantin Belousov 	if ((td->td_pflags & TDP_EXECVMSPC) != 0) {
3297b445033SKonstantin Belousov 		KASSERT(p->p_vmspace != oldvmspace,
3307032434eSKonstantin Belousov 		    ("oldvmspace still used"));
3317032434eSKonstantin Belousov 		vmspace_free(oldvmspace);
3327032434eSKonstantin Belousov 		td->td_pflags &= ~TDP_EXECVMSPC;
3337032434eSKonstantin Belousov 	}
3347b445033SKonstantin Belousov }
335906ac69dSDavid Xu 
3367b445033SKonstantin Belousov /*
3377b445033SKonstantin Belousov  * XXX: kern_execve has the astonishing property of not always returning to
3387b445033SKonstantin Belousov  * the caller.  If sufficiently bad things happen during the call to
3397b445033SKonstantin Belousov  * do_execve(), it can end up calling exit1(); as a result, callers must
3407b445033SKonstantin Belousov  * avoid doing anything which they might need to undo (e.g., allocating
3417b445033SKonstantin Belousov  * memory).
3427b445033SKonstantin Belousov  */
3437b445033SKonstantin Belousov int
3447b445033SKonstantin Belousov kern_execve(struct thread *td, struct image_args *args, struct mac *mac_p)
3457b445033SKonstantin Belousov {
3467b445033SKonstantin Belousov 
3477b445033SKonstantin Belousov 	AUDIT_ARG_ARGV(args->begin_argv, args->argc,
348*f373437aSBrooks Davis 	    exec_args_get_begin_envv(args) - args->begin_argv);
349*f373437aSBrooks Davis 	AUDIT_ARG_ENVV(exec_args_get_begin_envv(args), args->envc,
350*f373437aSBrooks Davis 	    args->endp - exec_args_get_begin_envv(args));
3517b445033SKonstantin Belousov 	return (do_execve(td, args, mac_p));
352906ac69dSDavid Xu }
353906ac69dSDavid Xu 
35426f9a767SRodney W. Grimes /*
355450ffb44SRobert Watson  * In-kernel implementation of execve().  All arguments are assumed to be
356450ffb44SRobert Watson  * userspace pointers from the passed thread.
35726f9a767SRodney W. Grimes  */
358450ffb44SRobert Watson static int
3593e85b721SEd Maste do_execve(struct thread *td, struct image_args *args, struct mac *mac_p)
360df8bae1dSRodney W. Grimes {
361b40ce416SJulian Elischer 	struct proc *p = td->td_proc;
36269c9eff8SEd Schouten 	struct nameidata nd;
363881010f0SBryan Drewery 	struct ucred *oldcred;
364350d5181SMateusz Guzik 	struct uidinfo *euip = NULL;
365654f6be1SBruce Evans 	register_t *stack_base;
3665ca4819dSJohn Baldwin 	int error, i;
367c52007c2SDavid Greenman 	struct image_params image_params, *imgp;
3689f5c1d19SDiomidis Spinellis 	struct vattr attr;
3694d77a549SAlfred Perlstein 	int (*img_first)(struct image_params *);
37069be5db9SAlfred Perlstein 	struct pargs *oldargs = NULL, *newargs = NULL;
371cda68844SMateusz Guzik 	struct sigacts *oldsigacts = NULL, *newsigacts = NULL;
3726c84de02SJohn Baldwin #ifdef KTRACE
3736c84de02SJohn Baldwin 	struct vnode *tracevp = NULL;
374a5881ea5SJohn Baldwin 	struct ucred *tracecred = NULL;
3756c84de02SJohn Baldwin #endif
37661617058SMateusz Guzik 	struct vnode *oldtextvp = NULL, *newtextvp;
377d06c0d4dSRobert Watson 	int credential_changing;
378619eb6e5SJeff Roberson 	int textset;
379ccafe7ebSRobert Watson #ifdef MAC
3806356dba0SRobert Watson 	struct label *interpvplabel = NULL;
381eca8a663SRobert Watson 	int will_transition;
382ccafe7ebSRobert Watson #endif
38315139246SJoseph Koshy #ifdef HWPMC_HOOKS
38415139246SJoseph Koshy 	struct pmckern_procexec pe;
38515139246SJoseph Koshy #endif
386632dbc19SKonstantin Belousov 	static const char fexecv_proc_title[] = "(fexecv)";
38726f9a767SRodney W. Grimes 
388c52007c2SDavid Greenman 	imgp = &image_params;
389df8bae1dSRodney W. Grimes 
3909ca45e81SDag-Erling Smørgrav 	/*
3919ca45e81SDag-Erling Smørgrav 	 * Lock the process and set the P_INEXEC flag to indicate that
3929ca45e81SDag-Erling Smørgrav 	 * it should be left alone until we're done here.  This is
3939ca45e81SDag-Erling Smørgrav 	 * necessary to avoid race conditions - e.g. in ptrace() -
3949ca45e81SDag-Erling Smørgrav 	 * that might allow a local user to illicitly obtain elevated
3959ca45e81SDag-Erling Smørgrav 	 * privileges.
3969ca45e81SDag-Erling Smørgrav 	 */
3979ca45e81SDag-Erling Smørgrav 	PROC_LOCK(p);
3989ca45e81SDag-Erling Smørgrav 	KASSERT((p->p_flag & P_INEXEC) == 0,
39991f91617SDavid E. O'Brien 	    ("%s(): process already has P_INEXEC flag", __func__));
4009ca45e81SDag-Erling Smørgrav 	p->p_flag |= P_INEXEC;
4019ca45e81SDag-Erling Smørgrav 	PROC_UNLOCK(p);
4029ca45e81SDag-Erling Smørgrav 
403df8bae1dSRodney W. Grimes 	/*
404c52007c2SDavid Greenman 	 * Initialize part of the common data
405df8bae1dSRodney W. Grimes 	 */
4068e572983SMateusz Guzik 	bzero(imgp, sizeof(*imgp));
407c52007c2SDavid Greenman 	imgp->proc = p;
408c52007c2SDavid Greenman 	imgp->attr = &attr;
409610ecfe0SMaxim Sobolev 	imgp->args = args;
410881010f0SBryan Drewery 	oldcred = p->p_ucred;
41126f9a767SRodney W. Grimes 
412670cb89bSRobert Watson #ifdef MAC
413eca8a663SRobert Watson 	error = mac_execve_enter(imgp, mac_p);
414532c491bSJeff Roberson 	if (error)
415670cb89bSRobert Watson 		goto exec_fail;
416670cb89bSRobert Watson #endif
417670cb89bSRobert Watson 
41826f9a767SRodney W. Grimes 	/*
41926f9a767SRodney W. Grimes 	 * Translate the file name. namei() returns a vnode pointer
420e3043798SPedro F. Giffuni 	 *	in ni_vp among other things.
421ae1078d6SWayne Salamon 	 *
422ae1078d6SWayne Salamon 	 * XXXAUDIT: It would be desirable to also audit the name of the
423ae1078d6SWayne Salamon 	 * interpreter if this is an interpreted binary.
42426f9a767SRodney W. Grimes 	 */
425632dbc19SKonstantin Belousov 	if (args->fname != NULL) {
42669c9eff8SEd Schouten 		NDINIT(&nd, LOOKUP, ISOPEN | LOCKLEAF | FOLLOW | SAVENAME
4275050aa86SKonstantin Belousov 		    | AUDITVNODE1, UIO_SYSSPACE, args->fname, td);
428632dbc19SKonstantin Belousov 	}
42926f9a767SRodney W. Grimes 
43036160958SMark Johnston 	SDT_PROBE1(proc, , , exec, args->fname);
431e506f34bSCraig Rodrigues 
43226f9a767SRodney W. Grimes interpret:
433632dbc19SKonstantin Belousov 	if (args->fname != NULL) {
43412bc222eSJonathan Anderson #ifdef CAPABILITY_MODE
43512bc222eSJonathan Anderson 		/*
43612bc222eSJonathan Anderson 		 * While capability mode can't reach this point via direct
43712bc222eSJonathan Anderson 		 * path arguments to execve(), we also don't allow
43812bc222eSJonathan Anderson 		 * interpreters to be used in capability mode (for now).
43912bc222eSJonathan Anderson 		 * Catch indirect lookups and return a permissions error.
44012bc222eSJonathan Anderson 		 */
44112bc222eSJonathan Anderson 		if (IN_CAPABILITY_MODE(td)) {
44212bc222eSJonathan Anderson 			error = ECAPMODE;
44312bc222eSJonathan Anderson 			goto exec_fail;
44412bc222eSJonathan Anderson 		}
44512bc222eSJonathan Anderson #endif
44669c9eff8SEd Schouten 		error = namei(&nd);
447610ecfe0SMaxim Sobolev 		if (error)
44826f9a767SRodney W. Grimes 			goto exec_fail;
44926f9a767SRodney W. Grimes 
45061617058SMateusz Guzik 		newtextvp = nd.ni_vp;
45161617058SMateusz Guzik 		imgp->vp = newtextvp;
452632dbc19SKonstantin Belousov 	} else {
45314961ba7SRobert Watson 		AUDIT_ARG_FD(args->fd);
454a9d2f8d8SRobert Watson 		/*
455c8e781f6SPawel Jakub Dawidek 		 * Descriptors opened only with O_EXEC or O_RDONLY are allowed.
456a9d2f8d8SRobert Watson 		 */
457cbd92ce6SMatt Macy 		error = fgetvp_exec(td, args->fd, &cap_fexecve_rights, &newtextvp);
458632dbc19SKonstantin Belousov 		if (error)
459632dbc19SKonstantin Belousov 			goto exec_fail;
46061617058SMateusz Guzik 		vn_lock(newtextvp, LK_EXCLUSIVE | LK_RETRY);
46161617058SMateusz Guzik 		AUDIT_ARG_VNODE1(newtextvp);
46261617058SMateusz Guzik 		imgp->vp = newtextvp;
463632dbc19SKonstantin Belousov 	}
46426f9a767SRodney W. Grimes 
46526f9a767SRodney W. Grimes 	/*
4669022e4adSDavid Greenman 	 * Check file permissions (also 'opens' file)
4679022e4adSDavid Greenman 	 */
468c52007c2SDavid Greenman 	error = exec_check_permissions(imgp);
469619eb6e5SJeff Roberson 	if (error)
47026f9a767SRodney W. Grimes 		goto exec_fail_dealloc;
471619eb6e5SJeff Roberson 
4728516dd18SPoul-Henning Kamp 	imgp->object = imgp->vp->v_object;
4738516dd18SPoul-Henning Kamp 	if (imgp->object != NULL)
4740b2ed1aeSJeff Roberson 		vm_object_reference(imgp->object);
47526f9a767SRodney W. Grimes 
476619eb6e5SJeff Roberson 	/*
477619eb6e5SJeff Roberson 	 * Set VV_TEXT now so no one can write to the executable while we're
478619eb6e5SJeff Roberson 	 * activating it.
479619eb6e5SJeff Roberson 	 *
480619eb6e5SJeff Roberson 	 * Remember if this was set before and unset it in case this is not
481619eb6e5SJeff Roberson 	 * actually an executable image.
482619eb6e5SJeff Roberson 	 */
483877d24acSKonstantin Belousov 	textset = VOP_IS_TEXT(imgp->vp);
484877d24acSKonstantin Belousov 	VOP_SET_TEXT(imgp->vp);
485619eb6e5SJeff Roberson 
4861616db3cSJohn Dyson 	error = exec_map_first_page(imgp);
4876d5a0a8cSDavid Greenman 	if (error)
48826f9a767SRodney W. Grimes 		goto exec_fail_dealloc;
48926f9a767SRodney W. Grimes 
490f231de47SKonstantin Belousov 	imgp->proc->p_osrel = 0;
491f5cf7589SKonstantin Belousov 	imgp->proc->p_fctl0 = 0;
492881010f0SBryan Drewery 
493881010f0SBryan Drewery 	/*
494881010f0SBryan Drewery 	 * Implement image setuid/setgid.
495881010f0SBryan Drewery 	 *
496881010f0SBryan Drewery 	 * Determine new credentials before attempting image activators
497881010f0SBryan Drewery 	 * so that it can be used by process_exec handlers to determine
498881010f0SBryan Drewery 	 * credential/setid changes.
499881010f0SBryan Drewery 	 *
500881010f0SBryan Drewery 	 * Don't honor setuid/setgid if the filesystem prohibits it or if
501881010f0SBryan Drewery 	 * the process is being traced.
502881010f0SBryan Drewery 	 *
503881010f0SBryan Drewery 	 * We disable setuid/setgid/etc in capability mode on the basis
504881010f0SBryan Drewery 	 * that most setugid applications are not written with that
505881010f0SBryan Drewery 	 * environment in mind, and will therefore almost certainly operate
506881010f0SBryan Drewery 	 * incorrectly. In principle there's no reason that setugid
507881010f0SBryan Drewery 	 * applications might not be useful in capability mode, so we may want
508881010f0SBryan Drewery 	 * to reconsider this conservative design choice in the future.
509881010f0SBryan Drewery 	 *
510881010f0SBryan Drewery 	 * XXXMAC: For the time being, use NOSUID to also prohibit
511881010f0SBryan Drewery 	 * transitions on the file system.
512881010f0SBryan Drewery 	 */
513881010f0SBryan Drewery 	credential_changing = 0;
514881010f0SBryan Drewery 	credential_changing |= (attr.va_mode & S_ISUID) &&
515881010f0SBryan Drewery 	    oldcred->cr_uid != attr.va_uid;
516881010f0SBryan Drewery 	credential_changing |= (attr.va_mode & S_ISGID) &&
517881010f0SBryan Drewery 	    oldcred->cr_gid != attr.va_gid;
518881010f0SBryan Drewery #ifdef MAC
519881010f0SBryan Drewery 	will_transition = mac_vnode_execve_will_transition(oldcred, imgp->vp,
520881010f0SBryan Drewery 	    interpvplabel, imgp);
521881010f0SBryan Drewery 	credential_changing |= will_transition;
522881010f0SBryan Drewery #endif
523881010f0SBryan Drewery 
5241302eea7SKonstantin Belousov 	/* Don't inherit PROC_PDEATHSIG_CTL value if setuid/setgid. */
525b9408863SKonstantin Belousov 	if (credential_changing)
526b9408863SKonstantin Belousov 		imgp->proc->p_pdeathsig = 0;
527b9408863SKonstantin Belousov 
528881010f0SBryan Drewery 	if (credential_changing &&
529881010f0SBryan Drewery #ifdef CAPABILITY_MODE
530881010f0SBryan Drewery 	    ((oldcred->cr_flags & CRED_FLAG_CAPMODE) == 0) &&
531881010f0SBryan Drewery #endif
532881010f0SBryan Drewery 	    (imgp->vp->v_mount->mnt_flag & MNT_NOSUID) == 0 &&
533881010f0SBryan Drewery 	    (p->p_flag & P_TRACED) == 0) {
534881010f0SBryan Drewery 		imgp->credential_setid = true;
535881010f0SBryan Drewery 		VOP_UNLOCK(imgp->vp, 0);
536881010f0SBryan Drewery 		imgp->newcred = crdup(oldcred);
537881010f0SBryan Drewery 		if (attr.va_mode & S_ISUID) {
538881010f0SBryan Drewery 			euip = uifind(attr.va_uid);
539881010f0SBryan Drewery 			change_euid(imgp->newcred, euip);
540881010f0SBryan Drewery 		}
541881010f0SBryan Drewery 		vn_lock(imgp->vp, LK_EXCLUSIVE | LK_RETRY);
542881010f0SBryan Drewery 		if (attr.va_mode & S_ISGID)
543881010f0SBryan Drewery 			change_egid(imgp->newcred, attr.va_gid);
544881010f0SBryan Drewery 		/*
545881010f0SBryan Drewery 		 * Implement correct POSIX saved-id behavior.
546881010f0SBryan Drewery 		 *
547881010f0SBryan Drewery 		 * XXXMAC: Note that the current logic will save the
548881010f0SBryan Drewery 		 * uid and gid if a MAC domain transition occurs, even
549881010f0SBryan Drewery 		 * though maybe it shouldn't.
550881010f0SBryan Drewery 		 */
551881010f0SBryan Drewery 		change_svuid(imgp->newcred, imgp->newcred->cr_uid);
552881010f0SBryan Drewery 		change_svgid(imgp->newcred, imgp->newcred->cr_gid);
553881010f0SBryan Drewery 	} else {
554881010f0SBryan Drewery 		/*
555881010f0SBryan Drewery 		 * Implement correct POSIX saved-id behavior.
556881010f0SBryan Drewery 		 *
557881010f0SBryan Drewery 		 * XXX: It's not clear that the existing behavior is
558881010f0SBryan Drewery 		 * POSIX-compliant.  A number of sources indicate that the
559881010f0SBryan Drewery 		 * saved uid/gid should only be updated if the new ruid is
560881010f0SBryan Drewery 		 * not equal to the old ruid, or the new euid is not equal
561881010f0SBryan Drewery 		 * to the old euid and the new euid is not equal to the old
562881010f0SBryan Drewery 		 * ruid.  The FreeBSD code always updates the saved uid/gid.
563881010f0SBryan Drewery 		 * Also, this code uses the new (replaced) euid and egid as
564881010f0SBryan Drewery 		 * the source, which may or may not be the right ones to use.
565881010f0SBryan Drewery 		 */
566881010f0SBryan Drewery 		if (oldcred->cr_svuid != oldcred->cr_uid ||
567881010f0SBryan Drewery 		    oldcred->cr_svgid != oldcred->cr_gid) {
568881010f0SBryan Drewery 			VOP_UNLOCK(imgp->vp, 0);
569881010f0SBryan Drewery 			imgp->newcred = crdup(oldcred);
570881010f0SBryan Drewery 			vn_lock(imgp->vp, LK_EXCLUSIVE | LK_RETRY);
571881010f0SBryan Drewery 			change_svuid(imgp->newcred, imgp->newcred->cr_uid);
572881010f0SBryan Drewery 			change_svgid(imgp->newcred, imgp->newcred->cr_gid);
573881010f0SBryan Drewery 		}
574881010f0SBryan Drewery 	}
575881010f0SBryan Drewery 	/* The new credentials are installed into the process later. */
576881010f0SBryan Drewery 
57726f9a767SRodney W. Grimes 	/*
5781afd78b3SBryan Drewery 	 * Do the best to calculate the full path to the image file.
5791afd78b3SBryan Drewery 	 */
5801afd78b3SBryan Drewery 	if (args->fname != NULL && args->fname[0] == '/')
5811afd78b3SBryan Drewery 		imgp->execpath = args->fname;
5821afd78b3SBryan Drewery 	else {
5831afd78b3SBryan Drewery 		VOP_UNLOCK(imgp->vp, 0);
5841afd78b3SBryan Drewery 		if (vn_fullpath(td, imgp->vp, &imgp->execpath,
5851afd78b3SBryan Drewery 		    &imgp->freepath) != 0)
5861afd78b3SBryan Drewery 			imgp->execpath = args->fname;
5871afd78b3SBryan Drewery 		vn_lock(imgp->vp, LK_EXCLUSIVE | LK_RETRY);
5881afd78b3SBryan Drewery 	}
5891afd78b3SBryan Drewery 
5901afd78b3SBryan Drewery 	/*
591d323ddf3SMatthew Dillon 	 *	If the current process has a special image activator it
592d323ddf3SMatthew Dillon 	 *	wants to try first, call it.   For example, emulating shell
593d323ddf3SMatthew Dillon 	 *	scripts differently.
59426f9a767SRodney W. Grimes 	 */
595d323ddf3SMatthew Dillon 	error = -1;
596d323ddf3SMatthew Dillon 	if ((img_first = imgp->proc->p_sysent->sv_imgact_try) != NULL)
597d323ddf3SMatthew Dillon 		error = img_first(imgp);
598d323ddf3SMatthew Dillon 
599d323ddf3SMatthew Dillon 	/*
600d323ddf3SMatthew Dillon 	 *	Loop through the list of image activators, calling each one.
601d323ddf3SMatthew Dillon 	 *	An activator returns -1 if there is no match, 0 on success,
602d323ddf3SMatthew Dillon 	 *	and an error otherwise.
603d323ddf3SMatthew Dillon 	 */
604d323ddf3SMatthew Dillon 	for (i = 0; error == -1 && execsw[i]; ++i) {
605d323ddf3SMatthew Dillon 		if (execsw[i]->ex_imgact == NULL ||
606d323ddf3SMatthew Dillon 		    execsw[i]->ex_imgact == img_first) {
607d323ddf3SMatthew Dillon 			continue;
608d323ddf3SMatthew Dillon 		}
609c52007c2SDavid Greenman 		error = (*execsw[i]->ex_imgact)(imgp);
610d323ddf3SMatthew Dillon 	}
611d323ddf3SMatthew Dillon 
612d323ddf3SMatthew Dillon 	if (error) {
613619eb6e5SJeff Roberson 		if (error == -1) {
614877d24acSKonstantin Belousov 			if (textset == 0)
615877d24acSKonstantin Belousov 				VOP_UNSET_TEXT(imgp->vp);
616d323ddf3SMatthew Dillon 			error = ENOEXEC;
617619eb6e5SJeff Roberson 		}
61826f9a767SRodney W. Grimes 		goto exec_fail_dealloc;
619d323ddf3SMatthew Dillon 	}
620d323ddf3SMatthew Dillon 
621d323ddf3SMatthew Dillon 	/*
622d323ddf3SMatthew Dillon 	 * Special interpreter operation, cleanup and loop up to try to
623d323ddf3SMatthew Dillon 	 * activate the interpreter.
624d323ddf3SMatthew Dillon 	 */
625c52007c2SDavid Greenman 	if (imgp->interpreted) {
6261616db3cSJohn Dyson 		exec_unmap_first_page(imgp);
627619eb6e5SJeff Roberson 		/*
628619eb6e5SJeff Roberson 		 * VV_TEXT needs to be unset for scripts.  There is a short
629619eb6e5SJeff Roberson 		 * period before we determine that something is a script where
630619eb6e5SJeff Roberson 		 * VV_TEXT will be set. The vnode lock is held over this
631619eb6e5SJeff Roberson 		 * entire period so nothing should illegitimately be blocked.
632619eb6e5SJeff Roberson 		 */
633877d24acSKonstantin Belousov 		VOP_UNSET_TEXT(imgp->vp);
634762e6b85SEivind Eklund 		/* free name buffer and old vnode */
635632dbc19SKonstantin Belousov 		if (args->fname != NULL)
63669c9eff8SEd Schouten 			NDFREE(&nd, NDF_ONLY_PNBUF);
637670cb89bSRobert Watson #ifdef MAC
63861617058SMateusz Guzik 		mac_execve_interpreter_enter(newtextvp, &interpvplabel);
639670cb89bSRobert Watson #endif
6409a75ea23SKonstantin Belousov 		if (imgp->opened) {
64161617058SMateusz Guzik 			VOP_CLOSE(newtextvp, FREAD, td->td_ucred, td);
6429a75ea23SKonstantin Belousov 			imgp->opened = 0;
6439a75ea23SKonstantin Belousov 		}
64461617058SMateusz Guzik 		vput(newtextvp);
6450b2ed1aeSJeff Roberson 		vm_object_deallocate(imgp->object);
6460b2ed1aeSJeff Roberson 		imgp->object = NULL;
647881010f0SBryan Drewery 		imgp->credential_setid = false;
648881010f0SBryan Drewery 		if (imgp->newcred != NULL) {
649881010f0SBryan Drewery 			crfree(imgp->newcred);
650881010f0SBryan Drewery 			imgp->newcred = NULL;
651881010f0SBryan Drewery 		}
6521afd78b3SBryan Drewery 		imgp->execpath = NULL;
6531afd78b3SBryan Drewery 		free(imgp->freepath, M_TEMP);
6541afd78b3SBryan Drewery 		imgp->freepath = NULL;
65526f9a767SRodney W. Grimes 		/* set new name to that of the interpreter */
6565050aa86SKonstantin Belousov 		NDINIT(&nd, LOOKUP, LOCKLEAF | FOLLOW | SAVENAME,
657b40ce416SJulian Elischer 		    UIO_SYSSPACE, imgp->interpreter_name, td);
658632dbc19SKonstantin Belousov 		args->fname = imgp->interpreter_name;
65926f9a767SRodney W. Grimes 		goto interpret;
66026f9a767SRodney W. Grimes 	}
66126f9a767SRodney W. Grimes 
66226f9a767SRodney W. Grimes 	/*
663ded7d39cSChristian S.J. Peron 	 * NB: We unlock the vnode here because it is believed that none
664ded7d39cSChristian S.J. Peron 	 * of the sv_copyout_strings/sv_fixup operations require the vnode.
665ded7d39cSChristian S.J. Peron 	 */
666ded7d39cSChristian S.J. Peron 	VOP_UNLOCK(imgp->vp, 0);
6673ff06357SKonstantin Belousov 
668eda6009cSKonstantin Belousov 	if (disallow_high_osrel &&
669eda6009cSKonstantin Belousov 	    P_OSREL_MAJOR(p->p_osrel) > P_OSREL_MAJOR(__FreeBSD_version)) {
670eda6009cSKonstantin Belousov 		error = ENOEXEC;
671eda6009cSKonstantin Belousov 		uprintf("Osrel %d for image %s too high\n", p->p_osrel,
672eda6009cSKonstantin Belousov 		    imgp->execpath != NULL ? imgp->execpath : "<unresolved>");
673eda6009cSKonstantin Belousov 		vn_lock(imgp->vp, LK_SHARED | LK_RETRY);
674eda6009cSKonstantin Belousov 		goto exec_fail_dealloc;
675eda6009cSKonstantin Belousov 	}
676eda6009cSKonstantin Belousov 
67739f5ebb7SEd Schouten 	/* ABI enforces the use of Capsicum. Switch into capabilities mode. */
67839f5ebb7SEd Schouten 	if (SV_PROC_FLAG(p, SV_CAPSICUM))
67939f5ebb7SEd Schouten 		sys_cap_enter(td, NULL);
68039f5ebb7SEd Schouten 
681ded7d39cSChristian S.J. Peron 	/*
68226f9a767SRodney W. Grimes 	 * Copy out strings (args and env) and initialize stack base
68326f9a767SRodney W. Grimes 	 */
6843ebc1248SPeter Wemm 	if (p->p_sysent->sv_copyout_strings)
6853ebc1248SPeter Wemm 		stack_base = (*p->p_sysent->sv_copyout_strings)(imgp);
6863ebc1248SPeter Wemm 	else
687c52007c2SDavid Greenman 		stack_base = exec_copyout_strings(imgp);
68826f9a767SRodney W. Grimes 
68926f9a767SRodney W. Grimes 	/*
6901e1e0b44SSøren Schmidt 	 * If custom stack fixup routine present for this process
6911e1e0b44SSøren Schmidt 	 * let it do the stack setup.
6921e1e0b44SSøren Schmidt 	 * Else stuff argument count as first item on stack
69326f9a767SRodney W. Grimes 	 */
694d6c847f3SBruce Evans 	if (p->p_sysent->sv_fixup != NULL)
6955f77b8a8SBrooks Davis 		error = (*p->p_sysent->sv_fixup)(&stack_base, imgp);
6961e1e0b44SSøren Schmidt 	else
6975f77b8a8SBrooks Davis 		error = suword(--stack_base, imgp->args->argc) == 0 ?
6985f77b8a8SBrooks Davis 		    0 : EFAULT;
6995f77b8a8SBrooks Davis 	if (error != 0)
7005f77b8a8SBrooks Davis 		goto exec_fail_dealloc;
70126f9a767SRodney W. Grimes 
702457f7e23SEd Schouten 	if (args->fdp != NULL) {
703457f7e23SEd Schouten 		/* Install a brand new file descriptor table. */
704457f7e23SEd Schouten 		fdinstall_remapped(td, args->fdp);
705457f7e23SEd Schouten 		args->fdp = NULL;
706457f7e23SEd Schouten 	} else {
707a78e8d2aSDavid Greenman 		/*
708457f7e23SEd Schouten 		 * Keep on using the existing file descriptor table. For
709457f7e23SEd Schouten 		 * security and other reasons, the file descriptor table
710457f7e23SEd Schouten 		 * cannot be shared after an exec.
711a78e8d2aSDavid Greenman 		 */
712b9d32c36SMateusz Guzik 		fdunshare(td);
713b0bc0cadSMateusz Guzik 		/* close files on exec */
714b0bc0cadSMateusz Guzik 		fdcloseexec(td);
715457f7e23SEd Schouten 	}
716a78e8d2aSDavid Greenman 
717333ea485SGuido van Rooij 	/*
7189b3b1c5fSJohn Baldwin 	 * Malloc things before we need locks.
7199b3b1c5fSJohn Baldwin 	 */
720*f373437aSBrooks Davis 	i = exec_args_get_begin_envv(imgp->args) - imgp->args->begin_argv;
7215997cae9SDon Lewis 	/* Cache arguments if they fit inside our allowance */
7225997cae9SDon Lewis 	if (ps_arg_cache_limit >= i + sizeof(struct pargs)) {
7239b3b1c5fSJohn Baldwin 		newargs = pargs_alloc(i);
7245997cae9SDon Lewis 		bcopy(imgp->args->begin_argv, newargs->ar_args, i);
7255997cae9SDon Lewis 	}
7269b3b1c5fSJohn Baldwin 
7279b3b1c5fSJohn Baldwin 	/*
728333ea485SGuido van Rooij 	 * For security and other reasons, signal handlers cannot
7298688bb93SJohn Baldwin 	 * be shared after an exec. The new process gets a copy of the old
730b2c3fa70SDima Dorfman 	 * handlers. In execsigs(), the new process will have its signals
731333ea485SGuido van Rooij 	 * reset.
732333ea485SGuido van Rooij 	 */
73390af4afaSJohn Baldwin 	if (sigacts_shared(p->p_sigacts)) {
73490af4afaSJohn Baldwin 		oldsigacts = p->p_sigacts;
73590af4afaSJohn Baldwin 		newsigacts = sigacts_alloc();
73690af4afaSJohn Baldwin 		sigacts_copy(newsigacts, oldsigacts);
737a6bad85eSMateusz Guzik 	}
738333ea485SGuido van Rooij 
739cda68844SMateusz Guzik 	vn_lock(imgp->vp, LK_SHARED | LK_RETRY);
740cda68844SMateusz Guzik 
741d00c8ea4SMateusz Guzik 	PROC_LOCK(p);
742d00c8ea4SMateusz Guzik 	if (oldsigacts)
743d00c8ea4SMateusz Guzik 		p->p_sigacts = newsigacts;
744fdf4e8b3SWarner Losh 	/* Stop profiling */
745fdf4e8b3SWarner Losh 	stopprofclock(p);
746fdf4e8b3SWarner Losh 
74726f9a767SRodney W. Grimes 	/* reset caught signals */
74826f9a767SRodney W. Grimes 	execsigs(p);
74926f9a767SRodney W. Grimes 
75026f9a767SRodney W. Grimes 	/* name this process - nameiexec(p, ndp) */
7515ca4819dSJohn Baldwin 	bzero(p->p_comm, sizeof(p->p_comm));
7525ca4819dSJohn Baldwin 	if (args->fname)
7535ca4819dSJohn Baldwin 		bcopy(nd.ni_cnd.cn_nameptr, p->p_comm,
7545ca4819dSJohn Baldwin 		    min(nd.ni_cnd.cn_namelen, MAXCOMLEN));
75561617058SMateusz Guzik 	else if (vn_commname(newtextvp, p->p_comm, sizeof(p->p_comm)) != 0)
7565ca4819dSJohn Baldwin 		bcopy(fexecv_proc_title, p->p_comm, sizeof(fexecv_proc_title));
757ca081fdbSJulian Elischer 	bcopy(p->p_comm, td->td_name, sizeof(td->td_name));
75844ad5475SJohn Baldwin #ifdef KTR
75944ad5475SJohn Baldwin 	sched_clear_tdname(td);
76044ad5475SJohn Baldwin #endif
76126f9a767SRodney W. Grimes 
76226f9a767SRodney W. Grimes 	/*
76324b34f09SSujal Patel 	 * mark as execed, wakeup the process that vforked (if any) and tell
764dc733423SDag-Erling Smørgrav 	 * it that it now has its own resources back
76526f9a767SRodney W. Grimes 	 */
76626f9a767SRodney W. Grimes 	p->p_flag |= P_EXEC;
767677258f7SKonstantin Belousov 	if ((p->p_flag2 & P2_NOTRACE_EXEC) == 0)
768677258f7SKonstantin Belousov 		p->p_flag2 &= ~P2_NOTRACE;
769965d0860SMateusz Guzik 	if (p->p_flag & P_PPWAIT) {
770888d4d4fSKonstantin Belousov 		p->p_flag &= ~(P_PPWAIT | P_PPTRACE);
771aeb32571SKonstantin Belousov 		cv_broadcast(&p->p_pwait);
77277d68094SKonstantin Belousov 		/* STOPs are no longer ignored, arrange for AST */
77377d68094SKonstantin Belousov 		signotify(td);
77426f9a767SRodney W. Grimes 	}
77526f9a767SRodney W. Grimes 
77626f9a767SRodney W. Grimes 	/*
777881010f0SBryan Drewery 	 * Implement image setuid/setgid installation.
778c52007c2SDavid Greenman 	 */
779881010f0SBryan Drewery 	if (imgp->credential_setid) {
780c52007c2SDavid Greenman 		/*
781c52007c2SDavid Greenman 		 * Turn off syscall tracing for set-id programs, except for
782b85db196SPeter Wemm 		 * root.  Record any set-id flags first to make sure that
783b85db196SPeter Wemm 		 * we do not regain any tracing during a possible block.
78426f9a767SRodney W. Grimes 		 */
785b85db196SPeter Wemm 		setsugid(p);
786acd3428bSRobert Watson 
7876c84de02SJohn Baldwin #ifdef KTRACE
788c331c970SAndriy Gapon 		if (p->p_tracecred != NULL &&
789c331c970SAndriy Gapon 		    priv_check_cred(p->p_tracecred, PRIV_DEBUG_DIFFCRED, 0))
790d680caabSJohn Baldwin 			ktrprocexec(p, &tracecred, &tracevp);
7916c84de02SJohn Baldwin #endif
79228b325aaSDon Lewis 		/*
793c1e2d386SNate Lawson 		 * Close any file descriptors 0..2 that reference procfs,
794c1e2d386SNate Lawson 		 * then make sure file descriptors 0..2 are in use.
79528b325aaSDon Lewis 		 *
7968a5177ccSMateusz Guzik 		 * Both fdsetugidsafety() and fdcheckstd() may call functions
7978a5177ccSMateusz Guzik 		 * taking sleepable locks, so temporarily drop our locks.
79828b325aaSDon Lewis 		 */
79928b325aaSDon Lewis 		PROC_UNLOCK(p);
80022db15c0SAttilio Rao 		VOP_UNLOCK(imgp->vp, 0);
80111888da8SMateusz Guzik 		fdsetugidsafety(td);
802e983a376SJacques Vidrine 		error = fdcheckstd(td);
8035e2554b7SMateusz Guzik 		vn_lock(imgp->vp, LK_SHARED | LK_RETRY);
804cda68844SMateusz Guzik 		if (error != 0)
805cda68844SMateusz Guzik 			goto exec_fail_dealloc;
806e1b1aa3bSJohn Baldwin 		PROC_LOCK(p);
807ccafe7ebSRobert Watson #ifdef MAC
808670cb89bSRobert Watson 		if (will_transition) {
809881010f0SBryan Drewery 			mac_vnode_execve_transition(oldcred, imgp->newcred,
810881010f0SBryan Drewery 			    imgp->vp, interpvplabel, imgp);
811670cb89bSRobert Watson 		}
812ccafe7ebSRobert Watson #endif
813c52007c2SDavid Greenman 	} else {
814b1fc0ec1SRobert Watson 		if (oldcred->cr_uid == oldcred->cr_ruid &&
815b1fc0ec1SRobert Watson 		    oldcred->cr_gid == oldcred->cr_rgid)
816c52007c2SDavid Greenman 			p->p_flag &= ~P_SUGID;
817881010f0SBryan Drewery 	}
81826f9a767SRodney W. Grimes 	/*
819881010f0SBryan Drewery 	 * Set the new credentials.
82026f9a767SRodney W. Grimes 	 */
8213fc292d5SKonstantin Belousov 	if (imgp->newcred != NULL) {
822881010f0SBryan Drewery 		proc_set_cred(p, imgp->newcred);
8233fc292d5SKonstantin Belousov 		crfree(oldcred);
8243fc292d5SKonstantin Belousov 		oldcred = NULL;
8253fc292d5SKonstantin Belousov 	}
82626f9a767SRodney W. Grimes 
82726f9a767SRodney W. Grimes 	/*
828853be5ffSMateusz Guzik 	 * Store the vp for use in procfs.  This vnode was referenced by namei
829853be5ffSMateusz Guzik 	 * or fgetvp_exec.
8302a531c80SDavid Greenman 	 */
83161617058SMateusz Guzik 	oldtextvp = p->p_textvp;
83261617058SMateusz Guzik 	p->p_textvp = newtextvp;
8332a531c80SDavid Greenman 
8345d217f17SJohn Birrell #ifdef KDTRACE_HOOKS
8355d217f17SJohn Birrell 	/*
8365d217f17SJohn Birrell 	 * Tell the DTrace fasttrap provider about the exec if it
8375d217f17SJohn Birrell 	 * has declared an interest.
8385d217f17SJohn Birrell 	 */
8395d217f17SJohn Birrell 	if (dtrace_fasttrap_exec)
8405d217f17SJohn Birrell 		dtrace_fasttrap_exec(p);
8415d217f17SJohn Birrell #endif
8425d217f17SJohn Birrell 
8432a531c80SDavid Greenman 	/*
8449ca45e81SDag-Erling Smørgrav 	 * Notify others that we exec'd, and clear the P_INEXEC flag
8459ca45e81SDag-Erling Smørgrav 	 * as we're now a bona fide freshly-execed process.
846cb679c38SJonathan Lemon 	 */
8479e590ff0SKonstantin Belousov 	KNOTE_LOCKED(p->p_klist, NOTE_EXEC);
8489ca45e81SDag-Erling Smørgrav 	p->p_flag &= ~P_INEXEC;
849cb679c38SJonathan Lemon 
85026f9a767SRodney W. Grimes 	/* clear "fork but no exec" flag, as we _are_ execing */
85126f9a767SRodney W. Grimes 	p->p_acflag &= ~AFORK;
85226f9a767SRodney W. Grimes 
8535997cae9SDon Lewis 	/*
85434ea500bSDon Lewis 	 * Free any previous argument cache and replace it with
8555997cae9SDon Lewis 	 * the new argument cache, if any.
8565997cae9SDon Lewis 	 */
8579b3b1c5fSJohn Baldwin 	oldargs = p->p_args;
858e1b1aa3bSJohn Baldwin 	p->p_args = newargs;
859e1b1aa3bSJohn Baldwin 	newargs = NULL;
860ebccf1e3SJoseph Koshy 
86180a2397aSMateusz Guzik 	PROC_UNLOCK(p);
86280a2397aSMateusz Guzik 
863ebccf1e3SJoseph Koshy #ifdef	HWPMC_HOOKS
864ebccf1e3SJoseph Koshy 	/*
865f263522aSJoseph Koshy 	 * Check if system-wide sampling is in effect or if the
866f263522aSJoseph Koshy 	 * current process is using PMCs.  If so, do exec() time
867ebccf1e3SJoseph Koshy 	 * processing.  This processing needs to happen AFTER the
868ebccf1e3SJoseph Koshy 	 * P_INEXEC flag is cleared.
869ebccf1e3SJoseph Koshy 	 */
870f263522aSJoseph Koshy 	if (PMC_SYSTEM_SAMPLING_ACTIVE() || PMC_PROC_IS_USING_PMCS(p)) {
8711ef6ea9bSKonstantin Belousov 		VOP_UNLOCK(imgp->vp, 0);
87215139246SJoseph Koshy 		pe.pm_credentialschanged = credential_changing;
87315139246SJoseph Koshy 		pe.pm_entryaddr = imgp->entry_addr;
87415139246SJoseph Koshy 
87515139246SJoseph Koshy 		PMC_CALL_HOOK_X(td, PMC_FN_PROCESS_EXEC, (void *) &pe);
8762974cc36SKonstantin Belousov 		vn_lock(imgp->vp, LK_SHARED | LK_RETRY);
87780a2397aSMateusz Guzik 	}
878ebccf1e3SJoseph Koshy #endif
879e1b1aa3bSJohn Baldwin 
880e913ca22SDoug Rabson 	/* Set values passed into the program in registers. */
8813ebc1248SPeter Wemm 	if (p->p_sysent->sv_setregs)
882a107d8aaSNathan Whitehorn 		(*p->p_sysent->sv_setregs)(td, imgp,
883a107d8aaSNathan Whitehorn 		    (u_long)(uintptr_t)stack_base);
8843ebc1248SPeter Wemm 	else
885a107d8aaSNathan Whitehorn 		exec_setregs(td, imgp, (u_long)(uintptr_t)stack_base);
886e913ca22SDoug Rabson 
8870359a12eSAttilio Rao 	vfs_mark_atime(imgp->vp, td->td_ucred);
8886341095eSKen Smith 
88936160958SMark Johnston 	SDT_PROBE1(proc, , , exec__success, args->fname);
8905d217f17SJohn Birrell 
8911616db3cSJohn Dyson exec_fail_dealloc:
892d6c847f3SBruce Evans 	if (imgp->firstpage != NULL)
8931616db3cSJohn Dyson 		exec_unmap_first_page(imgp);
89426f9a767SRodney W. Grimes 
895d6c847f3SBruce Evans 	if (imgp->vp != NULL) {
896632dbc19SKonstantin Belousov 		if (args->fname)
89769c9eff8SEd Schouten 			NDFREE(&nd, NDF_ONLY_PNBUF);
8989a75ea23SKonstantin Belousov 		if (imgp->opened)
8999a75ea23SKonstantin Belousov 			VOP_CLOSE(imgp->vp, FREAD, td->td_ucred, td);
900853be5ffSMateusz Guzik 		if (error != 0)
901619eb6e5SJeff Roberson 			vput(imgp->vp);
902853be5ffSMateusz Guzik 		else
903853be5ffSMateusz Guzik 			VOP_UNLOCK(imgp->vp, 0);
904a3cf6ebaSDavid Greenman 	}
90526f9a767SRodney W. Grimes 
906d6c847f3SBruce Evans 	if (imgp->object != NULL)
9070b2ed1aeSJeff Roberson 		vm_object_deallocate(imgp->object);
9080b2ed1aeSJeff Roberson 
9093ff06357SKonstantin Belousov 	free(imgp->freepath, M_TEMP);
9103ff06357SKonstantin Belousov 
911d1989db5SRobert Drehmel 	if (error == 0) {
912e6b645aeSMateusz Guzik 		if (p->p_ptevents & PTRACE_EXEC) {
913afe1a688SKonstantin Belousov 			PROC_LOCK(p);
9148d570f64SJohn Baldwin 			if (p->p_ptevents & PTRACE_EXEC)
915afe1a688SKonstantin Belousov 				td->td_dbgflags |= TDB_EXEC;
916afe1a688SKonstantin Belousov 			PROC_UNLOCK(p);
917e6b645aeSMateusz Guzik 		}
918afe1a688SKonstantin Belousov 
919d1989db5SRobert Drehmel 		/*
920d1989db5SRobert Drehmel 		 * Stop the process here if its stop event mask has
921d1989db5SRobert Drehmel 		 * the S_EXEC bit set.
922d1989db5SRobert Drehmel 		 */
923d1989db5SRobert Drehmel 		STOPEVENT(p, S_EXEC, 0);
924cda68844SMateusz Guzik 	} else {
92526f9a767SRodney W. Grimes exec_fail:
9269ca45e81SDag-Erling Smørgrav 		/* we're done here, clear P_INEXEC */
9279ca45e81SDag-Erling Smørgrav 		PROC_LOCK(p);
9289ca45e81SDag-Erling Smørgrav 		p->p_flag &= ~P_INEXEC;
9299ca45e81SDag-Erling Smørgrav 		PROC_UNLOCK(p);
9309ca45e81SDag-Erling Smørgrav 
93136160958SMark Johnston 		SDT_PROBE1(proc, , , exec__failure, error);
932cda68844SMateusz Guzik 	}
9335d217f17SJohn Birrell 
9343fc292d5SKonstantin Belousov 	if (imgp->newcred != NULL && oldcred != NULL)
9353fc292d5SKonstantin Belousov 		crfree(imgp->newcred);
9363fc292d5SKonstantin Belousov 
937670cb89bSRobert Watson #ifdef MAC
938670cb89bSRobert Watson 	mac_execve_exit(imgp);
9396356dba0SRobert Watson 	mac_execve_interpreter_exit(interpvplabel);
940670cb89bSRobert Watson #endif
9418917b8d2SJohn Baldwin 	exec_free_args(args);
9428917b8d2SJohn Baldwin 
943cda68844SMateusz Guzik 	/*
944cda68844SMateusz Guzik 	 * Handle deferred decrement of ref counts.
945cda68844SMateusz Guzik 	 */
946cda68844SMateusz Guzik 	if (oldtextvp != NULL)
947cda68844SMateusz Guzik 		vrele(oldtextvp);
948cda68844SMateusz Guzik #ifdef KTRACE
949cda68844SMateusz Guzik 	if (tracevp != NULL)
950cda68844SMateusz Guzik 		vrele(tracevp);
951cda68844SMateusz Guzik 	if (tracecred != NULL)
952cda68844SMateusz Guzik 		crfree(tracecred);
953cda68844SMateusz Guzik #endif
954cda68844SMateusz Guzik 	pargs_drop(oldargs);
955cda68844SMateusz Guzik 	pargs_drop(newargs);
956cda68844SMateusz Guzik 	if (oldsigacts != NULL)
957cda68844SMateusz Guzik 		sigacts_free(oldsigacts);
958cda68844SMateusz Guzik 	if (euip != NULL)
959cda68844SMateusz Guzik 		uifree(euip);
960cda68844SMateusz Guzik 
9618917b8d2SJohn Baldwin 	if (error && imgp->vmspace_destroyed) {
9628917b8d2SJohn Baldwin 		/* sorry, no more process anymore. exit gracefully */
963b4490c6eSKonstantin Belousov 		exit1(td, 0, SIGABRT);
9648917b8d2SJohn Baldwin 		/* NOT REACHED */
9658917b8d2SJohn Baldwin 	}
9667705d4b2SDmitry Chagin 
9677705d4b2SDmitry Chagin #ifdef KTRACE
9687705d4b2SDmitry Chagin 	if (error == 0)
9697705d4b2SDmitry Chagin 		ktrprocctor(p);
9707705d4b2SDmitry Chagin #endif
9717705d4b2SDmitry Chagin 
972814629ddSEd Schouten 	/*
973814629ddSEd Schouten 	 * We don't want cpu_set_syscall_retval() to overwrite any of
974814629ddSEd Schouten 	 * the register values put in place by exec_setregs().
975814629ddSEd Schouten 	 * Implementations of cpu_set_syscall_retval() will leave
976814629ddSEd Schouten 	 * registers unmodified when returning EJUSTRETURN.
977814629ddSEd Schouten 	 */
978814629ddSEd Schouten 	return (error == 0 ? EJUSTRETURN : error);
97926f9a767SRodney W. Grimes }
98026f9a767SRodney W. Grimes 
9811616db3cSJohn Dyson int
982b8d908b7SEd Maste exec_map_first_page(struct image_params *imgp)
9831616db3cSJohn Dyson {
984b0cd2017SGleb Smirnoff 	int rv, i, after, initial_pagein;
98595461b45SJohn Dyson 	vm_page_t ma[VM_INITIAL_PAGEIN];
9861616db3cSJohn Dyson 	vm_object_t object;
9871616db3cSJohn Dyson 
988d6c847f3SBruce Evans 	if (imgp->firstpage != NULL)
9891616db3cSJohn Dyson 		exec_unmap_first_page(imgp);
9901616db3cSJohn Dyson 
9918516dd18SPoul-Henning Kamp 	object = imgp->vp->v_object;
9924d7d2993SJeff Roberson 	if (object == NULL)
9934d7d2993SJeff Roberson 		return (EACCES);
99489f6b863SAttilio Rao 	VM_OBJECT_WLOCK(object);
995f8a47341SAlan Cox #if VM_NRESERVLEVEL > 0
9963d653db0SAlan Cox 	vm_object_color(object, 0);
997f8a47341SAlan Cox #endif
998ce3ee09bSAlan Cox 	ma[0] = vm_page_grab(object, 0, VM_ALLOC_NORMAL | VM_ALLOC_NOBUSY);
9990a2e596aSAlan Cox 	if (ma[0]->valid != VM_PAGE_BITS_ALL) {
1000ce3ee09bSAlan Cox 		vm_page_xbusy(ma[0]);
1001b0cd2017SGleb Smirnoff 		if (!vm_pager_has_page(object, 0, NULL, &after)) {
1002b0cd2017SGleb Smirnoff 			vm_page_lock(ma[0]);
1003b0cd2017SGleb Smirnoff 			vm_page_free(ma[0]);
1004b0cd2017SGleb Smirnoff 			vm_page_unlock(ma[0]);
1005b0cd2017SGleb Smirnoff 			VM_OBJECT_WUNLOCK(object);
1006b0cd2017SGleb Smirnoff 			return (EIO);
1007b0cd2017SGleb Smirnoff 		}
1008b0cd2017SGleb Smirnoff 		initial_pagein = min(after, VM_INITIAL_PAGEIN);
1009b0cd2017SGleb Smirnoff 		KASSERT(initial_pagein <= object->size,
1010b0cd2017SGleb Smirnoff 		    ("%s: initial_pagein %d object->size %ju",
1011b0cd2017SGleb Smirnoff 		    __func__, initial_pagein, (uintmax_t )object->size));
101295461b45SJohn Dyson 		for (i = 1; i < initial_pagein; i++) {
101341890423SAlan Cox 			if ((ma[i] = vm_page_next(ma[i - 1])) != NULL) {
10146ec2fca5SAlan Cox 				if (ma[i]->valid)
10156ec2fca5SAlan Cox 					break;
1016b2387aa6SAndriy Gapon 				if (!vm_page_tryxbusy(ma[i]))
101706fa71cdSAlan Cox 					break;
101895461b45SJohn Dyson 			} else {
1019ca0387efSJake Burkholder 				ma[i] = vm_page_alloc(object, i,
10207667839aSAlan Cox 				    VM_ALLOC_NORMAL);
102195461b45SJohn Dyson 				if (ma[i] == NULL)
102295461b45SJohn Dyson 					break;
102395461b45SJohn Dyson 			}
102495461b45SJohn Dyson 		}
102595461b45SJohn Dyson 		initial_pagein = i;
1026b0cd2017SGleb Smirnoff 		rv = vm_pager_get_pages(object, ma, initial_pagein, NULL, NULL);
1027093c7f39SGleb Smirnoff 		if (rv != VM_PAGER_OK) {
1028b0cd2017SGleb Smirnoff 			for (i = 0; i < initial_pagein; i++) {
1029b0cd2017SGleb Smirnoff 				vm_page_lock(ma[i]);
1030b0cd2017SGleb Smirnoff 				vm_page_free(ma[i]);
1031b0cd2017SGleb Smirnoff 				vm_page_unlock(ma[i]);
1032b0cd2017SGleb Smirnoff 			}
103389f6b863SAttilio Rao 			VM_OBJECT_WUNLOCK(object);
1034a7cddfedSJake Burkholder 			return (EIO);
10351616db3cSJohn Dyson 		}
1036ce3ee09bSAlan Cox 		vm_page_xunbusy(ma[0]);
1037b0cd2017SGleb Smirnoff 		for (i = 1; i < initial_pagein; i++)
1038b0cd2017SGleb Smirnoff 			vm_page_readahead_finish(ma[i]);
10391616db3cSJohn Dyson 	}
10402965a453SKip Macy 	vm_page_lock(ma[0]);
1041be996836SAttilio Rao 	vm_page_hold(ma[0]);
104270978c93SKonstantin Belousov 	vm_page_activate(ma[0]);
10432965a453SKip Macy 	vm_page_unlock(ma[0]);
104489f6b863SAttilio Rao 	VM_OBJECT_WUNLOCK(object);
10451616db3cSJohn Dyson 
104659c8bc40SAlan Cox 	imgp->firstpage = sf_buf_alloc(ma[0], 0);
104759c8bc40SAlan Cox 	imgp->image_header = (char *)sf_buf_kva(imgp->firstpage);
10481616db3cSJohn Dyson 
1049a7cddfedSJake Burkholder 	return (0);
10501616db3cSJohn Dyson }
10511616db3cSJohn Dyson 
10521616db3cSJohn Dyson void
10533e85b721SEd Maste exec_unmap_first_page(struct image_params *imgp)
10541616db3cSJohn Dyson {
105559c8bc40SAlan Cox 	vm_page_t m;
105623955314SAlfred Perlstein 
1057d6c847f3SBruce Evans 	if (imgp->firstpage != NULL) {
105859c8bc40SAlan Cox 		m = sf_buf_page(imgp->firstpage);
105959c8bc40SAlan Cox 		sf_buf_free(imgp->firstpage);
10601616db3cSJohn Dyson 		imgp->firstpage = NULL;
10612965a453SKip Macy 		vm_page_lock(m);
1062be996836SAttilio Rao 		vm_page_unhold(m);
10632965a453SKip Macy 		vm_page_unlock(m);
10641616db3cSJohn Dyson 	}
10651616db3cSJohn Dyson }
10661616db3cSJohn Dyson 
106726f9a767SRodney W. Grimes /*
1068467b3975SKonstantin Belousov  * Destroy old address space, and allocate a new stack.
1069467b3975SKonstantin Belousov  *	The new stack is only sgrowsiz large because it is grown
1070467b3975SKonstantin Belousov  *	automatically on a page fault.
107126f9a767SRodney W. Grimes  */
107226f9a767SRodney W. Grimes int
10733e85b721SEd Maste exec_new_vmspace(struct image_params *imgp, struct sysentvec *sv)
107426f9a767SRodney W. Grimes {
107526f9a767SRodney W. Grimes 	int error;
10765e20c11fSAlan Cox 	struct proc *p = imgp->proc;
10775e20c11fSAlan Cox 	struct vmspace *vmspace = p->p_vmspace;
10786297a3d8SKonstantin Belousov 	vm_object_t obj;
1079316b3843SKonstantin Belousov 	struct rlimit rlim_stack;
1080878adb85SBjoern A. Zeeb 	vm_offset_t sv_minuser, stack_addr;
108105ba50f5SJake Burkholder 	vm_map_t map;
108259d8f3ffSJohn Baldwin 	u_long ssiz;
108326f9a767SRodney W. Grimes 
1084c52007c2SDavid Greenman 	imgp->vmspace_destroyed = 1;
1085993182e5SAlexander Leidinger 	imgp->sysent = sv;
108626f9a767SRodney W. Grimes 
1087bd37fd72SKris Kennaway 	/* May be called with Giant held */
10882ca45184SMatt Joras 	EVENTHANDLER_DIRECT_INVOKE(process_exec, p, imgp);
10896f5dafeaSAlan Cox 
10906f5dafeaSAlan Cox 	/*
1091af9ec885SJohn Dyson 	 * Blow away entire process VM, if address space not shared,
1092af9ec885SJohn Dyson 	 * otherwise, create a new VM space so that other threads are
1093af9ec885SJohn Dyson 	 * not disrupted
1094af9ec885SJohn Dyson 	 */
109505ba50f5SJake Burkholder 	map = &vmspace->vm_map;
1096878adb85SBjoern A. Zeeb 	if (map_at_zero)
1097878adb85SBjoern A. Zeeb 		sv_minuser = sv->sv_minuser;
1098878adb85SBjoern A. Zeeb 	else
1099878adb85SBjoern A. Zeeb 		sv_minuser = MAX(sv->sv_minuser, PAGE_SIZE);
1100878adb85SBjoern A. Zeeb 	if (vmspace->vm_refcnt == 1 && vm_map_min(map) == sv_minuser &&
110105ba50f5SJake Burkholder 	    vm_map_max(map) == sv->sv_maxuser) {
11023db161e0SMatthew Dillon 		shmexit(vmspace);
1103b9eee07eSPeter Wemm 		pmap_remove_pages(vmspace_pmap(vmspace));
110405ba50f5SJake Burkholder 		vm_map_remove(map, vm_map_min(map), vm_map_max(map));
11058056df6eSAlan Cox 		/* An exec terminates mlockall(MCL_FUTURE). */
11068056df6eSAlan Cox 		vm_map_lock(map);
11078056df6eSAlan Cox 		vm_map_modflags(map, 0, MAP_WIREFUTURE);
11088056df6eSAlan Cox 		vm_map_unlock(map);
1109af9ec885SJohn Dyson 	} else {
1110878adb85SBjoern A. Zeeb 		error = vmspace_exec(p, sv_minuser, sv->sv_maxuser);
111189b57fcfSKonstantin Belousov 		if (error)
111289b57fcfSKonstantin Belousov 			return (error);
11135e20c11fSAlan Cox 		vmspace = p->p_vmspace;
111405ba50f5SJake Burkholder 		map = &vmspace->vm_map;
1115af9ec885SJohn Dyson 	}
111626f9a767SRodney W. Grimes 
11176297a3d8SKonstantin Belousov 	/* Map a shared page */
11186297a3d8SKonstantin Belousov 	obj = sv->sv_shared_page_obj;
11196297a3d8SKonstantin Belousov 	if (obj != NULL) {
11206297a3d8SKonstantin Belousov 		vm_object_reference(obj);
11216297a3d8SKonstantin Belousov 		error = vm_map_fixed(map, obj, 0,
11226297a3d8SKonstantin Belousov 		    sv->sv_shared_page_base, sv->sv_shared_page_len,
11231e65d73cSKonstantin Belousov 		    VM_PROT_READ | VM_PROT_EXECUTE,
11241e65d73cSKonstantin Belousov 		    VM_PROT_READ | VM_PROT_EXECUTE,
11251e65d73cSKonstantin Belousov 		    MAP_INHERIT_SHARE | MAP_ACC_NO_CHARGE);
1126467b3975SKonstantin Belousov 		if (error != KERN_SUCCESS) {
11276297a3d8SKonstantin Belousov 			vm_object_deallocate(obj);
1128467b3975SKonstantin Belousov 			return (vm_mmap_to_errno(error));
11296297a3d8SKonstantin Belousov 		}
11306297a3d8SKonstantin Belousov 	}
11316297a3d8SKonstantin Belousov 
113226f9a767SRodney W. Grimes 	/* Allocate a new stack */
1133316b3843SKonstantin Belousov 	if (imgp->stack_sz != 0) {
1134fe8a824cSKonstantin Belousov 		ssiz = trunc_page(imgp->stack_sz);
1135316b3843SKonstantin Belousov 		PROC_LOCK(p);
1136f6f6d240SMateusz Guzik 		lim_rlimit_proc(p, RLIMIT_STACK, &rlim_stack);
1137316b3843SKonstantin Belousov 		PROC_UNLOCK(p);
1138316b3843SKonstantin Belousov 		if (ssiz > rlim_stack.rlim_max)
1139316b3843SKonstantin Belousov 			ssiz = rlim_stack.rlim_max;
1140316b3843SKonstantin Belousov 		if (ssiz > rlim_stack.rlim_cur) {
1141316b3843SKonstantin Belousov 			rlim_stack.rlim_cur = ssiz;
1142316b3843SKonstantin Belousov 			kern_setrlimit(curthread, RLIMIT_STACK, &rlim_stack);
1143316b3843SKonstantin Belousov 		}
1144316b3843SKonstantin Belousov 	} else if (sv->sv_maxssiz != NULL) {
114559d8f3ffSJohn Baldwin 		ssiz = *sv->sv_maxssiz;
1146316b3843SKonstantin Belousov 	} else {
114759d8f3ffSJohn Baldwin 		ssiz = maxssiz;
1148316b3843SKonstantin Belousov 	}
114959d8f3ffSJohn Baldwin 	stack_addr = sv->sv_usrstack - ssiz;
115059d8f3ffSJohn Baldwin 	error = vm_map_stack(map, stack_addr, (vm_size_t)ssiz,
11516297a3d8SKonstantin Belousov 	    obj != NULL && imgp->stack_prot != 0 ? imgp->stack_prot :
1152467b3975SKonstantin Belousov 	    sv->sv_stackprot, VM_PROT_ALL, MAP_STACK_GROWS_DOWN);
1153467b3975SKonstantin Belousov 	if (error != KERN_SUCCESS)
1154467b3975SKonstantin Belousov 		return (vm_mmap_to_errno(error));
11552267af78SJulian Elischer 
115678960940SAlan Cox 	/*
115778960940SAlan Cox 	 * vm_ssize and vm_maxsaddr are somewhat antiquated concepts, but they
115878960940SAlan Cox 	 * are still used to enforce the stack rlimit on the process stack.
11592267af78SJulian Elischer 	 */
1160cbc89bfbSPaul Saab 	vmspace->vm_ssize = sgrowsiz >> PAGE_SHIFT;
11616ef12002SKonstantin Belousov 	vmspace->vm_maxsaddr = (char *)stack_addr;
116226f9a767SRodney W. Grimes 
116326f9a767SRodney W. Grimes 	return (0);
116426f9a767SRodney W. Grimes }
116526f9a767SRodney W. Grimes 
116626f9a767SRodney W. Grimes /*
1167873fbcd7SRobert Watson  * Copy out argument and environment strings from the old process address
1168873fbcd7SRobert Watson  * space into the temporary string buffer.
116926f9a767SRodney W. Grimes  */
117026f9a767SRodney W. Grimes int
117112e69f96SBrooks Davis exec_copyin_args(struct image_args *args, const char *fname,
1172610ecfe0SMaxim Sobolev     enum uio_seg segflg, char **argv, char **envv)
117326f9a767SRodney W. Grimes {
1174*f373437aSBrooks Davis 	u_long arg, env;
1175ecbb00a2SDoug Rabson 	int error;
117626f9a767SRodney W. Grimes 
1177610ecfe0SMaxim Sobolev 	bzero(args, sizeof(*args));
1178610ecfe0SMaxim Sobolev 	if (argv == NULL)
1179610ecfe0SMaxim Sobolev 		return (EFAULT);
11802af6e14dSAlan Cox 
118126f9a767SRodney W. Grimes 	/*
11822af6e14dSAlan Cox 	 * Allocate demand-paged memory for the file name, argument, and
11832af6e14dSAlan Cox 	 * environment strings.
118426f9a767SRodney W. Grimes 	 */
11852af6e14dSAlan Cox 	error = exec_alloc_args(args);
11862af6e14dSAlan Cox 	if (error != 0)
11872af6e14dSAlan Cox 		return (error);
11889e4e5114SAlan Cox 
1189610ecfe0SMaxim Sobolev 	/*
1190610ecfe0SMaxim Sobolev 	 * Copy the file name.
1191610ecfe0SMaxim Sobolev 	 */
1192*f373437aSBrooks Davis 	error = exec_args_add_fname(args, fname, segflg);
1193c30af532SMaxim Sobolev 	if (error != 0)
119468ff3c24SStephan Uphoff 		goto err_exit;
119526f9a767SRodney W. Grimes 
1196610ecfe0SMaxim Sobolev 	/*
1197610ecfe0SMaxim Sobolev 	 * extract arguments first
1198610ecfe0SMaxim Sobolev 	 */
11990a2c94b8SKonstantin Belousov 	for (;;) {
1200*f373437aSBrooks Davis 		error = fueword(argv++, &arg);
12010a2c94b8SKonstantin Belousov 		if (error == -1) {
120268ff3c24SStephan Uphoff 			error = EFAULT;
120368ff3c24SStephan Uphoff 			goto err_exit;
120468ff3c24SStephan Uphoff 		}
1205*f373437aSBrooks Davis 		if (arg == 0)
12060a2c94b8SKonstantin Belousov 			break;
1207*f373437aSBrooks Davis 		error = exec_args_add_arg(args, (char *)(uintptr_t)arg,
1208*f373437aSBrooks Davis 		    UIO_USERSPACE);
1209*f373437aSBrooks Davis 		if (error != 0)
121068ff3c24SStephan Uphoff 			goto err_exit;
1211610ecfe0SMaxim Sobolev 	}
1212b9df5231SPoul-Henning Kamp 
121326f9a767SRodney W. Grimes 	/*
121426f9a767SRodney W. Grimes 	 * extract environment strings
121526f9a767SRodney W. Grimes 	 */
12160fd1a014SDavid Greenman 	if (envv) {
12170a2c94b8SKonstantin Belousov 		for (;;) {
1218*f373437aSBrooks Davis 			error = fueword(envv++, &env);
12190a2c94b8SKonstantin Belousov 			if (error == -1) {
122068ff3c24SStephan Uphoff 				error = EFAULT;
122168ff3c24SStephan Uphoff 				goto err_exit;
122268ff3c24SStephan Uphoff 			}
1223*f373437aSBrooks Davis 			if (env == 0)
12240a2c94b8SKonstantin Belousov 				break;
1225*f373437aSBrooks Davis 			error = exec_args_add_env(args,
1226*f373437aSBrooks Davis 			    (char *)(uintptr_t)env, UIO_USERSPACE);
1227*f373437aSBrooks Davis 			if (error != 0)
122868ff3c24SStephan Uphoff 				goto err_exit;
12290fd1a014SDavid Greenman 		}
12300fd1a014SDavid Greenman 	}
123126f9a767SRodney W. Grimes 
123226f9a767SRodney W. Grimes 	return (0);
123368ff3c24SStephan Uphoff 
123468ff3c24SStephan Uphoff err_exit:
123568ff3c24SStephan Uphoff 	exec_free_args(args);
123668ff3c24SStephan Uphoff 	return (error);
123726f9a767SRodney W. Grimes }
123826f9a767SRodney W. Grimes 
1239457f7e23SEd Schouten int
1240457f7e23SEd Schouten exec_copyin_data_fds(struct thread *td, struct image_args *args,
1241457f7e23SEd Schouten     const void *data, size_t datalen, const int *fds, size_t fdslen)
1242457f7e23SEd Schouten {
1243457f7e23SEd Schouten 	struct filedesc *ofdp;
1244457f7e23SEd Schouten 	const char *p;
1245457f7e23SEd Schouten 	int *kfds;
1246457f7e23SEd Schouten 	int error;
1247457f7e23SEd Schouten 
1248457f7e23SEd Schouten 	memset(args, '\0', sizeof(*args));
1249457f7e23SEd Schouten 	ofdp = td->td_proc->p_fd;
1250457f7e23SEd Schouten 	if (datalen >= ARG_MAX || fdslen > ofdp->fd_lastfile + 1)
1251457f7e23SEd Schouten 		return (E2BIG);
1252457f7e23SEd Schouten 	error = exec_alloc_args(args);
1253457f7e23SEd Schouten 	if (error != 0)
1254457f7e23SEd Schouten 		return (error);
1255457f7e23SEd Schouten 
1256457f7e23SEd Schouten 	args->begin_argv = args->buf;
1257457f7e23SEd Schouten 	args->stringspace = ARG_MAX;
1258457f7e23SEd Schouten 
1259457f7e23SEd Schouten 	if (datalen > 0) {
1260457f7e23SEd Schouten 		/*
1261457f7e23SEd Schouten 		 * Argument buffer has been provided. Copy it into the
1262457f7e23SEd Schouten 		 * kernel as a single string and add a terminating null
1263457f7e23SEd Schouten 		 * byte.
1264457f7e23SEd Schouten 		 */
1265457f7e23SEd Schouten 		error = copyin(data, args->begin_argv, datalen);
1266457f7e23SEd Schouten 		if (error != 0)
1267457f7e23SEd Schouten 			goto err_exit;
1268457f7e23SEd Schouten 		args->begin_argv[datalen] = '\0';
1269457f7e23SEd Schouten 		args->endp = args->begin_argv + datalen + 1;
1270457f7e23SEd Schouten 		args->stringspace -= datalen + 1;
1271457f7e23SEd Schouten 
1272457f7e23SEd Schouten 		/*
1273457f7e23SEd Schouten 		 * Traditional argument counting. Count the number of
1274457f7e23SEd Schouten 		 * null bytes.
1275457f7e23SEd Schouten 		 */
1276457f7e23SEd Schouten 		for (p = args->begin_argv; p < args->endp; ++p)
1277457f7e23SEd Schouten 			if (*p == '\0')
1278457f7e23SEd Schouten 				++args->argc;
1279457f7e23SEd Schouten 	} else {
1280457f7e23SEd Schouten 		/* No argument buffer provided. */
1281457f7e23SEd Schouten 		args->endp = args->begin_argv;
1282457f7e23SEd Schouten 	}
1283457f7e23SEd Schouten 
1284457f7e23SEd Schouten 	/* Create new file descriptor table. */
1285457f7e23SEd Schouten 	kfds = malloc(fdslen * sizeof(int), M_TEMP, M_WAITOK);
1286457f7e23SEd Schouten 	error = copyin(fds, kfds, fdslen * sizeof(int));
1287457f7e23SEd Schouten 	if (error != 0) {
1288457f7e23SEd Schouten 		free(kfds, M_TEMP);
1289457f7e23SEd Schouten 		goto err_exit;
1290457f7e23SEd Schouten 	}
1291457f7e23SEd Schouten 	error = fdcopy_remapped(ofdp, kfds, fdslen, &args->fdp);
1292457f7e23SEd Schouten 	free(kfds, M_TEMP);
1293457f7e23SEd Schouten 	if (error != 0)
1294457f7e23SEd Schouten 		goto err_exit;
1295457f7e23SEd Schouten 
1296457f7e23SEd Schouten 	return (0);
1297457f7e23SEd Schouten err_exit:
1298457f7e23SEd Schouten 	exec_free_args(args);
1299457f7e23SEd Schouten 	return (error);
1300457f7e23SEd Schouten }
1301457f7e23SEd Schouten 
1302ec492b13SMark Johnston struct exec_args_kva {
1303ec492b13SMark Johnston 	vm_offset_t addr;
1304c6a4ba5aSMark Johnston 	u_int gen;
1305ec492b13SMark Johnston 	SLIST_ENTRY(exec_args_kva) next;
1306ec492b13SMark Johnston };
1307ec492b13SMark Johnston 
13082bf95012SAndrew Turner DPCPU_DEFINE_STATIC(struct exec_args_kva *, exec_args_kva);
1309ec492b13SMark Johnston 
1310ec492b13SMark Johnston static SLIST_HEAD(, exec_args_kva) exec_args_kva_freelist;
1311ec492b13SMark Johnston static struct mtx exec_args_kva_mtx;
1312c6a4ba5aSMark Johnston static u_int exec_args_gen;
1313ec492b13SMark Johnston 
1314ec492b13SMark Johnston static void
1315ec492b13SMark Johnston exec_prealloc_args_kva(void *arg __unused)
1316ec492b13SMark Johnston {
1317ec492b13SMark Johnston 	struct exec_args_kva *argkva;
1318ec492b13SMark Johnston 	u_int i;
1319ec492b13SMark Johnston 
1320ec492b13SMark Johnston 	SLIST_INIT(&exec_args_kva_freelist);
1321ec492b13SMark Johnston 	mtx_init(&exec_args_kva_mtx, "exec args kva", NULL, MTX_DEF);
1322ec492b13SMark Johnston 	for (i = 0; i < exec_map_entries; i++) {
1323ec492b13SMark Johnston 		argkva = malloc(sizeof(*argkva), M_PARGS, M_WAITOK);
1324ec492b13SMark Johnston 		argkva->addr = kmap_alloc_wait(exec_map, exec_map_entry_size);
1325c6a4ba5aSMark Johnston 		argkva->gen = exec_args_gen;
1326ec492b13SMark Johnston 		SLIST_INSERT_HEAD(&exec_args_kva_freelist, argkva, next);
1327ec492b13SMark Johnston 	}
1328ec492b13SMark Johnston }
1329ec492b13SMark Johnston SYSINIT(exec_args_kva, SI_SUB_EXEC, SI_ORDER_ANY, exec_prealloc_args_kva, NULL);
1330ec492b13SMark Johnston 
1331ec492b13SMark Johnston static vm_offset_t
1332ec492b13SMark Johnston exec_alloc_args_kva(void **cookie)
1333ec492b13SMark Johnston {
1334ec492b13SMark Johnston 	struct exec_args_kva *argkva;
1335ec492b13SMark Johnston 
1336ec492b13SMark Johnston 	argkva = (void *)atomic_readandclear_ptr(
1337ec492b13SMark Johnston 	    (uintptr_t *)DPCPU_PTR(exec_args_kva));
1338ec492b13SMark Johnston 	if (argkva == NULL) {
1339ec492b13SMark Johnston 		mtx_lock(&exec_args_kva_mtx);
1340ec492b13SMark Johnston 		while ((argkva = SLIST_FIRST(&exec_args_kva_freelist)) == NULL)
1341ec492b13SMark Johnston 			(void)mtx_sleep(&exec_args_kva_freelist,
1342ec492b13SMark Johnston 			    &exec_args_kva_mtx, 0, "execkva", 0);
1343ec492b13SMark Johnston 		SLIST_REMOVE_HEAD(&exec_args_kva_freelist, next);
1344ec492b13SMark Johnston 		mtx_unlock(&exec_args_kva_mtx);
1345ec492b13SMark Johnston 	}
1346ec492b13SMark Johnston 	*(struct exec_args_kva **)cookie = argkva;
1347ec492b13SMark Johnston 	return (argkva->addr);
1348ec492b13SMark Johnston }
1349ec492b13SMark Johnston 
1350ec492b13SMark Johnston static void
1351c6a4ba5aSMark Johnston exec_release_args_kva(struct exec_args_kva *argkva, u_int gen)
1352ec492b13SMark Johnston {
1353ec492b13SMark Johnston 	vm_offset_t base;
1354ec492b13SMark Johnston 
1355ec492b13SMark Johnston 	base = argkva->addr;
1356c6a4ba5aSMark Johnston 	if (argkva->gen != gen) {
13573e7cb27cSAlan Cox 		(void)vm_map_madvise(exec_map, base, base + exec_map_entry_size,
1358c6a4ba5aSMark Johnston 		    MADV_FREE);
1359c6a4ba5aSMark Johnston 		argkva->gen = gen;
1360c6a4ba5aSMark Johnston 	}
1361ec492b13SMark Johnston 	if (!atomic_cmpset_ptr((uintptr_t *)DPCPU_PTR(exec_args_kva),
1362ec492b13SMark Johnston 	    (uintptr_t)NULL, (uintptr_t)argkva)) {
1363ec492b13SMark Johnston 		mtx_lock(&exec_args_kva_mtx);
1364ec492b13SMark Johnston 		SLIST_INSERT_HEAD(&exec_args_kva_freelist, argkva, next);
1365ec492b13SMark Johnston 		wakeup_one(&exec_args_kva_freelist);
1366ec492b13SMark Johnston 		mtx_unlock(&exec_args_kva_mtx);
1367ec492b13SMark Johnston 	}
1368ec492b13SMark Johnston }
1369ec492b13SMark Johnston 
1370c6a4ba5aSMark Johnston static void
1371c6a4ba5aSMark Johnston exec_free_args_kva(void *cookie)
1372c6a4ba5aSMark Johnston {
1373c6a4ba5aSMark Johnston 
1374c6a4ba5aSMark Johnston 	exec_release_args_kva(cookie, exec_args_gen);
1375c6a4ba5aSMark Johnston }
1376c6a4ba5aSMark Johnston 
1377c6a4ba5aSMark Johnston static void
1378c6a4ba5aSMark Johnston exec_args_kva_lowmem(void *arg __unused)
1379c6a4ba5aSMark Johnston {
1380c6a4ba5aSMark Johnston 	SLIST_HEAD(, exec_args_kva) head;
1381c6a4ba5aSMark Johnston 	struct exec_args_kva *argkva;
1382c6a4ba5aSMark Johnston 	u_int gen;
1383c6a4ba5aSMark Johnston 	int i;
1384c6a4ba5aSMark Johnston 
1385c6a4ba5aSMark Johnston 	gen = atomic_fetchadd_int(&exec_args_gen, 1) + 1;
1386c6a4ba5aSMark Johnston 
1387c6a4ba5aSMark Johnston 	/*
1388c6a4ba5aSMark Johnston 	 * Force an madvise of each KVA range. Any currently allocated ranges
1389c6a4ba5aSMark Johnston 	 * will have MADV_FREE applied once they are freed.
1390c6a4ba5aSMark Johnston 	 */
1391c6a4ba5aSMark Johnston 	SLIST_INIT(&head);
1392c6a4ba5aSMark Johnston 	mtx_lock(&exec_args_kva_mtx);
1393c6a4ba5aSMark Johnston 	SLIST_SWAP(&head, &exec_args_kva_freelist, exec_args_kva);
1394c6a4ba5aSMark Johnston 	mtx_unlock(&exec_args_kva_mtx);
1395c6a4ba5aSMark Johnston 	while ((argkva = SLIST_FIRST(&head)) != NULL) {
1396c6a4ba5aSMark Johnston 		SLIST_REMOVE_HEAD(&head, next);
1397c6a4ba5aSMark Johnston 		exec_release_args_kva(argkva, gen);
1398c6a4ba5aSMark Johnston 	}
1399c6a4ba5aSMark Johnston 
1400c6a4ba5aSMark Johnston 	CPU_FOREACH(i) {
1401c6a4ba5aSMark Johnston 		argkva = (void *)atomic_readandclear_ptr(
1402c6a4ba5aSMark Johnston 		    (uintptr_t *)DPCPU_ID_PTR(i, exec_args_kva));
1403c6a4ba5aSMark Johnston 		if (argkva != NULL)
1404c6a4ba5aSMark Johnston 			exec_release_args_kva(argkva, gen);
1405c6a4ba5aSMark Johnston 	}
1406c6a4ba5aSMark Johnston }
1407c6a4ba5aSMark Johnston EVENTHANDLER_DEFINE(vm_lowmem, exec_args_kva_lowmem, NULL,
1408c6a4ba5aSMark Johnston     EVENTHANDLER_PRI_ANY);
1409c6a4ba5aSMark Johnston 
14102af6e14dSAlan Cox /*
14112af6e14dSAlan Cox  * Allocate temporary demand-paged, zero-filled memory for the file name,
1412ec492b13SMark Johnston  * argument, and environment strings.
14132af6e14dSAlan Cox  */
14142af6e14dSAlan Cox int
14152af6e14dSAlan Cox exec_alloc_args(struct image_args *args)
14162af6e14dSAlan Cox {
14172af6e14dSAlan Cox 
1418ec492b13SMark Johnston 	args->buf = (char *)exec_alloc_args_kva(&args->bufkva);
1419ec492b13SMark Johnston 	return (0);
14202af6e14dSAlan Cox }
14212af6e14dSAlan Cox 
142269a8f9e3SAlan Cox void
1423610ecfe0SMaxim Sobolev exec_free_args(struct image_args *args)
1424610ecfe0SMaxim Sobolev {
1425610ecfe0SMaxim Sobolev 
142669a8f9e3SAlan Cox 	if (args->buf != NULL) {
1427ec492b13SMark Johnston 		exec_free_args_kva(args->bufkva);
1428610ecfe0SMaxim Sobolev 		args->buf = NULL;
1429610ecfe0SMaxim Sobolev 	}
1430a14a9498SAlan Cox 	if (args->fname_buf != NULL) {
1431a14a9498SAlan Cox 		free(args->fname_buf, M_TEMP);
1432a14a9498SAlan Cox 		args->fname_buf = NULL;
1433a14a9498SAlan Cox 	}
1434457f7e23SEd Schouten 	if (args->fdp != NULL)
1435457f7e23SEd Schouten 		fdescfree_remapped(args->fdp);
1436610ecfe0SMaxim Sobolev }
1437610ecfe0SMaxim Sobolev 
143826f9a767SRodney W. Grimes /*
1439*f373437aSBrooks Davis  * A set to functions to fill struct image args.
1440*f373437aSBrooks Davis  *
1441*f373437aSBrooks Davis  * NOTE: exec_args_add_fname() must be called (possibly with a NULL
1442*f373437aSBrooks Davis  * fname) before the other functions.  All exec_args_add_arg() calls must
1443*f373437aSBrooks Davis  * be made before any exec_args_add_env() calls.  exec_args_adjust_args()
1444*f373437aSBrooks Davis  * may be called any time after exec_args_add_fname().
1445*f373437aSBrooks Davis  *
1446*f373437aSBrooks Davis  * exec_args_add_fname() - install path to be executed
1447*f373437aSBrooks Davis  * exec_args_add_arg() - append an argument string
1448*f373437aSBrooks Davis  * exec_args_add_env() - append an env string
1449*f373437aSBrooks Davis  * exec_args_adjust_args() - adjust location of the argument list to
1450*f373437aSBrooks Davis  *                           allow new arguments to be prepended
1451*f373437aSBrooks Davis  */
1452*f373437aSBrooks Davis int
1453*f373437aSBrooks Davis exec_args_add_fname(struct image_args *args, const char *fname,
1454*f373437aSBrooks Davis     enum uio_seg segflg)
1455*f373437aSBrooks Davis {
1456*f373437aSBrooks Davis 	int error;
1457*f373437aSBrooks Davis 	size_t length;
1458*f373437aSBrooks Davis 
1459*f373437aSBrooks Davis 	KASSERT(args->fname == NULL, ("fname already appended"));
1460*f373437aSBrooks Davis 	KASSERT(args->endp == NULL, ("already appending to args"));
1461*f373437aSBrooks Davis 
1462*f373437aSBrooks Davis 	if (fname != NULL) {
1463*f373437aSBrooks Davis 		args->fname = args->buf;
1464*f373437aSBrooks Davis 		error = segflg == UIO_SYSSPACE ?
1465*f373437aSBrooks Davis 		    copystr(fname, args->fname, PATH_MAX, &length) :
1466*f373437aSBrooks Davis 		    copyinstr(fname, args->fname, PATH_MAX, &length);
1467*f373437aSBrooks Davis 		if (error != 0)
1468*f373437aSBrooks Davis 			return (error == ENAMETOOLONG ? E2BIG : error);
1469*f373437aSBrooks Davis 	} else
1470*f373437aSBrooks Davis 		length = 0;
1471*f373437aSBrooks Davis 
1472*f373437aSBrooks Davis 	/* Set up for _arg_*()/_env_*() */
1473*f373437aSBrooks Davis 	args->endp = args->buf + length;
1474*f373437aSBrooks Davis 	/* begin_argv must be set and kept updated */
1475*f373437aSBrooks Davis 	args->begin_argv = args->endp;
1476*f373437aSBrooks Davis 	KASSERT(exec_map_entry_size - length >= ARG_MAX,
1477*f373437aSBrooks Davis 	    ("too little space remaining for arguments %zu < %zu",
1478*f373437aSBrooks Davis 	    exec_map_entry_size - length, (size_t)ARG_MAX));
1479*f373437aSBrooks Davis 	args->stringspace = ARG_MAX;
1480*f373437aSBrooks Davis 
1481*f373437aSBrooks Davis 	return (0);
1482*f373437aSBrooks Davis }
1483*f373437aSBrooks Davis 
1484*f373437aSBrooks Davis static int
1485*f373437aSBrooks Davis exec_args_add_str(struct image_args *args, const char *str,
1486*f373437aSBrooks Davis     enum uio_seg segflg, int *countp)
1487*f373437aSBrooks Davis {
1488*f373437aSBrooks Davis 	int error;
1489*f373437aSBrooks Davis 	size_t length;
1490*f373437aSBrooks Davis 
1491*f373437aSBrooks Davis 	KASSERT(args->endp != NULL, ("endp not initialized"));
1492*f373437aSBrooks Davis 	KASSERT(args->begin_argv != NULL, ("begin_argp not initialized"));
1493*f373437aSBrooks Davis 
1494*f373437aSBrooks Davis 	error = (segflg == UIO_SYSSPACE) ?
1495*f373437aSBrooks Davis 	    copystr(str, args->endp, args->stringspace, &length) :
1496*f373437aSBrooks Davis 	    copyinstr(str, args->endp, args->stringspace, &length);
1497*f373437aSBrooks Davis 	if (error != 0)
1498*f373437aSBrooks Davis 		return (error == ENAMETOOLONG ? E2BIG : error);
1499*f373437aSBrooks Davis 	args->stringspace -= length;
1500*f373437aSBrooks Davis 	args->endp += length;
1501*f373437aSBrooks Davis 	(*countp)++;
1502*f373437aSBrooks Davis 
1503*f373437aSBrooks Davis 	return (0);
1504*f373437aSBrooks Davis }
1505*f373437aSBrooks Davis 
1506*f373437aSBrooks Davis int
1507*f373437aSBrooks Davis exec_args_add_arg(struct image_args *args, const char *argp,
1508*f373437aSBrooks Davis     enum uio_seg segflg)
1509*f373437aSBrooks Davis {
1510*f373437aSBrooks Davis 
1511*f373437aSBrooks Davis 	KASSERT(args->envc == 0, ("appending args after env"));
1512*f373437aSBrooks Davis 
1513*f373437aSBrooks Davis 	return (exec_args_add_str(args, argp, segflg, &args->argc));
1514*f373437aSBrooks Davis }
1515*f373437aSBrooks Davis 
1516*f373437aSBrooks Davis int
1517*f373437aSBrooks Davis exec_args_add_env(struct image_args *args, const char *envp,
1518*f373437aSBrooks Davis     enum uio_seg segflg)
1519*f373437aSBrooks Davis {
1520*f373437aSBrooks Davis 
1521*f373437aSBrooks Davis 	if (args->envc == 0)
1522*f373437aSBrooks Davis 		args->begin_envv = args->endp;
1523*f373437aSBrooks Davis 
1524*f373437aSBrooks Davis 	return (exec_args_add_str(args, envp, segflg, &args->envc));
1525*f373437aSBrooks Davis }
1526*f373437aSBrooks Davis 
1527*f373437aSBrooks Davis int
1528*f373437aSBrooks Davis exec_args_adjust_args(struct image_args *args, size_t consume, ssize_t extend)
1529*f373437aSBrooks Davis {
1530*f373437aSBrooks Davis 	ssize_t offset;
1531*f373437aSBrooks Davis 
1532*f373437aSBrooks Davis 	KASSERT(args->endp != NULL, ("endp not initialized"));
1533*f373437aSBrooks Davis 	KASSERT(args->begin_argv != NULL, ("begin_argp not initialized"));
1534*f373437aSBrooks Davis 
1535*f373437aSBrooks Davis 	offset = extend - consume;
1536*f373437aSBrooks Davis 	if (args->stringspace < offset)
1537*f373437aSBrooks Davis 		return (E2BIG);
1538*f373437aSBrooks Davis 	memmove(args->begin_argv + extend, args->begin_argv + consume,
1539*f373437aSBrooks Davis 	    args->endp - args->begin_argv + consume);
1540*f373437aSBrooks Davis 	if (args->envc > 0)
1541*f373437aSBrooks Davis 		args->begin_envv += offset;
1542*f373437aSBrooks Davis 	args->endp += offset;
1543*f373437aSBrooks Davis 	args->stringspace -= offset;
1544*f373437aSBrooks Davis 	return (0);
1545*f373437aSBrooks Davis }
1546*f373437aSBrooks Davis 
1547*f373437aSBrooks Davis char *
1548*f373437aSBrooks Davis exec_args_get_begin_envv(struct image_args *args)
1549*f373437aSBrooks Davis {
1550*f373437aSBrooks Davis 
1551*f373437aSBrooks Davis 	KASSERT(args->endp != NULL, ("endp not initialized"));
1552*f373437aSBrooks Davis 
1553*f373437aSBrooks Davis 	if (args->envc > 0)
1554*f373437aSBrooks Davis 		return (args->begin_envv);
1555*f373437aSBrooks Davis 	return (args->endp);
1556*f373437aSBrooks Davis }
1557*f373437aSBrooks Davis 
1558*f373437aSBrooks Davis /*
1559873fbcd7SRobert Watson  * Copy strings out to the new process address space, constructing new arg
1560873fbcd7SRobert Watson  * and env vector tables. Return a pointer to the base so that it can be used
1561873fbcd7SRobert Watson  * as the initial stack pointer.
156226f9a767SRodney W. Grimes  */
1563654f6be1SBruce Evans register_t *
15643e85b721SEd Maste exec_copyout_strings(struct image_params *imgp)
156526f9a767SRodney W. Grimes {
156626f9a767SRodney W. Grimes 	int argc, envc;
156726f9a767SRodney W. Grimes 	char **vectp;
156888b124ceSKonstantin Belousov 	char *stringp;
156988b124ceSKonstantin Belousov 	uintptr_t destp;
1570654f6be1SBruce Evans 	register_t *stack_base;
157193f6448cSDavid Greenman 	struct ps_strings *arginfo;
1572f3bec5d7SJake Burkholder 	struct proc *p;
15733ff06357SKonstantin Belousov 	size_t execpath_len;
1574ee235befSKonstantin Belousov 	int szsigcode, szps;
1575ee235befSKonstantin Belousov 	char canary[sizeof(long) * 8];
157626f9a767SRodney W. Grimes 
1577ee235befSKonstantin Belousov 	szps = sizeof(pagesizes[0]) * MAXPAGESIZES;
157826f9a767SRodney W. Grimes 	/*
157926f9a767SRodney W. Grimes 	 * Calculate string base and vector table pointers.
1580d66a5066SPeter Wemm 	 * Also deal with signal trampoline code for this exec type.
158126f9a767SRodney W. Grimes 	 */
15823ff06357SKonstantin Belousov 	if (imgp->execpath != NULL && imgp->auxargs != NULL)
15833ff06357SKonstantin Belousov 		execpath_len = strlen(imgp->execpath) + 1;
15843ff06357SKonstantin Belousov 	else
15853ff06357SKonstantin Belousov 		execpath_len = 0;
1586f3bec5d7SJake Burkholder 	p = imgp->proc;
1587f3bec5d7SJake Burkholder 	szsigcode = 0;
158805ba50f5SJake Burkholder 	arginfo = (struct ps_strings *)p->p_sysent->sv_psstrings;
15896297a3d8SKonstantin Belousov 	if (p->p_sysent->sv_sigcode_base == 0) {
1590f3bec5d7SJake Burkholder 		if (p->p_sysent->sv_szsigcode != NULL)
1591f3bec5d7SJake Burkholder 			szsigcode = *(p->p_sysent->sv_szsigcode);
15926297a3d8SKonstantin Belousov 	}
159388b124ceSKonstantin Belousov 	destp =	(uintptr_t)arginfo;
15941ed012f9SPeter Wemm 
159526f9a767SRodney W. Grimes 	/*
1596d66a5066SPeter Wemm 	 * install sigcode
1597d66a5066SPeter Wemm 	 */
159888b124ceSKonstantin Belousov 	if (szsigcode != 0) {
159988b124ceSKonstantin Belousov 		destp -= szsigcode;
160088b124ceSKonstantin Belousov 		destp = rounddown2(destp, sizeof(void *));
160188b124ceSKonstantin Belousov 		copyout(p->p_sysent->sv_sigcode, (void *)destp, szsigcode);
160288b124ceSKonstantin Belousov 	}
1603d66a5066SPeter Wemm 
1604d66a5066SPeter Wemm 	/*
16053ff06357SKonstantin Belousov 	 * Copy the image path for the rtld.
16063ff06357SKonstantin Belousov 	 */
16073ff06357SKonstantin Belousov 	if (execpath_len != 0) {
160888b124ceSKonstantin Belousov 		destp -= execpath_len;
1609d92da759SBrooks Davis 		destp = rounddown2(destp, sizeof(void *));
161088b124ceSKonstantin Belousov 		imgp->execpathp = destp;
161188b124ceSKonstantin Belousov 		copyout(imgp->execpath, (void *)destp, execpath_len);
16123ff06357SKonstantin Belousov 	}
16133ff06357SKonstantin Belousov 
16143ff06357SKonstantin Belousov 	/*
1615ee235befSKonstantin Belousov 	 * Prepare the canary for SSP.
1616ee235befSKonstantin Belousov 	 */
1617ee235befSKonstantin Belousov 	arc4rand(canary, sizeof(canary), 0);
161888b124ceSKonstantin Belousov 	destp -= sizeof(canary);
161988b124ceSKonstantin Belousov 	imgp->canary = destp;
162088b124ceSKonstantin Belousov 	copyout(canary, (void *)destp, sizeof(canary));
1621ee235befSKonstantin Belousov 	imgp->canarylen = sizeof(canary);
1622ee235befSKonstantin Belousov 
1623ee235befSKonstantin Belousov 	/*
1624ee235befSKonstantin Belousov 	 * Prepare the pagesizes array.
1625ee235befSKonstantin Belousov 	 */
162688b124ceSKonstantin Belousov 	destp -= szps;
162788b124ceSKonstantin Belousov 	destp = rounddown2(destp, sizeof(void *));
162888b124ceSKonstantin Belousov 	imgp->pagesizes = destp;
162988b124ceSKonstantin Belousov 	copyout(pagesizes, (void *)destp, szps);
1630ee235befSKonstantin Belousov 	imgp->pagesizeslen = szps;
1631ee235befSKonstantin Belousov 
163288b124ceSKonstantin Belousov 	destp -= ARG_MAX - imgp->args->stringspace;
163388b124ceSKonstantin Belousov 	destp = rounddown2(destp, sizeof(void *));
163488b124ceSKonstantin Belousov 
163573c8686eSJohn Baldwin 	vectp = (char **)destp;
1636b9a22da4STakanori Watanabe 	if (imgp->auxargs) {
1637e1743d02SSøren Schmidt 		/*
163873c8686eSJohn Baldwin 		 * Allocate room on the stack for the ELF auxargs
163973c8686eSJohn Baldwin 		 * array.  It has up to AT_COUNT entries.
1640b9a22da4STakanori Watanabe 		 */
164173c8686eSJohn Baldwin 		vectp -= howmany(AT_COUNT * sizeof(Elf_Auxinfo),
164273c8686eSJohn Baldwin 		    sizeof(*vectp));
1643610ecfe0SMaxim Sobolev 	}
164426f9a767SRodney W. Grimes 
164526f9a767SRodney W. Grimes 	/*
164673c8686eSJohn Baldwin 	 * Allocate room for the argv[] and env vectors including the
164773c8686eSJohn Baldwin 	 * terminating NULL pointers.
164873c8686eSJohn Baldwin 	 */
164973c8686eSJohn Baldwin 	vectp -= imgp->args->argc + 1 + imgp->args->envc + 1;
165073c8686eSJohn Baldwin 
165173c8686eSJohn Baldwin 	/*
165226f9a767SRodney W. Grimes 	 * vectp also becomes our initial stack base
165326f9a767SRodney W. Grimes 	 */
1654654f6be1SBruce Evans 	stack_base = (register_t *)vectp;
165526f9a767SRodney W. Grimes 
1656610ecfe0SMaxim Sobolev 	stringp = imgp->args->begin_argv;
1657610ecfe0SMaxim Sobolev 	argc = imgp->args->argc;
1658610ecfe0SMaxim Sobolev 	envc = imgp->args->envc;
165926f9a767SRodney W. Grimes 
166093f6448cSDavid Greenman 	/*
16613aed948bSDavid Greenman 	 * Copy out strings - arguments and environment.
166293f6448cSDavid Greenman 	 */
166388b124ceSKonstantin Belousov 	copyout(stringp, (void *)destp, ARG_MAX - imgp->args->stringspace);
166493f6448cSDavid Greenman 
166593f6448cSDavid Greenman 	/*
16663aed948bSDavid Greenman 	 * Fill in "ps_strings" struct for ps, w, etc.
16673aed948bSDavid Greenman 	 */
1668aae0aa45SBruce Evans 	suword(&arginfo->ps_argvstr, (long)(intptr_t)vectp);
1669f4e26adeSNathan Whitehorn 	suword32(&arginfo->ps_nargvstr, argc);
16703aed948bSDavid Greenman 
16713aed948bSDavid Greenman 	/*
16723aed948bSDavid Greenman 	 * Fill in argument portion of vector table.
167393f6448cSDavid Greenman 	 */
167426f9a767SRodney W. Grimes 	for (; argc > 0; --argc) {
1675aae0aa45SBruce Evans 		suword(vectp++, (long)(intptr_t)destp);
16763aed948bSDavid Greenman 		while (*stringp++ != 0)
16773aed948bSDavid Greenman 			destp++;
16783aed948bSDavid Greenman 		destp++;
167926f9a767SRodney W. Grimes 	}
168026f9a767SRodney W. Grimes 
16811a6e52d0SJeroen Ruigrok van der Werven 	/* a null vector table pointer separates the argp's from the envp's */
16826ab46d52SBruce Evans 	suword(vectp++, 0);
168326f9a767SRodney W. Grimes 
1684aae0aa45SBruce Evans 	suword(&arginfo->ps_envstr, (long)(intptr_t)vectp);
1685f4e26adeSNathan Whitehorn 	suword32(&arginfo->ps_nenvstr, envc);
168693f6448cSDavid Greenman 
168793f6448cSDavid Greenman 	/*
16883aed948bSDavid Greenman 	 * Fill in environment portion of vector table.
168993f6448cSDavid Greenman 	 */
169026f9a767SRodney W. Grimes 	for (; envc > 0; --envc) {
1691aae0aa45SBruce Evans 		suword(vectp++, (long)(intptr_t)destp);
16923aed948bSDavid Greenman 		while (*stringp++ != 0)
16933aed948bSDavid Greenman 			destp++;
16943aed948bSDavid Greenman 		destp++;
169526f9a767SRodney W. Grimes 	}
169626f9a767SRodney W. Grimes 
169726f9a767SRodney W. Grimes 	/* end of vector table is a null pointer */
16986ab46d52SBruce Evans 	suword(vectp, 0);
169926f9a767SRodney W. Grimes 
170026f9a767SRodney W. Grimes 	return (stack_base);
170126f9a767SRodney W. Grimes }
170226f9a767SRodney W. Grimes 
170326f9a767SRodney W. Grimes /*
170426f9a767SRodney W. Grimes  * Check permissions of file to execute.
1705cf64863aSRobert Watson  *	Called with imgp->vp locked.
170626f9a767SRodney W. Grimes  *	Return 0 for success or error code on failure.
170726f9a767SRodney W. Grimes  */
1708c8a79999SPeter Wemm int
17093e85b721SEd Maste exec_check_permissions(struct image_params *imgp)
171026f9a767SRodney W. Grimes {
1711c52007c2SDavid Greenman 	struct vnode *vp = imgp->vp;
1712c52007c2SDavid Greenman 	struct vattr *attr = imgp->attr;
1713a854ed98SJohn Baldwin 	struct thread *td;
1714140dedb8SKonstantin Belousov 	int error, writecount;
171526f9a767SRodney W. Grimes 
17166617724cSJeff Roberson 	td = curthread;
1717339b79b9SRobert Watson 
1718ec35c2afSRobert Watson 	/* Get file attributes */
17190359a12eSAttilio Rao 	error = VOP_GETATTR(vp, attr, td->td_ucred);
1720ec35c2afSRobert Watson 	if (error)
1721ec35c2afSRobert Watson 		return (error);
1722ec35c2afSRobert Watson 
1723339b79b9SRobert Watson #ifdef MAC
172430d239bcSRobert Watson 	error = mac_vnode_check_exec(td->td_ucred, imgp->vp, imgp);
1725339b79b9SRobert Watson 	if (error)
1726339b79b9SRobert Watson 		return (error);
1727339b79b9SRobert Watson #endif
1728339b79b9SRobert Watson 
172926f9a767SRodney W. Grimes 	/*
1730de478dd4SJaakko Heinonen 	 * 1) Check if file execution is disabled for the filesystem that
1731de478dd4SJaakko Heinonen 	 *    this file resides on.
1732de478dd4SJaakko Heinonen 	 * 2) Ensure that at least one execute bit is on. Otherwise, a
1733de478dd4SJaakko Heinonen 	 *    privileged user will always succeed, and we don't want this
1734de478dd4SJaakko Heinonen 	 *    to happen unless the file really is executable.
1735de478dd4SJaakko Heinonen 	 * 3) Ensure that the file is a regular file.
173626f9a767SRodney W. Grimes 	 */
1737c52007c2SDavid Greenman 	if ((vp->v_mount->mnt_flag & MNT_NOEXEC) ||
1738de478dd4SJaakko Heinonen 	    (attr->va_mode & (S_IXUSR | S_IXGRP | S_IXOTH)) == 0 ||
1739a854ed98SJohn Baldwin 	    (attr->va_type != VREG))
174026f9a767SRodney W. Grimes 		return (EACCES);
174126f9a767SRodney W. Grimes 
174226f9a767SRodney W. Grimes 	/*
174326f9a767SRodney W. Grimes 	 * Zero length files can't be exec'd
174426f9a767SRodney W. Grimes 	 */
174526f9a767SRodney W. Grimes 	if (attr->va_size == 0)
174626f9a767SRodney W. Grimes 		return (ENOEXEC);
174726f9a767SRodney W. Grimes 
174826f9a767SRodney W. Grimes 	/*
174926f9a767SRodney W. Grimes 	 *  Check for execute permission to file based on current credentials.
175026f9a767SRodney W. Grimes 	 */
1751a854ed98SJohn Baldwin 	error = VOP_ACCESS(vp, VEXEC, td->td_ucred, td);
175226f9a767SRodney W. Grimes 	if (error)
175326f9a767SRodney W. Grimes 		return (error);
175426f9a767SRodney W. Grimes 
17556d5a0a8cSDavid Greenman 	/*
17566d5a0a8cSDavid Greenman 	 * Check number of open-for-writes on the file and deny execution
17576d5a0a8cSDavid Greenman 	 * if there are any.
17586d5a0a8cSDavid Greenman 	 */
1759140dedb8SKonstantin Belousov 	error = VOP_GET_WRITECOUNT(vp, &writecount);
1760140dedb8SKonstantin Belousov 	if (error != 0)
1761140dedb8SKonstantin Belousov 		return (error);
1762140dedb8SKonstantin Belousov 	if (writecount != 0)
17636d5a0a8cSDavid Greenman 		return (ETXTBSY);
17646d5a0a8cSDavid Greenman 
17656d5a0a8cSDavid Greenman 	/*
17666d5a0a8cSDavid Greenman 	 * Call filesystem specific open routine (which does nothing in the
17676d5a0a8cSDavid Greenman 	 * general case).
17686d5a0a8cSDavid Greenman 	 */
17699e223287SKonstantin Belousov 	error = VOP_OPEN(vp, FREAD, td->td_ucred, td, NULL);
17709a75ea23SKonstantin Belousov 	if (error == 0)
17719a75ea23SKonstantin Belousov 		imgp->opened = 1;
177226f9a767SRodney W. Grimes 	return (error);
1773df8bae1dSRodney W. Grimes }
1774aa855a59SPeter Wemm 
1775aa855a59SPeter Wemm /*
1776aa855a59SPeter Wemm  * Exec handler registration
1777aa855a59SPeter Wemm  */
1778aa855a59SPeter Wemm int
17793e85b721SEd Maste exec_register(const struct execsw *execsw_arg)
1780aa855a59SPeter Wemm {
1781aa855a59SPeter Wemm 	const struct execsw **es, **xs, **newexecsw;
1782d821d364SPedro F. Giffuni 	u_int count = 2;	/* New slot and trailing NULL */
1783aa855a59SPeter Wemm 
1784aa855a59SPeter Wemm 	if (execsw)
1785aa855a59SPeter Wemm 		for (es = execsw; *es; es++)
1786aa855a59SPeter Wemm 			count++;
1787a163d034SWarner Losh 	newexecsw = malloc(count * sizeof(*es), M_TEMP, M_WAITOK);
1788aa855a59SPeter Wemm 	xs = newexecsw;
1789aa855a59SPeter Wemm 	if (execsw)
1790aa855a59SPeter Wemm 		for (es = execsw; *es; es++)
1791aa855a59SPeter Wemm 			*xs++ = *es;
1792aa855a59SPeter Wemm 	*xs++ = execsw_arg;
1793aa855a59SPeter Wemm 	*xs = NULL;
1794aa855a59SPeter Wemm 	if (execsw)
1795aa855a59SPeter Wemm 		free(execsw, M_TEMP);
1796aa855a59SPeter Wemm 	execsw = newexecsw;
1797a7cddfedSJake Burkholder 	return (0);
1798aa855a59SPeter Wemm }
1799aa855a59SPeter Wemm 
1800aa855a59SPeter Wemm int
18013e85b721SEd Maste exec_unregister(const struct execsw *execsw_arg)
1802aa855a59SPeter Wemm {
1803aa855a59SPeter Wemm 	const struct execsw **es, **xs, **newexecsw;
1804aa855a59SPeter Wemm 	int count = 1;
1805aa855a59SPeter Wemm 
1806aa855a59SPeter Wemm 	if (execsw == NULL)
1807aa855a59SPeter Wemm 		panic("unregister with no handlers left?\n");
1808aa855a59SPeter Wemm 
1809aa855a59SPeter Wemm 	for (es = execsw; *es; es++) {
1810aa855a59SPeter Wemm 		if (*es == execsw_arg)
1811aa855a59SPeter Wemm 			break;
1812aa855a59SPeter Wemm 	}
1813aa855a59SPeter Wemm 	if (*es == NULL)
1814a7cddfedSJake Burkholder 		return (ENOENT);
1815aa855a59SPeter Wemm 	for (es = execsw; *es; es++)
1816aa855a59SPeter Wemm 		if (*es != execsw_arg)
1817aa855a59SPeter Wemm 			count++;
1818a163d034SWarner Losh 	newexecsw = malloc(count * sizeof(*es), M_TEMP, M_WAITOK);
1819aa855a59SPeter Wemm 	xs = newexecsw;
1820aa855a59SPeter Wemm 	for (es = execsw; *es; es++)
1821aa855a59SPeter Wemm 		if (*es != execsw_arg)
1822aa855a59SPeter Wemm 			*xs++ = *es;
1823aa855a59SPeter Wemm 	*xs = NULL;
1824aa855a59SPeter Wemm 	if (execsw)
1825aa855a59SPeter Wemm 		free(execsw, M_TEMP);
1826aa855a59SPeter Wemm 	execsw = newexecsw;
1827a7cddfedSJake Burkholder 	return (0);
1828aa855a59SPeter Wemm }
1829