xref: /freebsd/sys/kern/kern_exec.c (revision f1c3adefd95d35115bd4597293e0b904ae401245)
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>
40*f1c3adefSMark Johnston #include <sys/asan.h>
41eeeaa7baSMark Johnston #include <sys/capsicum.h>
42eeeaa7baSMark Johnston #include <sys/eventhandler.h>
4326f9a767SRodney W. Grimes #include <sys/exec.h>
44eeeaa7baSMark Johnston #include <sys/fcntl.h>
45eeeaa7baSMark Johnston #include <sys/filedesc.h>
4626f9a767SRodney W. Grimes #include <sys/imgact.h>
47e1743d02SSøren Schmidt #include <sys/imgact_elf.h>
48eeeaa7baSMark Johnston #include <sys/kernel.h>
49eeeaa7baSMark Johnston #include <sys/lock.h>
50333ea485SGuido van Rooij #include <sys/malloc.h>
51ec492b13SMark Johnston #include <sys/mman.h>
52eeeaa7baSMark Johnston #include <sys/mount.h>
53eeeaa7baSMark Johnston #include <sys/mutex.h>
54eeeaa7baSMark Johnston #include <sys/namei.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>
71e68c6191SKonstantin Belousov #include <sys/timers.h>
7274a093ebSKonstantin Belousov #include <sys/umtx.h>
73eeeaa7baSMark Johnston #include <sys/vnode.h>
74eeeaa7baSMark Johnston #include <sys/wait.h>
75c781aea8SPeter Wemm #ifdef KTRACE
76c781aea8SPeter Wemm #include <sys/ktrace.h>
77c781aea8SPeter Wemm #endif
7826f9a767SRodney W. Grimes 
7926f9a767SRodney W. Grimes #include <vm/vm.h>
80efeaf95aSDavid Greenman #include <vm/vm_param.h>
81efeaf95aSDavid Greenman #include <vm/pmap.h>
821616db3cSJohn Dyson #include <vm/vm_page.h>
83efeaf95aSDavid Greenman #include <vm/vm_map.h>
8426f9a767SRodney W. Grimes #include <vm/vm_kern.h>
85efeaf95aSDavid Greenman #include <vm/vm_extern.h>
861ebd0c59SDavid Greenman #include <vm/vm_object.h>
871616db3cSJohn Dyson #include <vm/vm_pager.h>
8826f9a767SRodney W. Grimes 
89ebccf1e3SJoseph Koshy #ifdef	HWPMC_HOOKS
90ebccf1e3SJoseph Koshy #include <sys/pmckern.h>
91ebccf1e3SJoseph Koshy #endif
92ebccf1e3SJoseph Koshy 
9326f9a767SRodney W. Grimes #include <machine/reg.h>
9426f9a767SRodney W. Grimes 
95ae1078d6SWayne Salamon #include <security/audit/audit.h>
96aed55708SRobert Watson #include <security/mac/mac_framework.h>
97ae1078d6SWayne Salamon 
985d217f17SJohn Birrell #ifdef KDTRACE_HOOKS
995d217f17SJohn Birrell #include <sys/dtrace_bsd.h>
1005d217f17SJohn Birrell dtrace_execexit_func_t	dtrace_fasttrap_exec;
1015d217f17SJohn Birrell #endif
1025d217f17SJohn Birrell 
1035d217f17SJohn Birrell SDT_PROVIDER_DECLARE(proc);
10436160958SMark Johnston SDT_PROBE_DEFINE1(proc, , , exec, "char *");
10536160958SMark Johnston SDT_PROBE_DEFINE1(proc, , , exec__failure, "int");
10636160958SMark Johnston SDT_PROBE_DEFINE1(proc, , , exec__success, "char *");
1075d217f17SJohn Birrell 
108b9df5231SPoul-Henning Kamp MALLOC_DEFINE(M_PARGS, "proc-args", "Process arguments");
109b9df5231SPoul-Henning Kamp 
110bcb60d52SConrad Meyer int coredump_pack_fileinfo = 1;
111bcb60d52SConrad Meyer SYSCTL_INT(_kern, OID_AUTO, coredump_pack_fileinfo, CTLFLAG_RWTUN,
112bcb60d52SConrad Meyer     &coredump_pack_fileinfo, 0,
113bcb60d52SConrad Meyer     "Enable file path packing in 'procstat -f' coredump notes");
114bcb60d52SConrad Meyer 
115e6b95927SConrad Meyer int coredump_pack_vmmapinfo = 1;
116e6b95927SConrad Meyer SYSCTL_INT(_kern, OID_AUTO, coredump_pack_vmmapinfo, CTLFLAG_RWTUN,
117e6b95927SConrad Meyer     &coredump_pack_vmmapinfo, 0,
118e6b95927SConrad Meyer     "Enable file path packing in 'procstat -v' coredump notes");
119e6b95927SConrad Meyer 
12005ba50f5SJake Burkholder static int sysctl_kern_ps_strings(SYSCTL_HANDLER_ARGS);
12105ba50f5SJake Burkholder static int sysctl_kern_usrstack(SYSCTL_HANDLER_ARGS);
1225dadd17bSJake Burkholder static int sysctl_kern_stackprot(SYSCTL_HANDLER_ARGS);
123610ecfe0SMaxim Sobolev static int do_execve(struct thread *td, struct image_args *args,
124aaf78c16SKonstantin Belousov     struct mac *mac_p, struct vmspace *oldvmspace);
12505ba50f5SJake Burkholder 
1269701cd40SJohn Baldwin /* XXX This should be vm_size_t. */
12753dc58f2SMateusz Guzik SYSCTL_PROC(_kern, KERN_PS_STRINGS, ps_strings, CTLTYPE_ULONG|CTLFLAG_RD|
128b05ca429SPawel Biernacki     CTLFLAG_CAPRD|CTLFLAG_MPSAFE, NULL, 0, sysctl_kern_ps_strings, "LU",
129b05ca429SPawel Biernacki     "Location of process' ps_strings structure");
130486bddb0SDoug Rabson 
1319701cd40SJohn Baldwin /* XXX This should be vm_size_t. */
132ff66f6a4SRobert Watson SYSCTL_PROC(_kern, KERN_USRSTACK, usrstack, CTLTYPE_ULONG|CTLFLAG_RD|
133b05ca429SPawel Biernacki     CTLFLAG_CAPRD|CTLFLAG_MPSAFE, NULL, 0, sysctl_kern_usrstack, "LU",
134b05ca429SPawel Biernacki     "Top of process stack");
13599ac3bc8SPeter Wemm 
13653dc58f2SMateusz Guzik SYSCTL_PROC(_kern, OID_AUTO, stackprot, CTLTYPE_INT|CTLFLAG_RD|CTLFLAG_MPSAFE,
137b05ca429SPawel Biernacki     NULL, 0, sysctl_kern_stackprot, "I",
138b05ca429SPawel Biernacki     "Stack memory permissions");
1395dadd17bSJake Burkholder 
140b9df5231SPoul-Henning Kamp u_long ps_arg_cache_limit = PAGE_SIZE / 16;
141c3699b5fSPeter Wemm SYSCTL_ULONG(_kern, OID_AUTO, ps_arg_cache_limit, CTLFLAG_RW,
142b05ca429SPawel Biernacki     &ps_arg_cache_limit, 0,
143b05ca429SPawel Biernacki     "Process' command line characters cache limit");
144b9df5231SPoul-Henning Kamp 
145eda6009cSKonstantin Belousov static int disallow_high_osrel;
146eda6009cSKonstantin Belousov SYSCTL_INT(_kern, OID_AUTO, disallow_high_osrel, CTLFLAG_RW,
147eda6009cSKonstantin Belousov     &disallow_high_osrel, 0,
148eda6009cSKonstantin Belousov     "Disallow execution of binaries built for higher version of the world");
149eda6009cSKonstantin Belousov 
150878adb85SBjoern A. Zeeb static int map_at_zero = 0;
151af3b2549SHans Petter Selasky SYSCTL_INT(_security_bsd, OID_AUTO, map_at_zero, CTLFLAG_RWTUN, &map_at_zero, 0,
152878adb85SBjoern A. Zeeb     "Permit processes to map an object at virtual address 0.");
153878adb85SBjoern A. Zeeb 
15405ba50f5SJake Burkholder static int
15505ba50f5SJake Burkholder sysctl_kern_ps_strings(SYSCTL_HANDLER_ARGS)
15605ba50f5SJake Burkholder {
15705ba50f5SJake Burkholder 	struct proc *p;
158df7c361eSPeter Wemm 	int error;
15905ba50f5SJake Burkholder 
16005ba50f5SJake Burkholder 	p = curproc;
161a7bc3102SPeter Wemm #ifdef SCTL_MASK32
162a7bc3102SPeter Wemm 	if (req->flags & SCTL_MASK32) {
163df7c361eSPeter Wemm 		unsigned int val;
164df7c361eSPeter Wemm 		val = (unsigned int)p->p_sysent->sv_psstrings;
165df7c361eSPeter Wemm 		error = SYSCTL_OUT(req, &val, sizeof(val));
166df7c361eSPeter Wemm 	} else
167df7c361eSPeter Wemm #endif
168df7c361eSPeter Wemm 		error = SYSCTL_OUT(req, &p->p_sysent->sv_psstrings,
169df7c361eSPeter Wemm 		   sizeof(p->p_sysent->sv_psstrings));
170df7c361eSPeter Wemm 	return error;
17105ba50f5SJake Burkholder }
17205ba50f5SJake Burkholder 
17305ba50f5SJake Burkholder static int
17405ba50f5SJake Burkholder sysctl_kern_usrstack(SYSCTL_HANDLER_ARGS)
17505ba50f5SJake Burkholder {
17605ba50f5SJake Burkholder 	struct proc *p;
177df7c361eSPeter Wemm 	int error;
17805ba50f5SJake Burkholder 
17905ba50f5SJake Burkholder 	p = curproc;
180a7bc3102SPeter Wemm #ifdef SCTL_MASK32
181a7bc3102SPeter Wemm 	if (req->flags & SCTL_MASK32) {
182df7c361eSPeter Wemm 		unsigned int val;
183df7c361eSPeter Wemm 		val = (unsigned int)p->p_sysent->sv_usrstack;
184df7c361eSPeter Wemm 		error = SYSCTL_OUT(req, &val, sizeof(val));
185df7c361eSPeter Wemm 	} else
186df7c361eSPeter Wemm #endif
187df7c361eSPeter Wemm 		error = SYSCTL_OUT(req, &p->p_sysent->sv_usrstack,
188df7c361eSPeter Wemm 		    sizeof(p->p_sysent->sv_usrstack));
189df7c361eSPeter Wemm 	return error;
19005ba50f5SJake Burkholder }
19105ba50f5SJake Burkholder 
1925dadd17bSJake Burkholder static int
1935dadd17bSJake Burkholder sysctl_kern_stackprot(SYSCTL_HANDLER_ARGS)
1945dadd17bSJake Burkholder {
1955dadd17bSJake Burkholder 	struct proc *p;
1965dadd17bSJake Burkholder 
1975dadd17bSJake Burkholder 	p = curproc;
1985dadd17bSJake Burkholder 	return (SYSCTL_OUT(req, &p->p_sysent->sv_stackprot,
1995dadd17bSJake Burkholder 	    sizeof(p->p_sysent->sv_stackprot)));
2005dadd17bSJake Burkholder }
2015dadd17bSJake Burkholder 
20299ac3bc8SPeter Wemm /*
203aa855a59SPeter Wemm  * Each of the items is a pointer to a `const struct execsw', hence the
204aa855a59SPeter Wemm  * double pointer here.
205df8bae1dSRodney W. Grimes  */
206aa855a59SPeter Wemm static const struct execsw **execsw;
20726f9a767SRodney W. Grimes 
208ca46e90eSBruce Evans #ifndef _SYS_SYSPROTO_H_
209ca46e90eSBruce Evans struct execve_args {
210ca46e90eSBruce Evans 	char    *fname;
211ca46e90eSBruce Evans 	char    **argv;
212ca46e90eSBruce Evans 	char    **envv;
213ca46e90eSBruce Evans };
214ca46e90eSBruce Evans #endif
215ca46e90eSBruce Evans 
216ca46e90eSBruce Evans int
2177b445033SKonstantin Belousov sys_execve(struct thread *td, struct execve_args *uap)
218ca46e90eSBruce Evans {
219610ecfe0SMaxim Sobolev 	struct image_args args;
2207b445033SKonstantin Belousov 	struct vmspace *oldvmspace;
2217b445033SKonstantin Belousov 	int error;
222ca46e90eSBruce Evans 
2237b445033SKonstantin Belousov 	error = pre_execve(td, &oldvmspace);
2247b445033SKonstantin Belousov 	if (error != 0)
2257b445033SKonstantin Belousov 		return (error);
226610ecfe0SMaxim Sobolev 	error = exec_copyin_args(&args, uap->fname, UIO_USERSPACE,
227610ecfe0SMaxim Sobolev 	    uap->argv, uap->envv);
228610ecfe0SMaxim Sobolev 	if (error == 0)
229aaf78c16SKonstantin Belousov 		error = kern_execve(td, &args, NULL, oldvmspace);
2307b445033SKonstantin Belousov 	post_execve(td, error, oldvmspace);
231275c821dSKyle Evans 	AUDIT_SYSCALL_EXIT(error == EJUSTRETURN ? 0 : error, td);
232610ecfe0SMaxim Sobolev 	return (error);
233ca46e90eSBruce Evans }
234ca46e90eSBruce Evans 
235ca46e90eSBruce Evans #ifndef _SYS_SYSPROTO_H_
236632dbc19SKonstantin Belousov struct fexecve_args {
237632dbc19SKonstantin Belousov 	int	fd;
238632dbc19SKonstantin Belousov 	char	**argv;
239632dbc19SKonstantin Belousov 	char	**envv;
240698dda67SConrad Meyer };
241632dbc19SKonstantin Belousov #endif
242632dbc19SKonstantin Belousov int
2438451d0ddSKip Macy sys_fexecve(struct thread *td, struct fexecve_args *uap)
244632dbc19SKonstantin Belousov {
245632dbc19SKonstantin Belousov 	struct image_args args;
2467b445033SKonstantin Belousov 	struct vmspace *oldvmspace;
2477b445033SKonstantin Belousov 	int error;
248632dbc19SKonstantin Belousov 
2497b445033SKonstantin Belousov 	error = pre_execve(td, &oldvmspace);
2507b445033SKonstantin Belousov 	if (error != 0)
2517b445033SKonstantin Belousov 		return (error);
252632dbc19SKonstantin Belousov 	error = exec_copyin_args(&args, NULL, UIO_SYSSPACE,
253632dbc19SKonstantin Belousov 	    uap->argv, uap->envv);
254632dbc19SKonstantin Belousov 	if (error == 0) {
255632dbc19SKonstantin Belousov 		args.fd = uap->fd;
256aaf78c16SKonstantin Belousov 		error = kern_execve(td, &args, NULL, oldvmspace);
257632dbc19SKonstantin Belousov 	}
2587b445033SKonstantin Belousov 	post_execve(td, error, oldvmspace);
259275c821dSKyle Evans 	AUDIT_SYSCALL_EXIT(error == EJUSTRETURN ? 0 : error, td);
260632dbc19SKonstantin Belousov 	return (error);
261632dbc19SKonstantin Belousov }
262632dbc19SKonstantin Belousov 
263632dbc19SKonstantin Belousov #ifndef _SYS_SYSPROTO_H_
264ca46e90eSBruce Evans struct __mac_execve_args {
265ca46e90eSBruce Evans 	char	*fname;
266ca46e90eSBruce Evans 	char	**argv;
267ca46e90eSBruce Evans 	char	**envv;
268ca46e90eSBruce Evans 	struct mac	*mac_p;
269ca46e90eSBruce Evans };
270ca46e90eSBruce Evans #endif
271ca46e90eSBruce Evans 
272ca46e90eSBruce Evans int
2737b445033SKonstantin Belousov sys___mac_execve(struct thread *td, struct __mac_execve_args *uap)
274ca46e90eSBruce Evans {
275ca46e90eSBruce Evans #ifdef MAC
276610ecfe0SMaxim Sobolev 	struct image_args args;
2777b445033SKonstantin Belousov 	struct vmspace *oldvmspace;
2787b445033SKonstantin Belousov 	int error;
279610ecfe0SMaxim Sobolev 
2807b445033SKonstantin Belousov 	error = pre_execve(td, &oldvmspace);
2817b445033SKonstantin Belousov 	if (error != 0)
2827b445033SKonstantin Belousov 		return (error);
283610ecfe0SMaxim Sobolev 	error = exec_copyin_args(&args, uap->fname, UIO_USERSPACE,
284610ecfe0SMaxim Sobolev 	    uap->argv, uap->envv);
285610ecfe0SMaxim Sobolev 	if (error == 0)
286aaf78c16SKonstantin Belousov 		error = kern_execve(td, &args, uap->mac_p, oldvmspace);
2877b445033SKonstantin Belousov 	post_execve(td, error, oldvmspace);
288275c821dSKyle Evans 	AUDIT_SYSCALL_EXIT(error == EJUSTRETURN ? 0 : error, td);
289610ecfe0SMaxim Sobolev 	return (error);
290ca46e90eSBruce Evans #else
291ca46e90eSBruce Evans 	return (ENOSYS);
292ca46e90eSBruce Evans #endif
293ca46e90eSBruce Evans }
294ca46e90eSBruce Evans 
29584e0b075SDavid Xu int
2967b445033SKonstantin Belousov pre_execve(struct thread *td, struct vmspace **oldvmspace)
297906ac69dSDavid Xu {
2987b445033SKonstantin Belousov 	struct proc *p;
299906ac69dSDavid Xu 	int error;
300906ac69dSDavid Xu 
3017b445033SKonstantin Belousov 	KASSERT(td == curthread, ("non-current thread %p", td));
3027b445033SKonstantin Belousov 	error = 0;
3037b445033SKonstantin Belousov 	p = td->td_proc;
3047b445033SKonstantin Belousov 	if ((p->p_flag & P_HADTHREADS) != 0) {
305906ac69dSDavid Xu 		PROC_LOCK(p);
3067b445033SKonstantin Belousov 		if (thread_single(p, SINGLE_BOUNDARY) != 0)
3077b445033SKonstantin Belousov 			error = ERESTART;
308906ac69dSDavid Xu 		PROC_UNLOCK(p);
309906ac69dSDavid Xu 	}
3107b445033SKonstantin Belousov 	KASSERT(error != 0 || (td->td_pflags & TDP_EXECVMSPC) == 0,
3117b445033SKonstantin Belousov 	    ("nested execve"));
3127b445033SKonstantin Belousov 	*oldvmspace = p->p_vmspace;
3137b445033SKonstantin Belousov 	return (error);
3147b445033SKonstantin Belousov }
315906ac69dSDavid Xu 
3167b445033SKonstantin Belousov void
3177b445033SKonstantin Belousov post_execve(struct thread *td, int error, struct vmspace *oldvmspace)
3187b445033SKonstantin Belousov {
3197b445033SKonstantin Belousov 	struct proc *p;
320906ac69dSDavid Xu 
3217b445033SKonstantin Belousov 	KASSERT(td == curthread, ("non-current thread %p", td));
3227b445033SKonstantin Belousov 	p = td->td_proc;
3237b445033SKonstantin Belousov 	if ((p->p_flag & P_HADTHREADS) != 0) {
324906ac69dSDavid Xu 		PROC_LOCK(p);
325906ac69dSDavid Xu 		/*
326906ac69dSDavid Xu 		 * If success, we upgrade to SINGLE_EXIT state to
327906ac69dSDavid Xu 		 * force other threads to suicide.
328906ac69dSDavid Xu 		 */
329814629ddSEd Schouten 		if (error == EJUSTRETURN)
3306ddcc233SKonstantin Belousov 			thread_single(p, SINGLE_EXIT);
331906ac69dSDavid Xu 		else
3326ddcc233SKonstantin Belousov 			thread_single_end(p, SINGLE_BOUNDARY);
333906ac69dSDavid Xu 		PROC_UNLOCK(p);
334906ac69dSDavid Xu 	}
335aaf78c16SKonstantin Belousov 	exec_cleanup(td, oldvmspace);
3367b445033SKonstantin Belousov }
337906ac69dSDavid Xu 
3387b445033SKonstantin Belousov /*
339aaf78c16SKonstantin Belousov  * kern_execve() has the astonishing property of not always returning to
3407b445033SKonstantin Belousov  * the caller.  If sufficiently bad things happen during the call to
3417b445033SKonstantin Belousov  * do_execve(), it can end up calling exit1(); as a result, callers must
3427b445033SKonstantin Belousov  * avoid doing anything which they might need to undo (e.g., allocating
3437b445033SKonstantin Belousov  * memory).
3447b445033SKonstantin Belousov  */
3457b445033SKonstantin Belousov int
346aaf78c16SKonstantin Belousov kern_execve(struct thread *td, struct image_args *args, struct mac *mac_p,
347aaf78c16SKonstantin Belousov     struct vmspace *oldvmspace)
3487b445033SKonstantin Belousov {
3497b445033SKonstantin Belousov 
3507b445033SKonstantin Belousov 	AUDIT_ARG_ARGV(args->begin_argv, args->argc,
351f373437aSBrooks Davis 	    exec_args_get_begin_envv(args) - args->begin_argv);
352f373437aSBrooks Davis 	AUDIT_ARG_ENVV(exec_args_get_begin_envv(args), args->envc,
353f373437aSBrooks Davis 	    args->endp - exec_args_get_begin_envv(args));
354aaf78c16SKonstantin Belousov 	return (do_execve(td, args, mac_p, oldvmspace));
355906ac69dSDavid Xu }
356906ac69dSDavid Xu 
35726f9a767SRodney W. Grimes /*
358450ffb44SRobert Watson  * In-kernel implementation of execve().  All arguments are assumed to be
359450ffb44SRobert Watson  * userspace pointers from the passed thread.
36026f9a767SRodney W. Grimes  */
361450ffb44SRobert Watson static int
362aaf78c16SKonstantin Belousov do_execve(struct thread *td, struct image_args *args, struct mac *mac_p,
363aaf78c16SKonstantin Belousov     struct vmspace *oldvmspace)
364df8bae1dSRodney W. Grimes {
365b40ce416SJulian Elischer 	struct proc *p = td->td_proc;
36669c9eff8SEd Schouten 	struct nameidata nd;
367881010f0SBryan Drewery 	struct ucred *oldcred;
368350d5181SMateusz Guzik 	struct uidinfo *euip = NULL;
36931174518SJohn Baldwin 	uintptr_t stack_base;
370c52007c2SDavid Greenman 	struct image_params image_params, *imgp;
3719f5c1d19SDiomidis Spinellis 	struct vattr attr;
3724d77a549SAlfred Perlstein 	int (*img_first)(struct image_params *);
37369be5db9SAlfred Perlstein 	struct pargs *oldargs = NULL, *newargs = NULL;
374cda68844SMateusz Guzik 	struct sigacts *oldsigacts = NULL, *newsigacts = NULL;
3756c84de02SJohn Baldwin #ifdef KTRACE
3766c84de02SJohn Baldwin 	struct vnode *tracevp = NULL;
377a5881ea5SJohn Baldwin 	struct ucred *tracecred = NULL;
3786c84de02SJohn Baldwin #endif
37961617058SMateusz Guzik 	struct vnode *oldtextvp = NULL, *newtextvp;
380d06c0d4dSRobert Watson 	int credential_changing;
381ccafe7ebSRobert Watson #ifdef MAC
3826356dba0SRobert Watson 	struct label *interpvplabel = NULL;
383eca8a663SRobert Watson 	int will_transition;
384ccafe7ebSRobert Watson #endif
38515139246SJoseph Koshy #ifdef HWPMC_HOOKS
38615139246SJoseph Koshy 	struct pmckern_procexec pe;
38715139246SJoseph Koshy #endif
38801a2b567SKonstantin Belousov 	int error, i, orig_osrel;
38901a2b567SKonstantin Belousov 	uint32_t orig_fctl0;
390632dbc19SKonstantin Belousov 	static const char fexecv_proc_title[] = "(fexecv)";
39126f9a767SRodney W. Grimes 
392c52007c2SDavid Greenman 	imgp = &image_params;
393df8bae1dSRodney W. Grimes 
3949ca45e81SDag-Erling Smørgrav 	/*
3959ca45e81SDag-Erling Smørgrav 	 * Lock the process and set the P_INEXEC flag to indicate that
3969ca45e81SDag-Erling Smørgrav 	 * it should be left alone until we're done here.  This is
3979ca45e81SDag-Erling Smørgrav 	 * necessary to avoid race conditions - e.g. in ptrace() -
3989ca45e81SDag-Erling Smørgrav 	 * that might allow a local user to illicitly obtain elevated
3999ca45e81SDag-Erling Smørgrav 	 * privileges.
4009ca45e81SDag-Erling Smørgrav 	 */
4019ca45e81SDag-Erling Smørgrav 	PROC_LOCK(p);
4029ca45e81SDag-Erling Smørgrav 	KASSERT((p->p_flag & P_INEXEC) == 0,
40391f91617SDavid E. O'Brien 	    ("%s(): process already has P_INEXEC flag", __func__));
4049ca45e81SDag-Erling Smørgrav 	p->p_flag |= P_INEXEC;
4059ca45e81SDag-Erling Smørgrav 	PROC_UNLOCK(p);
4069ca45e81SDag-Erling Smørgrav 
407df8bae1dSRodney W. Grimes 	/*
408c52007c2SDavid Greenman 	 * Initialize part of the common data
409df8bae1dSRodney W. Grimes 	 */
4108e572983SMateusz Guzik 	bzero(imgp, sizeof(*imgp));
411c52007c2SDavid Greenman 	imgp->proc = p;
412c52007c2SDavid Greenman 	imgp->attr = &attr;
413610ecfe0SMaxim Sobolev 	imgp->args = args;
414881010f0SBryan Drewery 	oldcred = p->p_ucred;
41501a2b567SKonstantin Belousov 	orig_osrel = p->p_osrel;
41601a2b567SKonstantin Belousov 	orig_fctl0 = p->p_fctl0;
41726f9a767SRodney W. Grimes 
418670cb89bSRobert Watson #ifdef MAC
419eca8a663SRobert Watson 	error = mac_execve_enter(imgp, mac_p);
420532c491bSJeff Roberson 	if (error)
421670cb89bSRobert Watson 		goto exec_fail;
422670cb89bSRobert Watson #endif
423670cb89bSRobert Watson 
42426f9a767SRodney W. Grimes 	/*
42526f9a767SRodney W. Grimes 	 * Translate the file name. namei() returns a vnode pointer
426e3043798SPedro F. Giffuni 	 *	in ni_vp among other things.
427ae1078d6SWayne Salamon 	 *
428ae1078d6SWayne Salamon 	 * XXXAUDIT: It would be desirable to also audit the name of the
429ae1078d6SWayne Salamon 	 * interpreter if this is an interpreted binary.
43026f9a767SRodney W. Grimes 	 */
431632dbc19SKonstantin Belousov 	if (args->fname != NULL) {
43278022527SKonstantin Belousov 		NDINIT(&nd, LOOKUP, ISOPEN | LOCKLEAF | LOCKSHARED | FOLLOW |
43378022527SKonstantin Belousov 		    SAVENAME | AUDITVNODE1, UIO_SYSSPACE, args->fname, td);
434632dbc19SKonstantin Belousov 	}
43526f9a767SRodney W. Grimes 
43636160958SMark Johnston 	SDT_PROBE1(proc, , , exec, args->fname);
437e506f34bSCraig Rodrigues 
43826f9a767SRodney W. Grimes interpret:
439632dbc19SKonstantin Belousov 	if (args->fname != NULL) {
44012bc222eSJonathan Anderson #ifdef CAPABILITY_MODE
44112bc222eSJonathan Anderson 		/*
44212bc222eSJonathan Anderson 		 * While capability mode can't reach this point via direct
44312bc222eSJonathan Anderson 		 * path arguments to execve(), we also don't allow
44412bc222eSJonathan Anderson 		 * interpreters to be used in capability mode (for now).
44512bc222eSJonathan Anderson 		 * Catch indirect lookups and return a permissions error.
44612bc222eSJonathan Anderson 		 */
44712bc222eSJonathan Anderson 		if (IN_CAPABILITY_MODE(td)) {
44812bc222eSJonathan Anderson 			error = ECAPMODE;
44912bc222eSJonathan Anderson 			goto exec_fail;
45012bc222eSJonathan Anderson 		}
45112bc222eSJonathan Anderson #endif
45269c9eff8SEd Schouten 		error = namei(&nd);
453610ecfe0SMaxim Sobolev 		if (error)
45426f9a767SRodney W. Grimes 			goto exec_fail;
45526f9a767SRodney W. Grimes 
45661617058SMateusz Guzik 		newtextvp = nd.ni_vp;
45761617058SMateusz Guzik 		imgp->vp = newtextvp;
458632dbc19SKonstantin Belousov 	} else {
45914961ba7SRobert Watson 		AUDIT_ARG_FD(args->fd);
460a9d2f8d8SRobert Watson 		/*
461c8e781f6SPawel Jakub Dawidek 		 * Descriptors opened only with O_EXEC or O_RDONLY are allowed.
462a9d2f8d8SRobert Watson 		 */
463cbd92ce6SMatt Macy 		error = fgetvp_exec(td, args->fd, &cap_fexecve_rights, &newtextvp);
464632dbc19SKonstantin Belousov 		if (error)
465632dbc19SKonstantin Belousov 			goto exec_fail;
46678022527SKonstantin Belousov 		vn_lock(newtextvp, LK_SHARED | LK_RETRY);
46761617058SMateusz Guzik 		AUDIT_ARG_VNODE1(newtextvp);
46861617058SMateusz Guzik 		imgp->vp = newtextvp;
469632dbc19SKonstantin Belousov 	}
47026f9a767SRodney W. Grimes 
47126f9a767SRodney W. Grimes 	/*
47278022527SKonstantin Belousov 	 * Check file permissions.  Also 'opens' file and sets its vnode to
47378022527SKonstantin Belousov 	 * text mode.
4749022e4adSDavid Greenman 	 */
475c52007c2SDavid Greenman 	error = exec_check_permissions(imgp);
476619eb6e5SJeff Roberson 	if (error)
47726f9a767SRodney W. Grimes 		goto exec_fail_dealloc;
478619eb6e5SJeff Roberson 
4798516dd18SPoul-Henning Kamp 	imgp->object = imgp->vp->v_object;
4808516dd18SPoul-Henning Kamp 	if (imgp->object != NULL)
4810b2ed1aeSJeff Roberson 		vm_object_reference(imgp->object);
48226f9a767SRodney W. Grimes 
4831616db3cSJohn Dyson 	error = exec_map_first_page(imgp);
4846d5a0a8cSDavid Greenman 	if (error)
48526f9a767SRodney W. Grimes 		goto exec_fail_dealloc;
48626f9a767SRodney W. Grimes 
487f231de47SKonstantin Belousov 	imgp->proc->p_osrel = 0;
488f5cf7589SKonstantin Belousov 	imgp->proc->p_fctl0 = 0;
489881010f0SBryan Drewery 
490881010f0SBryan Drewery 	/*
491881010f0SBryan Drewery 	 * Implement image setuid/setgid.
492881010f0SBryan Drewery 	 *
493881010f0SBryan Drewery 	 * Determine new credentials before attempting image activators
494881010f0SBryan Drewery 	 * so that it can be used by process_exec handlers to determine
495881010f0SBryan Drewery 	 * credential/setid changes.
496881010f0SBryan Drewery 	 *
497881010f0SBryan Drewery 	 * Don't honor setuid/setgid if the filesystem prohibits it or if
498881010f0SBryan Drewery 	 * the process is being traced.
499881010f0SBryan Drewery 	 *
500881010f0SBryan Drewery 	 * We disable setuid/setgid/etc in capability mode on the basis
501881010f0SBryan Drewery 	 * that most setugid applications are not written with that
502881010f0SBryan Drewery 	 * environment in mind, and will therefore almost certainly operate
503881010f0SBryan Drewery 	 * incorrectly. In principle there's no reason that setugid
504881010f0SBryan Drewery 	 * applications might not be useful in capability mode, so we may want
505881010f0SBryan Drewery 	 * to reconsider this conservative design choice in the future.
506881010f0SBryan Drewery 	 *
507881010f0SBryan Drewery 	 * XXXMAC: For the time being, use NOSUID to also prohibit
508881010f0SBryan Drewery 	 * transitions on the file system.
509881010f0SBryan Drewery 	 */
510881010f0SBryan Drewery 	credential_changing = 0;
511881010f0SBryan Drewery 	credential_changing |= (attr.va_mode & S_ISUID) &&
512881010f0SBryan Drewery 	    oldcred->cr_uid != attr.va_uid;
513881010f0SBryan Drewery 	credential_changing |= (attr.va_mode & S_ISGID) &&
514881010f0SBryan Drewery 	    oldcred->cr_gid != attr.va_gid;
515881010f0SBryan Drewery #ifdef MAC
516881010f0SBryan Drewery 	will_transition = mac_vnode_execve_will_transition(oldcred, imgp->vp,
517881010f0SBryan Drewery 	    interpvplabel, imgp);
518881010f0SBryan Drewery 	credential_changing |= will_transition;
519881010f0SBryan Drewery #endif
520881010f0SBryan Drewery 
5211302eea7SKonstantin Belousov 	/* Don't inherit PROC_PDEATHSIG_CTL value if setuid/setgid. */
522b9408863SKonstantin Belousov 	if (credential_changing)
523b9408863SKonstantin Belousov 		imgp->proc->p_pdeathsig = 0;
524b9408863SKonstantin Belousov 
525881010f0SBryan Drewery 	if (credential_changing &&
526881010f0SBryan Drewery #ifdef CAPABILITY_MODE
527881010f0SBryan Drewery 	    ((oldcred->cr_flags & CRED_FLAG_CAPMODE) == 0) &&
528881010f0SBryan Drewery #endif
529881010f0SBryan Drewery 	    (imgp->vp->v_mount->mnt_flag & MNT_NOSUID) == 0 &&
530881010f0SBryan Drewery 	    (p->p_flag & P_TRACED) == 0) {
531881010f0SBryan Drewery 		imgp->credential_setid = true;
532b249ce48SMateusz Guzik 		VOP_UNLOCK(imgp->vp);
533881010f0SBryan Drewery 		imgp->newcred = crdup(oldcred);
534881010f0SBryan Drewery 		if (attr.va_mode & S_ISUID) {
535881010f0SBryan Drewery 			euip = uifind(attr.va_uid);
536881010f0SBryan Drewery 			change_euid(imgp->newcred, euip);
537881010f0SBryan Drewery 		}
5381040254bSKonstantin Belousov 		vn_lock(imgp->vp, LK_SHARED | LK_RETRY);
539881010f0SBryan Drewery 		if (attr.va_mode & S_ISGID)
540881010f0SBryan Drewery 			change_egid(imgp->newcred, attr.va_gid);
541881010f0SBryan Drewery 		/*
542881010f0SBryan Drewery 		 * Implement correct POSIX saved-id behavior.
543881010f0SBryan Drewery 		 *
544881010f0SBryan Drewery 		 * XXXMAC: Note that the current logic will save the
545881010f0SBryan Drewery 		 * uid and gid if a MAC domain transition occurs, even
546881010f0SBryan Drewery 		 * though maybe it shouldn't.
547881010f0SBryan Drewery 		 */
548881010f0SBryan Drewery 		change_svuid(imgp->newcred, imgp->newcred->cr_uid);
549881010f0SBryan Drewery 		change_svgid(imgp->newcred, imgp->newcred->cr_gid);
550881010f0SBryan Drewery 	} else {
551881010f0SBryan Drewery 		/*
552881010f0SBryan Drewery 		 * Implement correct POSIX saved-id behavior.
553881010f0SBryan Drewery 		 *
554881010f0SBryan Drewery 		 * XXX: It's not clear that the existing behavior is
555881010f0SBryan Drewery 		 * POSIX-compliant.  A number of sources indicate that the
556881010f0SBryan Drewery 		 * saved uid/gid should only be updated if the new ruid is
557881010f0SBryan Drewery 		 * not equal to the old ruid, or the new euid is not equal
558881010f0SBryan Drewery 		 * to the old euid and the new euid is not equal to the old
559881010f0SBryan Drewery 		 * ruid.  The FreeBSD code always updates the saved uid/gid.
560881010f0SBryan Drewery 		 * Also, this code uses the new (replaced) euid and egid as
561881010f0SBryan Drewery 		 * the source, which may or may not be the right ones to use.
562881010f0SBryan Drewery 		 */
563881010f0SBryan Drewery 		if (oldcred->cr_svuid != oldcred->cr_uid ||
564881010f0SBryan Drewery 		    oldcred->cr_svgid != oldcred->cr_gid) {
565b249ce48SMateusz Guzik 			VOP_UNLOCK(imgp->vp);
566881010f0SBryan Drewery 			imgp->newcred = crdup(oldcred);
5671040254bSKonstantin Belousov 			vn_lock(imgp->vp, LK_SHARED | LK_RETRY);
568881010f0SBryan Drewery 			change_svuid(imgp->newcred, imgp->newcred->cr_uid);
569881010f0SBryan Drewery 			change_svgid(imgp->newcred, imgp->newcred->cr_gid);
570881010f0SBryan Drewery 		}
571881010f0SBryan Drewery 	}
572881010f0SBryan Drewery 	/* The new credentials are installed into the process later. */
573881010f0SBryan Drewery 
57426f9a767SRodney W. Grimes 	/*
5751afd78b3SBryan Drewery 	 * Do the best to calculate the full path to the image file.
5761afd78b3SBryan Drewery 	 */
5771afd78b3SBryan Drewery 	if (args->fname != NULL && args->fname[0] == '/')
5781afd78b3SBryan Drewery 		imgp->execpath = args->fname;
5791afd78b3SBryan Drewery 	else {
580b249ce48SMateusz Guzik 		VOP_UNLOCK(imgp->vp);
581feabaaf9SMateusz Guzik 		if (vn_fullpath(imgp->vp, &imgp->execpath, &imgp->freepath) != 0)
5821afd78b3SBryan Drewery 			imgp->execpath = args->fname;
5831040254bSKonstantin Belousov 		vn_lock(imgp->vp, LK_SHARED | LK_RETRY);
5841afd78b3SBryan Drewery 	}
5851afd78b3SBryan Drewery 
5861afd78b3SBryan Drewery 	/*
587d323ddf3SMatthew Dillon 	 *	If the current process has a special image activator it
588d323ddf3SMatthew Dillon 	 *	wants to try first, call it.   For example, emulating shell
589d323ddf3SMatthew Dillon 	 *	scripts differently.
59026f9a767SRodney W. Grimes 	 */
591d323ddf3SMatthew Dillon 	error = -1;
592d323ddf3SMatthew Dillon 	if ((img_first = imgp->proc->p_sysent->sv_imgact_try) != NULL)
593d323ddf3SMatthew Dillon 		error = img_first(imgp);
594d323ddf3SMatthew Dillon 
595d323ddf3SMatthew Dillon 	/*
596d323ddf3SMatthew Dillon 	 *	Loop through the list of image activators, calling each one.
597d323ddf3SMatthew Dillon 	 *	An activator returns -1 if there is no match, 0 on success,
598d323ddf3SMatthew Dillon 	 *	and an error otherwise.
599d323ddf3SMatthew Dillon 	 */
600d323ddf3SMatthew Dillon 	for (i = 0; error == -1 && execsw[i]; ++i) {
601d323ddf3SMatthew Dillon 		if (execsw[i]->ex_imgact == NULL ||
602d323ddf3SMatthew Dillon 		    execsw[i]->ex_imgact == img_first) {
603d323ddf3SMatthew Dillon 			continue;
604d323ddf3SMatthew Dillon 		}
605c52007c2SDavid Greenman 		error = (*execsw[i]->ex_imgact)(imgp);
606d323ddf3SMatthew Dillon 	}
607d323ddf3SMatthew Dillon 
608d323ddf3SMatthew Dillon 	if (error) {
60978022527SKonstantin Belousov 		if (error == -1)
610d323ddf3SMatthew Dillon 			error = ENOEXEC;
61126f9a767SRodney W. Grimes 		goto exec_fail_dealloc;
612d323ddf3SMatthew Dillon 	}
613d323ddf3SMatthew Dillon 
614d323ddf3SMatthew Dillon 	/*
615d323ddf3SMatthew Dillon 	 * Special interpreter operation, cleanup and loop up to try to
616d323ddf3SMatthew Dillon 	 * activate the interpreter.
617d323ddf3SMatthew Dillon 	 */
618c52007c2SDavid Greenman 	if (imgp->interpreted) {
6191616db3cSJohn Dyson 		exec_unmap_first_page(imgp);
620619eb6e5SJeff Roberson 		/*
62178022527SKonstantin Belousov 		 * The text reference needs to be removed for scripts.
62278022527SKonstantin Belousov 		 * There is a short period before we determine that
62378022527SKonstantin Belousov 		 * something is a script where text reference is active.
62478022527SKonstantin Belousov 		 * The vnode lock is held over this entire period
62578022527SKonstantin Belousov 		 * so nothing should illegitimately be blocked.
626619eb6e5SJeff Roberson 		 */
6271c36b728SKonstantin Belousov 		MPASS(imgp->textset);
6281c36b728SKonstantin Belousov 		VOP_UNSET_TEXT_CHECKED(newtextvp);
6291c36b728SKonstantin Belousov 		imgp->textset = false;
630762e6b85SEivind Eklund 		/* free name buffer and old vnode */
631632dbc19SKonstantin Belousov 		if (args->fname != NULL)
63269c9eff8SEd Schouten 			NDFREE(&nd, NDF_ONLY_PNBUF);
633670cb89bSRobert Watson #ifdef MAC
63461617058SMateusz Guzik 		mac_execve_interpreter_enter(newtextvp, &interpvplabel);
635670cb89bSRobert Watson #endif
6369a75ea23SKonstantin Belousov 		if (imgp->opened) {
63761617058SMateusz Guzik 			VOP_CLOSE(newtextvp, FREAD, td->td_ucred, td);
6389a75ea23SKonstantin Belousov 			imgp->opened = 0;
6399a75ea23SKonstantin Belousov 		}
64061617058SMateusz Guzik 		vput(newtextvp);
6410b2ed1aeSJeff Roberson 		vm_object_deallocate(imgp->object);
6420b2ed1aeSJeff Roberson 		imgp->object = NULL;
643881010f0SBryan Drewery 		imgp->credential_setid = false;
644881010f0SBryan Drewery 		if (imgp->newcred != NULL) {
645881010f0SBryan Drewery 			crfree(imgp->newcred);
646881010f0SBryan Drewery 			imgp->newcred = NULL;
647881010f0SBryan Drewery 		}
6481afd78b3SBryan Drewery 		imgp->execpath = NULL;
6491afd78b3SBryan Drewery 		free(imgp->freepath, M_TEMP);
6501afd78b3SBryan Drewery 		imgp->freepath = NULL;
65126f9a767SRodney W. Grimes 		/* set new name to that of the interpreter */
6528d4d271eSMateusz Guzik 		NDINIT(&nd, LOOKUP, ISOPEN | LOCKLEAF | LOCKSHARED | FOLLOW |
6538d4d271eSMateusz Guzik 		    SAVENAME, UIO_SYSSPACE, imgp->interpreter_name, td);
654632dbc19SKonstantin Belousov 		args->fname = imgp->interpreter_name;
65526f9a767SRodney W. Grimes 		goto interpret;
65626f9a767SRodney W. Grimes 	}
65726f9a767SRodney W. Grimes 
65826f9a767SRodney W. Grimes 	/*
659ded7d39cSChristian S.J. Peron 	 * NB: We unlock the vnode here because it is believed that none
660ded7d39cSChristian S.J. Peron 	 * of the sv_copyout_strings/sv_fixup operations require the vnode.
661ded7d39cSChristian S.J. Peron 	 */
662b249ce48SMateusz Guzik 	VOP_UNLOCK(imgp->vp);
6633ff06357SKonstantin Belousov 
664eda6009cSKonstantin Belousov 	if (disallow_high_osrel &&
665eda6009cSKonstantin Belousov 	    P_OSREL_MAJOR(p->p_osrel) > P_OSREL_MAJOR(__FreeBSD_version)) {
666eda6009cSKonstantin Belousov 		error = ENOEXEC;
667eda6009cSKonstantin Belousov 		uprintf("Osrel %d for image %s too high\n", p->p_osrel,
668eda6009cSKonstantin Belousov 		    imgp->execpath != NULL ? imgp->execpath : "<unresolved>");
669eda6009cSKonstantin Belousov 		vn_lock(imgp->vp, LK_SHARED | LK_RETRY);
670eda6009cSKonstantin Belousov 		goto exec_fail_dealloc;
671eda6009cSKonstantin Belousov 	}
672eda6009cSKonstantin Belousov 
67339f5ebb7SEd Schouten 	/* ABI enforces the use of Capsicum. Switch into capabilities mode. */
67439f5ebb7SEd Schouten 	if (SV_PROC_FLAG(p, SV_CAPSICUM))
67539f5ebb7SEd Schouten 		sys_cap_enter(td, NULL);
67639f5ebb7SEd Schouten 
677ded7d39cSChristian S.J. Peron 	/*
67891ff2d48SEdward Tomasz Napierala 	 * Copy out strings (args and env) and initialize stack base.
67926f9a767SRodney W. Grimes 	 */
68003b0d68cSJohn Baldwin 	error = (*p->p_sysent->sv_copyout_strings)(imgp, &stack_base);
68103b0d68cSJohn Baldwin 	if (error != 0) {
68203b0d68cSJohn Baldwin 		vn_lock(imgp->vp, LK_SHARED | LK_RETRY);
68303b0d68cSJohn Baldwin 		goto exec_fail_dealloc;
68403b0d68cSJohn Baldwin 	}
68526f9a767SRodney W. Grimes 
68626f9a767SRodney W. Grimes 	/*
68791ff2d48SEdward Tomasz Napierala 	 * Stack setup.
68826f9a767SRodney W. Grimes 	 */
6895f77b8a8SBrooks Davis 	error = (*p->p_sysent->sv_fixup)(&stack_base, imgp);
6906f26dd50SKonstantin Belousov 	if (error != 0) {
6916f26dd50SKonstantin Belousov 		vn_lock(imgp->vp, LK_SHARED | LK_RETRY);
6925f77b8a8SBrooks Davis 		goto exec_fail_dealloc;
6936f26dd50SKonstantin Belousov 	}
69426f9a767SRodney W. Grimes 
695457f7e23SEd Schouten 	if (args->fdp != NULL) {
696457f7e23SEd Schouten 		/* Install a brand new file descriptor table. */
697457f7e23SEd Schouten 		fdinstall_remapped(td, args->fdp);
698457f7e23SEd Schouten 		args->fdp = NULL;
699457f7e23SEd Schouten 	} else {
700a78e8d2aSDavid Greenman 		/*
701457f7e23SEd Schouten 		 * Keep on using the existing file descriptor table. For
702457f7e23SEd Schouten 		 * security and other reasons, the file descriptor table
703457f7e23SEd Schouten 		 * cannot be shared after an exec.
704a78e8d2aSDavid Greenman 		 */
705b9d32c36SMateusz Guzik 		fdunshare(td);
70685078b85SConrad Meyer 		pdunshare(td);
707b0bc0cadSMateusz Guzik 		/* close files on exec */
708b0bc0cadSMateusz Guzik 		fdcloseexec(td);
709457f7e23SEd Schouten 	}
710a78e8d2aSDavid Greenman 
711333ea485SGuido van Rooij 	/*
7129b3b1c5fSJohn Baldwin 	 * Malloc things before we need locks.
7139b3b1c5fSJohn Baldwin 	 */
714f373437aSBrooks Davis 	i = exec_args_get_begin_envv(imgp->args) - imgp->args->begin_argv;
7155997cae9SDon Lewis 	/* Cache arguments if they fit inside our allowance */
7165997cae9SDon Lewis 	if (ps_arg_cache_limit >= i + sizeof(struct pargs)) {
7179b3b1c5fSJohn Baldwin 		newargs = pargs_alloc(i);
7185997cae9SDon Lewis 		bcopy(imgp->args->begin_argv, newargs->ar_args, i);
7195997cae9SDon Lewis 	}
7209b3b1c5fSJohn Baldwin 
7219b3b1c5fSJohn Baldwin 	/*
722333ea485SGuido van Rooij 	 * For security and other reasons, signal handlers cannot
7238688bb93SJohn Baldwin 	 * be shared after an exec. The new process gets a copy of the old
724b2c3fa70SDima Dorfman 	 * handlers. In execsigs(), the new process will have its signals
725333ea485SGuido van Rooij 	 * reset.
726333ea485SGuido van Rooij 	 */
72790af4afaSJohn Baldwin 	if (sigacts_shared(p->p_sigacts)) {
72890af4afaSJohn Baldwin 		oldsigacts = p->p_sigacts;
72990af4afaSJohn Baldwin 		newsigacts = sigacts_alloc();
73090af4afaSJohn Baldwin 		sigacts_copy(newsigacts, oldsigacts);
731a6bad85eSMateusz Guzik 	}
732333ea485SGuido van Rooij 
733cda68844SMateusz Guzik 	vn_lock(imgp->vp, LK_SHARED | LK_RETRY);
734cda68844SMateusz Guzik 
735d00c8ea4SMateusz Guzik 	PROC_LOCK(p);
736d00c8ea4SMateusz Guzik 	if (oldsigacts)
737d00c8ea4SMateusz Guzik 		p->p_sigacts = newsigacts;
738fdf4e8b3SWarner Losh 	/* Stop profiling */
739fdf4e8b3SWarner Losh 	stopprofclock(p);
740fdf4e8b3SWarner Losh 
74126f9a767SRodney W. Grimes 	/* reset caught signals */
74226f9a767SRodney W. Grimes 	execsigs(p);
74326f9a767SRodney W. Grimes 
74426f9a767SRodney W. Grimes 	/* name this process - nameiexec(p, ndp) */
7455ca4819dSJohn Baldwin 	bzero(p->p_comm, sizeof(p->p_comm));
7465ca4819dSJohn Baldwin 	if (args->fname)
7475ca4819dSJohn Baldwin 		bcopy(nd.ni_cnd.cn_nameptr, p->p_comm,
7485ca4819dSJohn Baldwin 		    min(nd.ni_cnd.cn_namelen, MAXCOMLEN));
74961617058SMateusz Guzik 	else if (vn_commname(newtextvp, p->p_comm, sizeof(p->p_comm)) != 0)
7505ca4819dSJohn Baldwin 		bcopy(fexecv_proc_title, p->p_comm, sizeof(fexecv_proc_title));
751ca081fdbSJulian Elischer 	bcopy(p->p_comm, td->td_name, sizeof(td->td_name));
75244ad5475SJohn Baldwin #ifdef KTR
75344ad5475SJohn Baldwin 	sched_clear_tdname(td);
75444ad5475SJohn Baldwin #endif
75526f9a767SRodney W. Grimes 
75626f9a767SRodney W. Grimes 	/*
75724b34f09SSujal Patel 	 * mark as execed, wakeup the process that vforked (if any) and tell
758dc733423SDag-Erling Smørgrav 	 * it that it now has its own resources back
75926f9a767SRodney W. Grimes 	 */
76026f9a767SRodney W. Grimes 	p->p_flag |= P_EXEC;
761677258f7SKonstantin Belousov 	if ((p->p_flag2 & P2_NOTRACE_EXEC) == 0)
762677258f7SKonstantin Belousov 		p->p_flag2 &= ~P2_NOTRACE;
763fe69291fSKonstantin Belousov 	if ((p->p_flag2 & P2_STKGAP_DISABLE_EXEC) == 0)
764fe69291fSKonstantin Belousov 		p->p_flag2 &= ~P2_STKGAP_DISABLE;
765965d0860SMateusz Guzik 	if (p->p_flag & P_PPWAIT) {
766888d4d4fSKonstantin Belousov 		p->p_flag &= ~(P_PPWAIT | P_PPTRACE);
767aeb32571SKonstantin Belousov 		cv_broadcast(&p->p_pwait);
76877d68094SKonstantin Belousov 		/* STOPs are no longer ignored, arrange for AST */
76977d68094SKonstantin Belousov 		signotify(td);
77026f9a767SRodney W. Grimes 	}
77126f9a767SRodney W. Grimes 
77226f9a767SRodney W. Grimes 	/*
773881010f0SBryan Drewery 	 * Implement image setuid/setgid installation.
774c52007c2SDavid Greenman 	 */
775881010f0SBryan Drewery 	if (imgp->credential_setid) {
776c52007c2SDavid Greenman 		/*
777c52007c2SDavid Greenman 		 * Turn off syscall tracing for set-id programs, except for
778b85db196SPeter Wemm 		 * root.  Record any set-id flags first to make sure that
779b85db196SPeter Wemm 		 * we do not regain any tracing during a possible block.
78026f9a767SRodney W. Grimes 		 */
781b85db196SPeter Wemm 		setsugid(p);
782acd3428bSRobert Watson 
7836c84de02SJohn Baldwin #ifdef KTRACE
784c331c970SAndriy Gapon 		if (p->p_tracecred != NULL &&
785cc426dd3SMateusz Guzik 		    priv_check_cred(p->p_tracecred, PRIV_DEBUG_DIFFCRED))
786d680caabSJohn Baldwin 			ktrprocexec(p, &tracecred, &tracevp);
7876c84de02SJohn Baldwin #endif
78828b325aaSDon Lewis 		/*
789c1e2d386SNate Lawson 		 * Close any file descriptors 0..2 that reference procfs,
790c1e2d386SNate Lawson 		 * then make sure file descriptors 0..2 are in use.
79128b325aaSDon Lewis 		 *
7928a5177ccSMateusz Guzik 		 * Both fdsetugidsafety() and fdcheckstd() may call functions
7938a5177ccSMateusz Guzik 		 * taking sleepable locks, so temporarily drop our locks.
79428b325aaSDon Lewis 		 */
79528b325aaSDon Lewis 		PROC_UNLOCK(p);
796b249ce48SMateusz Guzik 		VOP_UNLOCK(imgp->vp);
79711888da8SMateusz Guzik 		fdsetugidsafety(td);
798e983a376SJacques Vidrine 		error = fdcheckstd(td);
7995e2554b7SMateusz Guzik 		vn_lock(imgp->vp, LK_SHARED | LK_RETRY);
800cda68844SMateusz Guzik 		if (error != 0)
801cda68844SMateusz Guzik 			goto exec_fail_dealloc;
802e1b1aa3bSJohn Baldwin 		PROC_LOCK(p);
803ccafe7ebSRobert Watson #ifdef MAC
804670cb89bSRobert Watson 		if (will_transition) {
805881010f0SBryan Drewery 			mac_vnode_execve_transition(oldcred, imgp->newcred,
806881010f0SBryan Drewery 			    imgp->vp, interpvplabel, imgp);
807670cb89bSRobert Watson 		}
808ccafe7ebSRobert Watson #endif
809c52007c2SDavid Greenman 	} else {
810b1fc0ec1SRobert Watson 		if (oldcred->cr_uid == oldcred->cr_ruid &&
811b1fc0ec1SRobert Watson 		    oldcred->cr_gid == oldcred->cr_rgid)
812c52007c2SDavid Greenman 			p->p_flag &= ~P_SUGID;
813881010f0SBryan Drewery 	}
81426f9a767SRodney W. Grimes 	/*
815881010f0SBryan Drewery 	 * Set the new credentials.
81626f9a767SRodney W. Grimes 	 */
8173fc292d5SKonstantin Belousov 	if (imgp->newcred != NULL) {
818881010f0SBryan Drewery 		proc_set_cred(p, imgp->newcred);
8193fc292d5SKonstantin Belousov 		crfree(oldcred);
8203fc292d5SKonstantin Belousov 		oldcred = NULL;
8213fc292d5SKonstantin Belousov 	}
82226f9a767SRodney W. Grimes 
82326f9a767SRodney W. Grimes 	/*
824853be5ffSMateusz Guzik 	 * Store the vp for use in procfs.  This vnode was referenced by namei
825853be5ffSMateusz Guzik 	 * or fgetvp_exec.
8262a531c80SDavid Greenman 	 */
82761617058SMateusz Guzik 	oldtextvp = p->p_textvp;
82861617058SMateusz Guzik 	p->p_textvp = newtextvp;
8292a531c80SDavid Greenman 
8305d217f17SJohn Birrell #ifdef KDTRACE_HOOKS
8315d217f17SJohn Birrell 	/*
8325d217f17SJohn Birrell 	 * Tell the DTrace fasttrap provider about the exec if it
8335d217f17SJohn Birrell 	 * has declared an interest.
8345d217f17SJohn Birrell 	 */
8355d217f17SJohn Birrell 	if (dtrace_fasttrap_exec)
8365d217f17SJohn Birrell 		dtrace_fasttrap_exec(p);
8375d217f17SJohn Birrell #endif
8385d217f17SJohn Birrell 
8392a531c80SDavid Greenman 	/*
8409ca45e81SDag-Erling Smørgrav 	 * Notify others that we exec'd, and clear the P_INEXEC flag
8419ca45e81SDag-Erling Smørgrav 	 * as we're now a bona fide freshly-execed process.
842cb679c38SJonathan Lemon 	 */
8439e590ff0SKonstantin Belousov 	KNOTE_LOCKED(p->p_klist, NOTE_EXEC);
8449ca45e81SDag-Erling Smørgrav 	p->p_flag &= ~P_INEXEC;
845cb679c38SJonathan Lemon 
84626f9a767SRodney W. Grimes 	/* clear "fork but no exec" flag, as we _are_ execing */
84726f9a767SRodney W. Grimes 	p->p_acflag &= ~AFORK;
84826f9a767SRodney W. Grimes 
8495997cae9SDon Lewis 	/*
85034ea500bSDon Lewis 	 * Free any previous argument cache and replace it with
8515997cae9SDon Lewis 	 * the new argument cache, if any.
8525997cae9SDon Lewis 	 */
8539b3b1c5fSJohn Baldwin 	oldargs = p->p_args;
854e1b1aa3bSJohn Baldwin 	p->p_args = newargs;
855e1b1aa3bSJohn Baldwin 	newargs = NULL;
856ebccf1e3SJoseph Koshy 
85780a2397aSMateusz Guzik 	PROC_UNLOCK(p);
85880a2397aSMateusz Guzik 
859ebccf1e3SJoseph Koshy #ifdef	HWPMC_HOOKS
860ebccf1e3SJoseph Koshy 	/*
861f263522aSJoseph Koshy 	 * Check if system-wide sampling is in effect or if the
862f263522aSJoseph Koshy 	 * current process is using PMCs.  If so, do exec() time
863ebccf1e3SJoseph Koshy 	 * processing.  This processing needs to happen AFTER the
864ebccf1e3SJoseph Koshy 	 * P_INEXEC flag is cleared.
865ebccf1e3SJoseph Koshy 	 */
866f263522aSJoseph Koshy 	if (PMC_SYSTEM_SAMPLING_ACTIVE() || PMC_PROC_IS_USING_PMCS(p)) {
867b249ce48SMateusz Guzik 		VOP_UNLOCK(imgp->vp);
86815139246SJoseph Koshy 		pe.pm_credentialschanged = credential_changing;
86915139246SJoseph Koshy 		pe.pm_entryaddr = imgp->entry_addr;
87015139246SJoseph Koshy 
87115139246SJoseph Koshy 		PMC_CALL_HOOK_X(td, PMC_FN_PROCESS_EXEC, (void *) &pe);
8722974cc36SKonstantin Belousov 		vn_lock(imgp->vp, LK_SHARED | LK_RETRY);
87380a2397aSMateusz Guzik 	}
874ebccf1e3SJoseph Koshy #endif
875e1b1aa3bSJohn Baldwin 
876e913ca22SDoug Rabson 	/* Set values passed into the program in registers. */
87731174518SJohn Baldwin 	(*p->p_sysent->sv_setregs)(td, imgp, stack_base);
878e913ca22SDoug Rabson 
879643656cfSMateusz Guzik 	VOP_MMAPPED(imgp->vp);
8806341095eSKen Smith 
88136160958SMark Johnston 	SDT_PROBE1(proc, , , exec__success, args->fname);
8825d217f17SJohn Birrell 
8831616db3cSJohn Dyson exec_fail_dealloc:
88401a2b567SKonstantin Belousov 	if (error != 0) {
88501a2b567SKonstantin Belousov 		p->p_osrel = orig_osrel;
88601a2b567SKonstantin Belousov 		p->p_fctl0 = orig_fctl0;
88701a2b567SKonstantin Belousov 	}
88801a2b567SKonstantin Belousov 
889d6c847f3SBruce Evans 	if (imgp->firstpage != NULL)
8901616db3cSJohn Dyson 		exec_unmap_first_page(imgp);
89126f9a767SRodney W. Grimes 
892d6c847f3SBruce Evans 	if (imgp->vp != NULL) {
893632dbc19SKonstantin Belousov 		if (args->fname)
89469c9eff8SEd Schouten 			NDFREE(&nd, NDF_ONLY_PNBUF);
8959a75ea23SKonstantin Belousov 		if (imgp->opened)
8969a75ea23SKonstantin Belousov 			VOP_CLOSE(imgp->vp, FREAD, td->td_ucred, td);
89778022527SKonstantin Belousov 		if (imgp->textset)
89878022527SKonstantin Belousov 			VOP_UNSET_TEXT_CHECKED(imgp->vp);
899853be5ffSMateusz Guzik 		if (error != 0)
900619eb6e5SJeff Roberson 			vput(imgp->vp);
901853be5ffSMateusz Guzik 		else
902b249ce48SMateusz Guzik 			VOP_UNLOCK(imgp->vp);
903a3cf6ebaSDavid Greenman 	}
90426f9a767SRodney W. Grimes 
905d6c847f3SBruce Evans 	if (imgp->object != NULL)
9060b2ed1aeSJeff Roberson 		vm_object_deallocate(imgp->object);
9070b2ed1aeSJeff Roberson 
9083ff06357SKonstantin Belousov 	free(imgp->freepath, M_TEMP);
9093ff06357SKonstantin Belousov 
910d1989db5SRobert Drehmel 	if (error == 0) {
911e6b645aeSMateusz Guzik 		if (p->p_ptevents & PTRACE_EXEC) {
912afe1a688SKonstantin Belousov 			PROC_LOCK(p);
9138d570f64SJohn Baldwin 			if (p->p_ptevents & PTRACE_EXEC)
914afe1a688SKonstantin Belousov 				td->td_dbgflags |= TDB_EXEC;
915afe1a688SKonstantin Belousov 			PROC_UNLOCK(p);
916e6b645aeSMateusz Guzik 		}
917cda68844SMateusz Guzik 	} else {
91826f9a767SRodney W. Grimes exec_fail:
9199ca45e81SDag-Erling Smørgrav 		/* we're done here, clear P_INEXEC */
9209ca45e81SDag-Erling Smørgrav 		PROC_LOCK(p);
9219ca45e81SDag-Erling Smørgrav 		p->p_flag &= ~P_INEXEC;
9229ca45e81SDag-Erling Smørgrav 		PROC_UNLOCK(p);
9239ca45e81SDag-Erling Smørgrav 
92436160958SMark Johnston 		SDT_PROBE1(proc, , , exec__failure, error);
925cda68844SMateusz Guzik 	}
9265d217f17SJohn Birrell 
9273fc292d5SKonstantin Belousov 	if (imgp->newcred != NULL && oldcred != NULL)
9283fc292d5SKonstantin Belousov 		crfree(imgp->newcred);
9293fc292d5SKonstantin Belousov 
930670cb89bSRobert Watson #ifdef MAC
931670cb89bSRobert Watson 	mac_execve_exit(imgp);
9326356dba0SRobert Watson 	mac_execve_interpreter_exit(interpvplabel);
933670cb89bSRobert Watson #endif
9348917b8d2SJohn Baldwin 	exec_free_args(args);
9358917b8d2SJohn Baldwin 
936cda68844SMateusz Guzik 	/*
937cda68844SMateusz Guzik 	 * Handle deferred decrement of ref counts.
938cda68844SMateusz Guzik 	 */
939cda68844SMateusz Guzik 	if (oldtextvp != NULL)
940cda68844SMateusz Guzik 		vrele(oldtextvp);
941cda68844SMateusz Guzik #ifdef KTRACE
942cda68844SMateusz Guzik 	if (tracevp != NULL)
943cda68844SMateusz Guzik 		vrele(tracevp);
944cda68844SMateusz Guzik 	if (tracecred != NULL)
945cda68844SMateusz Guzik 		crfree(tracecred);
946cda68844SMateusz Guzik #endif
947cda68844SMateusz Guzik 	pargs_drop(oldargs);
948cda68844SMateusz Guzik 	pargs_drop(newargs);
949cda68844SMateusz Guzik 	if (oldsigacts != NULL)
950cda68844SMateusz Guzik 		sigacts_free(oldsigacts);
951cda68844SMateusz Guzik 	if (euip != NULL)
952cda68844SMateusz Guzik 		uifree(euip);
953cda68844SMateusz Guzik 
9548917b8d2SJohn Baldwin 	if (error && imgp->vmspace_destroyed) {
9558917b8d2SJohn Baldwin 		/* sorry, no more process anymore. exit gracefully */
956aaf78c16SKonstantin Belousov 		exec_cleanup(td, oldvmspace);
957b4490c6eSKonstantin Belousov 		exit1(td, 0, SIGABRT);
9588917b8d2SJohn Baldwin 		/* NOT REACHED */
9598917b8d2SJohn Baldwin 	}
9607705d4b2SDmitry Chagin 
9617705d4b2SDmitry Chagin #ifdef KTRACE
9627705d4b2SDmitry Chagin 	if (error == 0)
9637705d4b2SDmitry Chagin 		ktrprocctor(p);
9647705d4b2SDmitry Chagin #endif
9657705d4b2SDmitry Chagin 
966814629ddSEd Schouten 	/*
967814629ddSEd Schouten 	 * We don't want cpu_set_syscall_retval() to overwrite any of
968814629ddSEd Schouten 	 * the register values put in place by exec_setregs().
969814629ddSEd Schouten 	 * Implementations of cpu_set_syscall_retval() will leave
970814629ddSEd Schouten 	 * registers unmodified when returning EJUSTRETURN.
971814629ddSEd Schouten 	 */
972814629ddSEd Schouten 	return (error == 0 ? EJUSTRETURN : error);
97326f9a767SRodney W. Grimes }
97426f9a767SRodney W. Grimes 
975aaf78c16SKonstantin Belousov void
976aaf78c16SKonstantin Belousov exec_cleanup(struct thread *td, struct vmspace *oldvmspace)
977aaf78c16SKonstantin Belousov {
978aaf78c16SKonstantin Belousov 	if ((td->td_pflags & TDP_EXECVMSPC) != 0) {
9795dca94eeSKonstantin Belousov 		KASSERT(td->td_proc->p_vmspace != oldvmspace,
980aaf78c16SKonstantin Belousov 		    ("oldvmspace still used"));
981aaf78c16SKonstantin Belousov 		vmspace_free(oldvmspace);
982aaf78c16SKonstantin Belousov 		td->td_pflags &= ~TDP_EXECVMSPC;
983aaf78c16SKonstantin Belousov 	}
984aaf78c16SKonstantin Belousov }
985aaf78c16SKonstantin Belousov 
9861616db3cSJohn Dyson int
987b8d908b7SEd Maste exec_map_first_page(struct image_params *imgp)
9881616db3cSJohn Dyson {
9891616db3cSJohn Dyson 	vm_object_t object;
990af009714SJeff Roberson 	vm_page_t m;
991af009714SJeff Roberson 	int error;
9921616db3cSJohn Dyson 
993d6c847f3SBruce Evans 	if (imgp->firstpage != NULL)
9941616db3cSJohn Dyson 		exec_unmap_first_page(imgp);
9951616db3cSJohn Dyson 
9968516dd18SPoul-Henning Kamp 	object = imgp->vp->v_object;
9974d7d2993SJeff Roberson 	if (object == NULL)
9984d7d2993SJeff Roberson 		return (EACCES);
999f8a47341SAlan Cox #if VM_NRESERVLEVEL > 0
10007aaf252cSJeff Roberson 	if ((object->flags & OBJ_COLORED) == 0) {
10017aaf252cSJeff Roberson 		VM_OBJECT_WLOCK(object);
10023d653db0SAlan Cox 		vm_object_color(object, 0);
10037aaf252cSJeff Roberson 		VM_OBJECT_WUNLOCK(object);
10047aaf252cSJeff Roberson 	}
1005f8a47341SAlan Cox #endif
10067aaf252cSJeff Roberson 	error = vm_page_grab_valid_unlocked(&m, object, 0,
1007af009714SJeff Roberson 	    VM_ALLOC_COUNT(VM_INITIAL_PAGEIN) |
1008af009714SJeff Roberson             VM_ALLOC_NORMAL | VM_ALLOC_NOBUSY | VM_ALLOC_WIRED);
10091616db3cSJohn Dyson 
1010af009714SJeff Roberson 	if (error != VM_PAGER_OK)
1011af009714SJeff Roberson 		return (EIO);
1012af009714SJeff Roberson 	imgp->firstpage = sf_buf_alloc(m, 0);
101359c8bc40SAlan Cox 	imgp->image_header = (char *)sf_buf_kva(imgp->firstpage);
10141616db3cSJohn Dyson 
1015a7cddfedSJake Burkholder 	return (0);
10161616db3cSJohn Dyson }
10171616db3cSJohn Dyson 
10181616db3cSJohn Dyson void
10193e85b721SEd Maste exec_unmap_first_page(struct image_params *imgp)
10201616db3cSJohn Dyson {
102159c8bc40SAlan Cox 	vm_page_t m;
102223955314SAlfred Perlstein 
1023d6c847f3SBruce Evans 	if (imgp->firstpage != NULL) {
102459c8bc40SAlan Cox 		m = sf_buf_page(imgp->firstpage);
102559c8bc40SAlan Cox 		sf_buf_free(imgp->firstpage);
10261616db3cSJohn Dyson 		imgp->firstpage = NULL;
1027eeacb3b0SMark Johnston 		vm_page_unwire(m, PQ_ACTIVE);
10281616db3cSJohn Dyson 	}
10291616db3cSJohn Dyson }
10301616db3cSJohn Dyson 
103126f9a767SRodney W. Grimes /*
1032467b3975SKonstantin Belousov  * Destroy old address space, and allocate a new stack.
1033467b3975SKonstantin Belousov  *	The new stack is only sgrowsiz large because it is grown
1034467b3975SKonstantin Belousov  *	automatically on a page fault.
103526f9a767SRodney W. Grimes  */
103626f9a767SRodney W. Grimes int
10373e85b721SEd Maste exec_new_vmspace(struct image_params *imgp, struct sysentvec *sv)
103826f9a767SRodney W. Grimes {
103926f9a767SRodney W. Grimes 	int error;
10405e20c11fSAlan Cox 	struct proc *p = imgp->proc;
10415e20c11fSAlan Cox 	struct vmspace *vmspace = p->p_vmspace;
1042146fc63fSKonstantin Belousov 	struct thread *td = curthread;
10436297a3d8SKonstantin Belousov 	vm_object_t obj;
1044316b3843SKonstantin Belousov 	struct rlimit rlim_stack;
1045878adb85SBjoern A. Zeeb 	vm_offset_t sv_minuser, stack_addr;
104605ba50f5SJake Burkholder 	vm_map_t map;
10474ea65707SKonstantin Belousov 	vm_prot_t stack_prot;
104859d8f3ffSJohn Baldwin 	u_long ssiz;
104926f9a767SRodney W. Grimes 
1050c52007c2SDavid Greenman 	imgp->vmspace_destroyed = 1;
1051993182e5SAlexander Leidinger 	imgp->sysent = sv;
105226f9a767SRodney W. Grimes 
1053a113b17fSKonstantin Belousov 	sigfastblock_clear(td);
105474a093ebSKonstantin Belousov 	umtx_exec(p);
1055e68c6191SKonstantin Belousov 	itimers_exec(p);
105687a9b18dSKonstantin Belousov 	if (sv->sv_onexec != NULL)
105787a9b18dSKonstantin Belousov 		sv->sv_onexec(p, imgp);
1058146fc63fSKonstantin Belousov 
10592ca45184SMatt Joras 	EVENTHANDLER_DIRECT_INVOKE(process_exec, p, imgp);
10606f5dafeaSAlan Cox 
10616f5dafeaSAlan Cox 	/*
1062af9ec885SJohn Dyson 	 * Blow away entire process VM, if address space not shared,
1063af9ec885SJohn Dyson 	 * otherwise, create a new VM space so that other threads are
1064af9ec885SJohn Dyson 	 * not disrupted
1065af9ec885SJohn Dyson 	 */
106605ba50f5SJake Burkholder 	map = &vmspace->vm_map;
1067878adb85SBjoern A. Zeeb 	if (map_at_zero)
1068878adb85SBjoern A. Zeeb 		sv_minuser = sv->sv_minuser;
1069878adb85SBjoern A. Zeeb 	else
1070878adb85SBjoern A. Zeeb 		sv_minuser = MAX(sv->sv_minuser, PAGE_SIZE);
1071f7db0c95SMark Johnston 	if (refcount_load(&vmspace->vm_refcnt) == 1 &&
1072f7db0c95SMark Johnston 	    vm_map_min(map) == sv_minuser &&
10736f1fe330SKonstantin Belousov 	    vm_map_max(map) == sv->sv_maxuser &&
10746f1fe330SKonstantin Belousov 	    cpu_exec_vmspace_reuse(p, map)) {
10753db161e0SMatthew Dillon 		shmexit(vmspace);
1076b9eee07eSPeter Wemm 		pmap_remove_pages(vmspace_pmap(vmspace));
107705ba50f5SJake Burkholder 		vm_map_remove(map, vm_map_min(map), vm_map_max(map));
1078fa50a355SKonstantin Belousov 		/*
10792e1c94aaSKonstantin Belousov 		 * An exec terminates mlockall(MCL_FUTURE).
10802e1c94aaSKonstantin Belousov 		 * ASLR and W^X states must be re-evaluated.
1081fa50a355SKonstantin Belousov 		 */
10828056df6eSAlan Cox 		vm_map_lock(map);
1083fa50a355SKonstantin Belousov 		vm_map_modflags(map, 0, MAP_WIREFUTURE | MAP_ASLR |
10842e1c94aaSKonstantin Belousov 		    MAP_ASLR_IGNSTART | MAP_WXORX);
10858056df6eSAlan Cox 		vm_map_unlock(map);
1086af9ec885SJohn Dyson 	} else {
1087878adb85SBjoern A. Zeeb 		error = vmspace_exec(p, sv_minuser, sv->sv_maxuser);
108889b57fcfSKonstantin Belousov 		if (error)
108989b57fcfSKonstantin Belousov 			return (error);
10905e20c11fSAlan Cox 		vmspace = p->p_vmspace;
109105ba50f5SJake Burkholder 		map = &vmspace->vm_map;
1092af9ec885SJohn Dyson 	}
1093fa50a355SKonstantin Belousov 	map->flags |= imgp->map_flags;
109426f9a767SRodney W. Grimes 
10956297a3d8SKonstantin Belousov 	/* Map a shared page */
10966297a3d8SKonstantin Belousov 	obj = sv->sv_shared_page_obj;
10976297a3d8SKonstantin Belousov 	if (obj != NULL) {
10986297a3d8SKonstantin Belousov 		vm_object_reference(obj);
10996297a3d8SKonstantin Belousov 		error = vm_map_fixed(map, obj, 0,
11006297a3d8SKonstantin Belousov 		    sv->sv_shared_page_base, sv->sv_shared_page_len,
11011e65d73cSKonstantin Belousov 		    VM_PROT_READ | VM_PROT_EXECUTE,
11021e65d73cSKonstantin Belousov 		    VM_PROT_READ | VM_PROT_EXECUTE,
11031e65d73cSKonstantin Belousov 		    MAP_INHERIT_SHARE | MAP_ACC_NO_CHARGE);
1104467b3975SKonstantin Belousov 		if (error != KERN_SUCCESS) {
11056297a3d8SKonstantin Belousov 			vm_object_deallocate(obj);
1106467b3975SKonstantin Belousov 			return (vm_mmap_to_errno(error));
11076297a3d8SKonstantin Belousov 		}
11086297a3d8SKonstantin Belousov 	}
11096297a3d8SKonstantin Belousov 
111026f9a767SRodney W. Grimes 	/* Allocate a new stack */
1111316b3843SKonstantin Belousov 	if (imgp->stack_sz != 0) {
1112fe8a824cSKonstantin Belousov 		ssiz = trunc_page(imgp->stack_sz);
1113316b3843SKonstantin Belousov 		PROC_LOCK(p);
1114f6f6d240SMateusz Guzik 		lim_rlimit_proc(p, RLIMIT_STACK, &rlim_stack);
1115316b3843SKonstantin Belousov 		PROC_UNLOCK(p);
1116316b3843SKonstantin Belousov 		if (ssiz > rlim_stack.rlim_max)
1117316b3843SKonstantin Belousov 			ssiz = rlim_stack.rlim_max;
1118316b3843SKonstantin Belousov 		if (ssiz > rlim_stack.rlim_cur) {
1119316b3843SKonstantin Belousov 			rlim_stack.rlim_cur = ssiz;
1120316b3843SKonstantin Belousov 			kern_setrlimit(curthread, RLIMIT_STACK, &rlim_stack);
1121316b3843SKonstantin Belousov 		}
1122316b3843SKonstantin Belousov 	} else if (sv->sv_maxssiz != NULL) {
112359d8f3ffSJohn Baldwin 		ssiz = *sv->sv_maxssiz;
1124316b3843SKonstantin Belousov 	} else {
112559d8f3ffSJohn Baldwin 		ssiz = maxssiz;
1126316b3843SKonstantin Belousov 	}
112701c3ba97SKonstantin Belousov 	imgp->eff_stack_sz = lim_cur(curthread, RLIMIT_STACK);
112801c3ba97SKonstantin Belousov 	if (ssiz < imgp->eff_stack_sz)
1129fc83c5a7SKonstantin Belousov 		imgp->eff_stack_sz = ssiz;
113059d8f3ffSJohn Baldwin 	stack_addr = sv->sv_usrstack - ssiz;
11314ea65707SKonstantin Belousov 	stack_prot = obj != NULL && imgp->stack_prot != 0 ?
11324ea65707SKonstantin Belousov 	    imgp->stack_prot : sv->sv_stackprot;
11334ea65707SKonstantin Belousov 	error = vm_map_stack(map, stack_addr, (vm_size_t)ssiz, stack_prot,
11344ea65707SKonstantin Belousov 	    VM_PROT_ALL, MAP_STACK_GROWS_DOWN);
11354ea65707SKonstantin Belousov 	if (error != KERN_SUCCESS) {
11364ea65707SKonstantin Belousov 		uprintf("exec_new_vmspace: mapping stack size %#jx prot %#x "
11374ea65707SKonstantin Belousov 		    "failed mach error %d errno %d\n", (uintmax_t)ssiz,
11384ea65707SKonstantin Belousov 		    stack_prot, error, vm_mmap_to_errno(error));
1139467b3975SKonstantin Belousov 		return (vm_mmap_to_errno(error));
11404ea65707SKonstantin Belousov 	}
11412267af78SJulian Elischer 
114278960940SAlan Cox 	/*
114378960940SAlan Cox 	 * vm_ssize and vm_maxsaddr are somewhat antiquated concepts, but they
114478960940SAlan Cox 	 * are still used to enforce the stack rlimit on the process stack.
11452267af78SJulian Elischer 	 */
1146cbc89bfbSPaul Saab 	vmspace->vm_ssize = sgrowsiz >> PAGE_SHIFT;
11476ef12002SKonstantin Belousov 	vmspace->vm_maxsaddr = (char *)stack_addr;
114826f9a767SRodney W. Grimes 
114926f9a767SRodney W. Grimes 	return (0);
115026f9a767SRodney W. Grimes }
115126f9a767SRodney W. Grimes 
115226f9a767SRodney W. Grimes /*
1153873fbcd7SRobert Watson  * Copy out argument and environment strings from the old process address
1154873fbcd7SRobert Watson  * space into the temporary string buffer.
115526f9a767SRodney W. Grimes  */
115626f9a767SRodney W. Grimes int
115712e69f96SBrooks Davis exec_copyin_args(struct image_args *args, const char *fname,
1158610ecfe0SMaxim Sobolev     enum uio_seg segflg, char **argv, char **envv)
115926f9a767SRodney W. Grimes {
1160f373437aSBrooks Davis 	u_long arg, env;
1161ecbb00a2SDoug Rabson 	int error;
116226f9a767SRodney W. Grimes 
1163610ecfe0SMaxim Sobolev 	bzero(args, sizeof(*args));
1164610ecfe0SMaxim Sobolev 	if (argv == NULL)
1165610ecfe0SMaxim Sobolev 		return (EFAULT);
11662af6e14dSAlan Cox 
116726f9a767SRodney W. Grimes 	/*
11682af6e14dSAlan Cox 	 * Allocate demand-paged memory for the file name, argument, and
11692af6e14dSAlan Cox 	 * environment strings.
117026f9a767SRodney W. Grimes 	 */
11712af6e14dSAlan Cox 	error = exec_alloc_args(args);
11722af6e14dSAlan Cox 	if (error != 0)
11732af6e14dSAlan Cox 		return (error);
11749e4e5114SAlan Cox 
1175610ecfe0SMaxim Sobolev 	/*
1176610ecfe0SMaxim Sobolev 	 * Copy the file name.
1177610ecfe0SMaxim Sobolev 	 */
1178f373437aSBrooks Davis 	error = exec_args_add_fname(args, fname, segflg);
1179c30af532SMaxim Sobolev 	if (error != 0)
118068ff3c24SStephan Uphoff 		goto err_exit;
118126f9a767SRodney W. Grimes 
1182610ecfe0SMaxim Sobolev 	/*
1183610ecfe0SMaxim Sobolev 	 * extract arguments first
1184610ecfe0SMaxim Sobolev 	 */
11850a2c94b8SKonstantin Belousov 	for (;;) {
1186f373437aSBrooks Davis 		error = fueword(argv++, &arg);
11870a2c94b8SKonstantin Belousov 		if (error == -1) {
118868ff3c24SStephan Uphoff 			error = EFAULT;
118968ff3c24SStephan Uphoff 			goto err_exit;
119068ff3c24SStephan Uphoff 		}
1191f373437aSBrooks Davis 		if (arg == 0)
11920a2c94b8SKonstantin Belousov 			break;
1193f373437aSBrooks Davis 		error = exec_args_add_arg(args, (char *)(uintptr_t)arg,
1194f373437aSBrooks Davis 		    UIO_USERSPACE);
1195f373437aSBrooks Davis 		if (error != 0)
119668ff3c24SStephan Uphoff 			goto err_exit;
1197610ecfe0SMaxim Sobolev 	}
1198b9df5231SPoul-Henning Kamp 
119926f9a767SRodney W. Grimes 	/*
120026f9a767SRodney W. Grimes 	 * extract environment strings
120126f9a767SRodney W. Grimes 	 */
12020fd1a014SDavid Greenman 	if (envv) {
12030a2c94b8SKonstantin Belousov 		for (;;) {
1204f373437aSBrooks Davis 			error = fueword(envv++, &env);
12050a2c94b8SKonstantin Belousov 			if (error == -1) {
120668ff3c24SStephan Uphoff 				error = EFAULT;
120768ff3c24SStephan Uphoff 				goto err_exit;
120868ff3c24SStephan Uphoff 			}
1209f373437aSBrooks Davis 			if (env == 0)
12100a2c94b8SKonstantin Belousov 				break;
1211f373437aSBrooks Davis 			error = exec_args_add_env(args,
1212f373437aSBrooks Davis 			    (char *)(uintptr_t)env, UIO_USERSPACE);
1213f373437aSBrooks Davis 			if (error != 0)
121468ff3c24SStephan Uphoff 				goto err_exit;
12150fd1a014SDavid Greenman 		}
12160fd1a014SDavid Greenman 	}
121726f9a767SRodney W. Grimes 
121826f9a767SRodney W. Grimes 	return (0);
121968ff3c24SStephan Uphoff 
122068ff3c24SStephan Uphoff err_exit:
122168ff3c24SStephan Uphoff 	exec_free_args(args);
122268ff3c24SStephan Uphoff 	return (error);
122326f9a767SRodney W. Grimes }
122426f9a767SRodney W. Grimes 
1225457f7e23SEd Schouten int
1226457f7e23SEd Schouten exec_copyin_data_fds(struct thread *td, struct image_args *args,
1227457f7e23SEd Schouten     const void *data, size_t datalen, const int *fds, size_t fdslen)
1228457f7e23SEd Schouten {
1229457f7e23SEd Schouten 	struct filedesc *ofdp;
1230457f7e23SEd Schouten 	const char *p;
1231457f7e23SEd Schouten 	int *kfds;
1232457f7e23SEd Schouten 	int error;
1233457f7e23SEd Schouten 
1234457f7e23SEd Schouten 	memset(args, '\0', sizeof(*args));
1235457f7e23SEd Schouten 	ofdp = td->td_proc->p_fd;
1236d8bc2a17SMateusz Guzik 	if (datalen >= ARG_MAX || fdslen >= ofdp->fd_nfiles)
1237457f7e23SEd Schouten 		return (E2BIG);
1238457f7e23SEd Schouten 	error = exec_alloc_args(args);
1239457f7e23SEd Schouten 	if (error != 0)
1240457f7e23SEd Schouten 		return (error);
1241457f7e23SEd Schouten 
1242457f7e23SEd Schouten 	args->begin_argv = args->buf;
1243457f7e23SEd Schouten 	args->stringspace = ARG_MAX;
1244457f7e23SEd Schouten 
1245457f7e23SEd Schouten 	if (datalen > 0) {
1246457f7e23SEd Schouten 		/*
1247457f7e23SEd Schouten 		 * Argument buffer has been provided. Copy it into the
1248457f7e23SEd Schouten 		 * kernel as a single string and add a terminating null
1249457f7e23SEd Schouten 		 * byte.
1250457f7e23SEd Schouten 		 */
1251457f7e23SEd Schouten 		error = copyin(data, args->begin_argv, datalen);
1252457f7e23SEd Schouten 		if (error != 0)
1253457f7e23SEd Schouten 			goto err_exit;
1254457f7e23SEd Schouten 		args->begin_argv[datalen] = '\0';
1255457f7e23SEd Schouten 		args->endp = args->begin_argv + datalen + 1;
1256457f7e23SEd Schouten 		args->stringspace -= datalen + 1;
1257457f7e23SEd Schouten 
1258457f7e23SEd Schouten 		/*
1259457f7e23SEd Schouten 		 * Traditional argument counting. Count the number of
1260457f7e23SEd Schouten 		 * null bytes.
1261457f7e23SEd Schouten 		 */
1262457f7e23SEd Schouten 		for (p = args->begin_argv; p < args->endp; ++p)
1263457f7e23SEd Schouten 			if (*p == '\0')
1264457f7e23SEd Schouten 				++args->argc;
1265457f7e23SEd Schouten 	} else {
1266457f7e23SEd Schouten 		/* No argument buffer provided. */
1267457f7e23SEd Schouten 		args->endp = args->begin_argv;
1268457f7e23SEd Schouten 	}
1269457f7e23SEd Schouten 
1270457f7e23SEd Schouten 	/* Create new file descriptor table. */
1271457f7e23SEd Schouten 	kfds = malloc(fdslen * sizeof(int), M_TEMP, M_WAITOK);
1272457f7e23SEd Schouten 	error = copyin(fds, kfds, fdslen * sizeof(int));
1273457f7e23SEd Schouten 	if (error != 0) {
1274457f7e23SEd Schouten 		free(kfds, M_TEMP);
1275457f7e23SEd Schouten 		goto err_exit;
1276457f7e23SEd Schouten 	}
1277457f7e23SEd Schouten 	error = fdcopy_remapped(ofdp, kfds, fdslen, &args->fdp);
1278457f7e23SEd Schouten 	free(kfds, M_TEMP);
1279457f7e23SEd Schouten 	if (error != 0)
1280457f7e23SEd Schouten 		goto err_exit;
1281457f7e23SEd Schouten 
1282457f7e23SEd Schouten 	return (0);
1283457f7e23SEd Schouten err_exit:
1284457f7e23SEd Schouten 	exec_free_args(args);
1285457f7e23SEd Schouten 	return (error);
1286457f7e23SEd Schouten }
1287457f7e23SEd Schouten 
1288ec492b13SMark Johnston struct exec_args_kva {
1289ec492b13SMark Johnston 	vm_offset_t addr;
1290c6a4ba5aSMark Johnston 	u_int gen;
1291ec492b13SMark Johnston 	SLIST_ENTRY(exec_args_kva) next;
1292ec492b13SMark Johnston };
1293ec492b13SMark Johnston 
12942bf95012SAndrew Turner DPCPU_DEFINE_STATIC(struct exec_args_kva *, exec_args_kva);
1295ec492b13SMark Johnston 
1296ec492b13SMark Johnston static SLIST_HEAD(, exec_args_kva) exec_args_kva_freelist;
1297ec492b13SMark Johnston static struct mtx exec_args_kva_mtx;
1298c6a4ba5aSMark Johnston static u_int exec_args_gen;
1299ec492b13SMark Johnston 
1300ec492b13SMark Johnston static void
1301ec492b13SMark Johnston exec_prealloc_args_kva(void *arg __unused)
1302ec492b13SMark Johnston {
1303ec492b13SMark Johnston 	struct exec_args_kva *argkva;
1304ec492b13SMark Johnston 	u_int i;
1305ec492b13SMark Johnston 
1306ec492b13SMark Johnston 	SLIST_INIT(&exec_args_kva_freelist);
1307ec492b13SMark Johnston 	mtx_init(&exec_args_kva_mtx, "exec args kva", NULL, MTX_DEF);
1308ec492b13SMark Johnston 	for (i = 0; i < exec_map_entries; i++) {
1309ec492b13SMark Johnston 		argkva = malloc(sizeof(*argkva), M_PARGS, M_WAITOK);
1310ec492b13SMark Johnston 		argkva->addr = kmap_alloc_wait(exec_map, exec_map_entry_size);
1311c6a4ba5aSMark Johnston 		argkva->gen = exec_args_gen;
1312ec492b13SMark Johnston 		SLIST_INSERT_HEAD(&exec_args_kva_freelist, argkva, next);
1313ec492b13SMark Johnston 	}
1314ec492b13SMark Johnston }
1315ec492b13SMark Johnston SYSINIT(exec_args_kva, SI_SUB_EXEC, SI_ORDER_ANY, exec_prealloc_args_kva, NULL);
1316ec492b13SMark Johnston 
1317ec492b13SMark Johnston static vm_offset_t
1318ec492b13SMark Johnston exec_alloc_args_kva(void **cookie)
1319ec492b13SMark Johnston {
1320ec492b13SMark Johnston 	struct exec_args_kva *argkva;
1321ec492b13SMark Johnston 
1322ec492b13SMark Johnston 	argkva = (void *)atomic_readandclear_ptr(
1323ec492b13SMark Johnston 	    (uintptr_t *)DPCPU_PTR(exec_args_kva));
1324ec492b13SMark Johnston 	if (argkva == NULL) {
1325ec492b13SMark Johnston 		mtx_lock(&exec_args_kva_mtx);
1326ec492b13SMark Johnston 		while ((argkva = SLIST_FIRST(&exec_args_kva_freelist)) == NULL)
1327ec492b13SMark Johnston 			(void)mtx_sleep(&exec_args_kva_freelist,
1328ec492b13SMark Johnston 			    &exec_args_kva_mtx, 0, "execkva", 0);
1329ec492b13SMark Johnston 		SLIST_REMOVE_HEAD(&exec_args_kva_freelist, next);
1330ec492b13SMark Johnston 		mtx_unlock(&exec_args_kva_mtx);
1331ec492b13SMark Johnston 	}
1332*f1c3adefSMark Johnston 	kasan_mark((void *)argkva->addr, exec_map_entry_size,
1333*f1c3adefSMark Johnston 	    exec_map_entry_size, 0);
1334ec492b13SMark Johnston 	*(struct exec_args_kva **)cookie = argkva;
1335ec492b13SMark Johnston 	return (argkva->addr);
1336ec492b13SMark Johnston }
1337ec492b13SMark Johnston 
1338ec492b13SMark Johnston static void
1339c6a4ba5aSMark Johnston exec_release_args_kva(struct exec_args_kva *argkva, u_int gen)
1340ec492b13SMark Johnston {
1341ec492b13SMark Johnston 	vm_offset_t base;
1342ec492b13SMark Johnston 
1343ec492b13SMark Johnston 	base = argkva->addr;
1344*f1c3adefSMark Johnston 	kasan_mark((void *)argkva->addr, 0, exec_map_entry_size,
1345*f1c3adefSMark Johnston 	    KASAN_EXEC_ARGS_FREED);
1346c6a4ba5aSMark Johnston 	if (argkva->gen != gen) {
13473e7cb27cSAlan Cox 		(void)vm_map_madvise(exec_map, base, base + exec_map_entry_size,
1348c6a4ba5aSMark Johnston 		    MADV_FREE);
1349c6a4ba5aSMark Johnston 		argkva->gen = gen;
1350c6a4ba5aSMark Johnston 	}
1351ec492b13SMark Johnston 	if (!atomic_cmpset_ptr((uintptr_t *)DPCPU_PTR(exec_args_kva),
1352ec492b13SMark Johnston 	    (uintptr_t)NULL, (uintptr_t)argkva)) {
1353ec492b13SMark Johnston 		mtx_lock(&exec_args_kva_mtx);
1354ec492b13SMark Johnston 		SLIST_INSERT_HEAD(&exec_args_kva_freelist, argkva, next);
1355ec492b13SMark Johnston 		wakeup_one(&exec_args_kva_freelist);
1356ec492b13SMark Johnston 		mtx_unlock(&exec_args_kva_mtx);
1357ec492b13SMark Johnston 	}
1358ec492b13SMark Johnston }
1359ec492b13SMark Johnston 
1360c6a4ba5aSMark Johnston static void
1361c6a4ba5aSMark Johnston exec_free_args_kva(void *cookie)
1362c6a4ba5aSMark Johnston {
1363c6a4ba5aSMark Johnston 
1364c6a4ba5aSMark Johnston 	exec_release_args_kva(cookie, exec_args_gen);
1365c6a4ba5aSMark Johnston }
1366c6a4ba5aSMark Johnston 
1367c6a4ba5aSMark Johnston static void
1368c6a4ba5aSMark Johnston exec_args_kva_lowmem(void *arg __unused)
1369c6a4ba5aSMark Johnston {
1370c6a4ba5aSMark Johnston 	SLIST_HEAD(, exec_args_kva) head;
1371c6a4ba5aSMark Johnston 	struct exec_args_kva *argkva;
1372c6a4ba5aSMark Johnston 	u_int gen;
1373c6a4ba5aSMark Johnston 	int i;
1374c6a4ba5aSMark Johnston 
1375c6a4ba5aSMark Johnston 	gen = atomic_fetchadd_int(&exec_args_gen, 1) + 1;
1376c6a4ba5aSMark Johnston 
1377c6a4ba5aSMark Johnston 	/*
1378c6a4ba5aSMark Johnston 	 * Force an madvise of each KVA range. Any currently allocated ranges
1379c6a4ba5aSMark Johnston 	 * will have MADV_FREE applied once they are freed.
1380c6a4ba5aSMark Johnston 	 */
1381c6a4ba5aSMark Johnston 	SLIST_INIT(&head);
1382c6a4ba5aSMark Johnston 	mtx_lock(&exec_args_kva_mtx);
1383c6a4ba5aSMark Johnston 	SLIST_SWAP(&head, &exec_args_kva_freelist, exec_args_kva);
1384c6a4ba5aSMark Johnston 	mtx_unlock(&exec_args_kva_mtx);
1385c6a4ba5aSMark Johnston 	while ((argkva = SLIST_FIRST(&head)) != NULL) {
1386c6a4ba5aSMark Johnston 		SLIST_REMOVE_HEAD(&head, next);
1387c6a4ba5aSMark Johnston 		exec_release_args_kva(argkva, gen);
1388c6a4ba5aSMark Johnston 	}
1389c6a4ba5aSMark Johnston 
1390c6a4ba5aSMark Johnston 	CPU_FOREACH(i) {
1391c6a4ba5aSMark Johnston 		argkva = (void *)atomic_readandclear_ptr(
1392c6a4ba5aSMark Johnston 		    (uintptr_t *)DPCPU_ID_PTR(i, exec_args_kva));
1393c6a4ba5aSMark Johnston 		if (argkva != NULL)
1394c6a4ba5aSMark Johnston 			exec_release_args_kva(argkva, gen);
1395c6a4ba5aSMark Johnston 	}
1396c6a4ba5aSMark Johnston }
1397c6a4ba5aSMark Johnston EVENTHANDLER_DEFINE(vm_lowmem, exec_args_kva_lowmem, NULL,
1398c6a4ba5aSMark Johnston     EVENTHANDLER_PRI_ANY);
1399c6a4ba5aSMark Johnston 
14002af6e14dSAlan Cox /*
14012af6e14dSAlan Cox  * Allocate temporary demand-paged, zero-filled memory for the file name,
1402ec492b13SMark Johnston  * argument, and environment strings.
14032af6e14dSAlan Cox  */
14042af6e14dSAlan Cox int
14052af6e14dSAlan Cox exec_alloc_args(struct image_args *args)
14062af6e14dSAlan Cox {
14072af6e14dSAlan Cox 
1408ec492b13SMark Johnston 	args->buf = (char *)exec_alloc_args_kva(&args->bufkva);
1409ec492b13SMark Johnston 	return (0);
14102af6e14dSAlan Cox }
14112af6e14dSAlan Cox 
141269a8f9e3SAlan Cox void
1413610ecfe0SMaxim Sobolev exec_free_args(struct image_args *args)
1414610ecfe0SMaxim Sobolev {
1415610ecfe0SMaxim Sobolev 
141669a8f9e3SAlan Cox 	if (args->buf != NULL) {
1417ec492b13SMark Johnston 		exec_free_args_kva(args->bufkva);
1418610ecfe0SMaxim Sobolev 		args->buf = NULL;
1419610ecfe0SMaxim Sobolev 	}
1420a14a9498SAlan Cox 	if (args->fname_buf != NULL) {
1421a14a9498SAlan Cox 		free(args->fname_buf, M_TEMP);
1422a14a9498SAlan Cox 		args->fname_buf = NULL;
1423a14a9498SAlan Cox 	}
1424457f7e23SEd Schouten 	if (args->fdp != NULL)
1425457f7e23SEd Schouten 		fdescfree_remapped(args->fdp);
1426610ecfe0SMaxim Sobolev }
1427610ecfe0SMaxim Sobolev 
142826f9a767SRodney W. Grimes /*
1429f373437aSBrooks Davis  * A set to functions to fill struct image args.
1430f373437aSBrooks Davis  *
1431f373437aSBrooks Davis  * NOTE: exec_args_add_fname() must be called (possibly with a NULL
1432f373437aSBrooks Davis  * fname) before the other functions.  All exec_args_add_arg() calls must
1433f373437aSBrooks Davis  * be made before any exec_args_add_env() calls.  exec_args_adjust_args()
1434f373437aSBrooks Davis  * may be called any time after exec_args_add_fname().
1435f373437aSBrooks Davis  *
1436f373437aSBrooks Davis  * exec_args_add_fname() - install path to be executed
1437f373437aSBrooks Davis  * exec_args_add_arg() - append an argument string
1438f373437aSBrooks Davis  * exec_args_add_env() - append an env string
1439f373437aSBrooks Davis  * exec_args_adjust_args() - adjust location of the argument list to
1440f373437aSBrooks Davis  *                           allow new arguments to be prepended
1441f373437aSBrooks Davis  */
1442f373437aSBrooks Davis int
1443f373437aSBrooks Davis exec_args_add_fname(struct image_args *args, const char *fname,
1444f373437aSBrooks Davis     enum uio_seg segflg)
1445f373437aSBrooks Davis {
1446f373437aSBrooks Davis 	int error;
1447f373437aSBrooks Davis 	size_t length;
1448f373437aSBrooks Davis 
1449f373437aSBrooks Davis 	KASSERT(args->fname == NULL, ("fname already appended"));
1450f373437aSBrooks Davis 	KASSERT(args->endp == NULL, ("already appending to args"));
1451f373437aSBrooks Davis 
1452f373437aSBrooks Davis 	if (fname != NULL) {
1453f373437aSBrooks Davis 		args->fname = args->buf;
1454f373437aSBrooks Davis 		error = segflg == UIO_SYSSPACE ?
1455f373437aSBrooks Davis 		    copystr(fname, args->fname, PATH_MAX, &length) :
1456f373437aSBrooks Davis 		    copyinstr(fname, args->fname, PATH_MAX, &length);
1457f373437aSBrooks Davis 		if (error != 0)
1458f373437aSBrooks Davis 			return (error == ENAMETOOLONG ? E2BIG : error);
1459f373437aSBrooks Davis 	} else
1460f373437aSBrooks Davis 		length = 0;
1461f373437aSBrooks Davis 
1462f373437aSBrooks Davis 	/* Set up for _arg_*()/_env_*() */
1463f373437aSBrooks Davis 	args->endp = args->buf + length;
1464f373437aSBrooks Davis 	/* begin_argv must be set and kept updated */
1465f373437aSBrooks Davis 	args->begin_argv = args->endp;
1466f373437aSBrooks Davis 	KASSERT(exec_map_entry_size - length >= ARG_MAX,
1467f373437aSBrooks Davis 	    ("too little space remaining for arguments %zu < %zu",
1468f373437aSBrooks Davis 	    exec_map_entry_size - length, (size_t)ARG_MAX));
1469f373437aSBrooks Davis 	args->stringspace = ARG_MAX;
1470f373437aSBrooks Davis 
1471f373437aSBrooks Davis 	return (0);
1472f373437aSBrooks Davis }
1473f373437aSBrooks Davis 
1474f373437aSBrooks Davis static int
1475f373437aSBrooks Davis exec_args_add_str(struct image_args *args, const char *str,
1476f373437aSBrooks Davis     enum uio_seg segflg, int *countp)
1477f373437aSBrooks Davis {
1478f373437aSBrooks Davis 	int error;
1479f373437aSBrooks Davis 	size_t length;
1480f373437aSBrooks Davis 
1481f373437aSBrooks Davis 	KASSERT(args->endp != NULL, ("endp not initialized"));
1482f373437aSBrooks Davis 	KASSERT(args->begin_argv != NULL, ("begin_argp not initialized"));
1483f373437aSBrooks Davis 
1484f373437aSBrooks Davis 	error = (segflg == UIO_SYSSPACE) ?
1485f373437aSBrooks Davis 	    copystr(str, args->endp, args->stringspace, &length) :
1486f373437aSBrooks Davis 	    copyinstr(str, args->endp, args->stringspace, &length);
1487f373437aSBrooks Davis 	if (error != 0)
1488f373437aSBrooks Davis 		return (error == ENAMETOOLONG ? E2BIG : error);
1489f373437aSBrooks Davis 	args->stringspace -= length;
1490f373437aSBrooks Davis 	args->endp += length;
1491f373437aSBrooks Davis 	(*countp)++;
1492f373437aSBrooks Davis 
1493f373437aSBrooks Davis 	return (0);
1494f373437aSBrooks Davis }
1495f373437aSBrooks Davis 
1496f373437aSBrooks Davis int
1497f373437aSBrooks Davis exec_args_add_arg(struct image_args *args, const char *argp,
1498f373437aSBrooks Davis     enum uio_seg segflg)
1499f373437aSBrooks Davis {
1500f373437aSBrooks Davis 
1501f373437aSBrooks Davis 	KASSERT(args->envc == 0, ("appending args after env"));
1502f373437aSBrooks Davis 
1503f373437aSBrooks Davis 	return (exec_args_add_str(args, argp, segflg, &args->argc));
1504f373437aSBrooks Davis }
1505f373437aSBrooks Davis 
1506f373437aSBrooks Davis int
1507f373437aSBrooks Davis exec_args_add_env(struct image_args *args, const char *envp,
1508f373437aSBrooks Davis     enum uio_seg segflg)
1509f373437aSBrooks Davis {
1510f373437aSBrooks Davis 
1511f373437aSBrooks Davis 	if (args->envc == 0)
1512f373437aSBrooks Davis 		args->begin_envv = args->endp;
1513f373437aSBrooks Davis 
1514f373437aSBrooks Davis 	return (exec_args_add_str(args, envp, segflg, &args->envc));
1515f373437aSBrooks Davis }
1516f373437aSBrooks Davis 
1517f373437aSBrooks Davis int
1518f373437aSBrooks Davis exec_args_adjust_args(struct image_args *args, size_t consume, ssize_t extend)
1519f373437aSBrooks Davis {
1520f373437aSBrooks Davis 	ssize_t offset;
1521f373437aSBrooks Davis 
1522f373437aSBrooks Davis 	KASSERT(args->endp != NULL, ("endp not initialized"));
1523f373437aSBrooks Davis 	KASSERT(args->begin_argv != NULL, ("begin_argp not initialized"));
1524f373437aSBrooks Davis 
1525f373437aSBrooks Davis 	offset = extend - consume;
1526f373437aSBrooks Davis 	if (args->stringspace < offset)
1527f373437aSBrooks Davis 		return (E2BIG);
1528f373437aSBrooks Davis 	memmove(args->begin_argv + extend, args->begin_argv + consume,
1529f373437aSBrooks Davis 	    args->endp - args->begin_argv + consume);
1530f373437aSBrooks Davis 	if (args->envc > 0)
1531f373437aSBrooks Davis 		args->begin_envv += offset;
1532f373437aSBrooks Davis 	args->endp += offset;
1533f373437aSBrooks Davis 	args->stringspace -= offset;
1534f373437aSBrooks Davis 	return (0);
1535f373437aSBrooks Davis }
1536f373437aSBrooks Davis 
1537f373437aSBrooks Davis char *
1538f373437aSBrooks Davis exec_args_get_begin_envv(struct image_args *args)
1539f373437aSBrooks Davis {
1540f373437aSBrooks Davis 
1541f373437aSBrooks Davis 	KASSERT(args->endp != NULL, ("endp not initialized"));
1542f373437aSBrooks Davis 
1543f373437aSBrooks Davis 	if (args->envc > 0)
1544f373437aSBrooks Davis 		return (args->begin_envv);
1545f373437aSBrooks Davis 	return (args->endp);
1546f373437aSBrooks Davis }
1547f373437aSBrooks Davis 
1548673e2dd6SKonstantin Belousov void
1549673e2dd6SKonstantin Belousov exec_stackgap(struct image_params *imgp, uintptr_t *dp)
1550673e2dd6SKonstantin Belousov {
1551673e2dd6SKonstantin Belousov 	if (imgp->sysent->sv_stackgap == NULL ||
1552673e2dd6SKonstantin Belousov 	    (imgp->proc->p_fctl0 & (NT_FREEBSD_FCTL_ASLR_DISABLE |
1553673e2dd6SKonstantin Belousov 	    NT_FREEBSD_FCTL_ASG_DISABLE)) != 0 ||
1554673e2dd6SKonstantin Belousov 	    (imgp->map_flags & MAP_ASLR) == 0)
1555673e2dd6SKonstantin Belousov 		return;
1556673e2dd6SKonstantin Belousov 	imgp->sysent->sv_stackgap(imgp, dp);
1557673e2dd6SKonstantin Belousov }
1558673e2dd6SKonstantin Belousov 
1559f373437aSBrooks Davis /*
1560873fbcd7SRobert Watson  * Copy strings out to the new process address space, constructing new arg
1561873fbcd7SRobert Watson  * and env vector tables. Return a pointer to the base so that it can be used
1562873fbcd7SRobert Watson  * as the initial stack pointer.
156326f9a767SRodney W. Grimes  */
156403b0d68cSJohn Baldwin int
156531174518SJohn Baldwin exec_copyout_strings(struct image_params *imgp, uintptr_t *stack_base)
156626f9a767SRodney W. Grimes {
156726f9a767SRodney W. Grimes 	int argc, envc;
156826f9a767SRodney W. Grimes 	char **vectp;
156988b124ceSKonstantin Belousov 	char *stringp;
157031174518SJohn Baldwin 	uintptr_t destp, ustringp;
157193f6448cSDavid Greenman 	struct ps_strings *arginfo;
1572f3bec5d7SJake Burkholder 	struct proc *p;
15733ff06357SKonstantin Belousov 	size_t execpath_len;
157403b0d68cSJohn Baldwin 	int error, 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;
1589397df744SBrooks Davis 	imgp->ps_strings = arginfo;
15906297a3d8SKonstantin Belousov 	if (p->p_sysent->sv_sigcode_base == 0) {
1591f3bec5d7SJake Burkholder 		if (p->p_sysent->sv_szsigcode != NULL)
1592f3bec5d7SJake Burkholder 			szsigcode = *(p->p_sysent->sv_szsigcode);
15936297a3d8SKonstantin Belousov 	}
159488b124ceSKonstantin Belousov 	destp =	(uintptr_t)arginfo;
15951ed012f9SPeter Wemm 
159626f9a767SRodney W. Grimes 	/*
1597d66a5066SPeter Wemm 	 * install sigcode
1598d66a5066SPeter Wemm 	 */
159988b124ceSKonstantin Belousov 	if (szsigcode != 0) {
160088b124ceSKonstantin Belousov 		destp -= szsigcode;
160188b124ceSKonstantin Belousov 		destp = rounddown2(destp, sizeof(void *));
160203b0d68cSJohn Baldwin 		error = copyout(p->p_sysent->sv_sigcode, (void *)destp,
160303b0d68cSJohn Baldwin 		    szsigcode);
160403b0d68cSJohn Baldwin 		if (error != 0)
160503b0d68cSJohn Baldwin 			return (error);
160688b124ceSKonstantin Belousov 	}
1607d66a5066SPeter Wemm 
1608d66a5066SPeter Wemm 	/*
16093ff06357SKonstantin Belousov 	 * Copy the image path for the rtld.
16103ff06357SKonstantin Belousov 	 */
16113ff06357SKonstantin Belousov 	if (execpath_len != 0) {
161288b124ceSKonstantin Belousov 		destp -= execpath_len;
1613d92da759SBrooks Davis 		destp = rounddown2(destp, sizeof(void *));
1614b24e6ac8SBrooks Davis 		imgp->execpathp = (void *)destp;
1615b24e6ac8SBrooks Davis 		error = copyout(imgp->execpath, imgp->execpathp, execpath_len);
161603b0d68cSJohn Baldwin 		if (error != 0)
161703b0d68cSJohn Baldwin 			return (error);
16183ff06357SKonstantin Belousov 	}
16193ff06357SKonstantin Belousov 
16203ff06357SKonstantin Belousov 	/*
1621ee235befSKonstantin Belousov 	 * Prepare the canary for SSP.
1622ee235befSKonstantin Belousov 	 */
1623ee235befSKonstantin Belousov 	arc4rand(canary, sizeof(canary), 0);
162488b124ceSKonstantin Belousov 	destp -= sizeof(canary);
1625b24e6ac8SBrooks Davis 	imgp->canary = (void *)destp;
1626b24e6ac8SBrooks Davis 	error = copyout(canary, imgp->canary, sizeof(canary));
162703b0d68cSJohn Baldwin 	if (error != 0)
162803b0d68cSJohn Baldwin 		return (error);
1629ee235befSKonstantin Belousov 	imgp->canarylen = sizeof(canary);
1630ee235befSKonstantin Belousov 
1631ee235befSKonstantin Belousov 	/*
1632ee235befSKonstantin Belousov 	 * Prepare the pagesizes array.
1633ee235befSKonstantin Belousov 	 */
163488b124ceSKonstantin Belousov 	destp -= szps;
163588b124ceSKonstantin Belousov 	destp = rounddown2(destp, sizeof(void *));
1636b24e6ac8SBrooks Davis 	imgp->pagesizes = (void *)destp;
1637b24e6ac8SBrooks Davis 	error = copyout(pagesizes, imgp->pagesizes, szps);
163803b0d68cSJohn Baldwin 	if (error != 0)
163903b0d68cSJohn Baldwin 		return (error);
1640ee235befSKonstantin Belousov 	imgp->pagesizeslen = szps;
1641ee235befSKonstantin Belousov 
164231174518SJohn Baldwin 	/*
164331174518SJohn Baldwin 	 * Allocate room for the argument and environment strings.
164431174518SJohn Baldwin 	 */
164588b124ceSKonstantin Belousov 	destp -= ARG_MAX - imgp->args->stringspace;
164688b124ceSKonstantin Belousov 	destp = rounddown2(destp, sizeof(void *));
164731174518SJohn Baldwin 	ustringp = destp;
164888b124ceSKonstantin Belousov 
1649673e2dd6SKonstantin Belousov 	exec_stackgap(imgp, &destp);
1650fc83c5a7SKonstantin Belousov 
165103b0d68cSJohn Baldwin 	if (imgp->auxargs) {
1652d8010b11SJohn Baldwin 		/*
1653d8010b11SJohn Baldwin 		 * Allocate room on the stack for the ELF auxargs
1654d8010b11SJohn Baldwin 		 * array.  It has up to AT_COUNT entries.
1655d8010b11SJohn Baldwin 		 */
1656d8010b11SJohn Baldwin 		destp -= AT_COUNT * sizeof(Elf_Auxinfo);
1657d8010b11SJohn Baldwin 		destp = rounddown2(destp, sizeof(void *));
165803b0d68cSJohn Baldwin 	}
165926f9a767SRodney W. Grimes 
166031174518SJohn Baldwin 	vectp = (char **)destp;
166131174518SJohn Baldwin 
166226f9a767SRodney W. Grimes 	/*
166373c8686eSJohn Baldwin 	 * Allocate room for the argv[] and env vectors including the
166473c8686eSJohn Baldwin 	 * terminating NULL pointers.
166573c8686eSJohn Baldwin 	 */
166673c8686eSJohn Baldwin 	vectp -= imgp->args->argc + 1 + imgp->args->envc + 1;
166773c8686eSJohn Baldwin 
166873c8686eSJohn Baldwin 	/*
166926f9a767SRodney W. Grimes 	 * vectp also becomes our initial stack base
167026f9a767SRodney W. Grimes 	 */
167131174518SJohn Baldwin 	*stack_base = (uintptr_t)vectp;
167226f9a767SRodney W. Grimes 
1673610ecfe0SMaxim Sobolev 	stringp = imgp->args->begin_argv;
1674610ecfe0SMaxim Sobolev 	argc = imgp->args->argc;
1675610ecfe0SMaxim Sobolev 	envc = imgp->args->envc;
167626f9a767SRodney W. Grimes 
167793f6448cSDavid Greenman 	/*
16783aed948bSDavid Greenman 	 * Copy out strings - arguments and environment.
167993f6448cSDavid Greenman 	 */
168031174518SJohn Baldwin 	error = copyout(stringp, (void *)ustringp,
168103b0d68cSJohn Baldwin 	    ARG_MAX - imgp->args->stringspace);
168203b0d68cSJohn Baldwin 	if (error != 0)
168303b0d68cSJohn Baldwin 		return (error);
168493f6448cSDavid Greenman 
168593f6448cSDavid Greenman 	/*
16863aed948bSDavid Greenman 	 * Fill in "ps_strings" struct for ps, w, etc.
16873aed948bSDavid Greenman 	 */
16889df1c38bSBrooks Davis 	imgp->argv = vectp;
168903b0d68cSJohn Baldwin 	if (suword(&arginfo->ps_argvstr, (long)(intptr_t)vectp) != 0 ||
169003b0d68cSJohn Baldwin 	    suword32(&arginfo->ps_nargvstr, argc) != 0)
169103b0d68cSJohn Baldwin 		return (EFAULT);
16923aed948bSDavid Greenman 
16933aed948bSDavid Greenman 	/*
16943aed948bSDavid Greenman 	 * Fill in argument portion of vector table.
169593f6448cSDavid Greenman 	 */
169626f9a767SRodney W. Grimes 	for (; argc > 0; --argc) {
169731174518SJohn Baldwin 		if (suword(vectp++, ustringp) != 0)
169803b0d68cSJohn Baldwin 			return (EFAULT);
16993aed948bSDavid Greenman 		while (*stringp++ != 0)
170031174518SJohn Baldwin 			ustringp++;
170131174518SJohn Baldwin 		ustringp++;
170226f9a767SRodney W. Grimes 	}
170326f9a767SRodney W. Grimes 
17041a6e52d0SJeroen Ruigrok van der Werven 	/* a null vector table pointer separates the argp's from the envp's */
170503b0d68cSJohn Baldwin 	if (suword(vectp++, 0) != 0)
170603b0d68cSJohn Baldwin 		return (EFAULT);
170726f9a767SRodney W. Grimes 
17089df1c38bSBrooks Davis 	imgp->envv = vectp;
170903b0d68cSJohn Baldwin 	if (suword(&arginfo->ps_envstr, (long)(intptr_t)vectp) != 0 ||
171003b0d68cSJohn Baldwin 	    suword32(&arginfo->ps_nenvstr, envc) != 0)
171103b0d68cSJohn Baldwin 		return (EFAULT);
171293f6448cSDavid Greenman 
171393f6448cSDavid Greenman 	/*
17143aed948bSDavid Greenman 	 * Fill in environment portion of vector table.
171593f6448cSDavid Greenman 	 */
171626f9a767SRodney W. Grimes 	for (; envc > 0; --envc) {
171731174518SJohn Baldwin 		if (suword(vectp++, ustringp) != 0)
171803b0d68cSJohn Baldwin 			return (EFAULT);
17193aed948bSDavid Greenman 		while (*stringp++ != 0)
172031174518SJohn Baldwin 			ustringp++;
172131174518SJohn Baldwin 		ustringp++;
172226f9a767SRodney W. Grimes 	}
172326f9a767SRodney W. Grimes 
172426f9a767SRodney W. Grimes 	/* end of vector table is a null pointer */
172503b0d68cSJohn Baldwin 	if (suword(vectp, 0) != 0)
172603b0d68cSJohn Baldwin 		return (EFAULT);
172726f9a767SRodney W. Grimes 
1728d8010b11SJohn Baldwin 	if (imgp->auxargs) {
1729d8010b11SJohn Baldwin 		vectp++;
1730d8010b11SJohn Baldwin 		error = imgp->sysent->sv_copyout_auxargs(imgp,
1731d8010b11SJohn Baldwin 		    (uintptr_t)vectp);
1732d8010b11SJohn Baldwin 		if (error != 0)
1733d8010b11SJohn Baldwin 			return (error);
1734d8010b11SJohn Baldwin 	}
1735d8010b11SJohn Baldwin 
173603b0d68cSJohn Baldwin 	return (0);
173726f9a767SRodney W. Grimes }
173826f9a767SRodney W. Grimes 
173926f9a767SRodney W. Grimes /*
174026f9a767SRodney W. Grimes  * Check permissions of file to execute.
1741cf64863aSRobert Watson  *	Called with imgp->vp locked.
174226f9a767SRodney W. Grimes  *	Return 0 for success or error code on failure.
174326f9a767SRodney W. Grimes  */
1744c8a79999SPeter Wemm int
17453e85b721SEd Maste exec_check_permissions(struct image_params *imgp)
174626f9a767SRodney W. Grimes {
1747c52007c2SDavid Greenman 	struct vnode *vp = imgp->vp;
1748c52007c2SDavid Greenman 	struct vattr *attr = imgp->attr;
1749a854ed98SJohn Baldwin 	struct thread *td;
175078022527SKonstantin Belousov 	int error;
175126f9a767SRodney W. Grimes 
17526617724cSJeff Roberson 	td = curthread;
1753339b79b9SRobert Watson 
1754ec35c2afSRobert Watson 	/* Get file attributes */
17550359a12eSAttilio Rao 	error = VOP_GETATTR(vp, attr, td->td_ucred);
1756ec35c2afSRobert Watson 	if (error)
1757ec35c2afSRobert Watson 		return (error);
1758ec35c2afSRobert Watson 
1759339b79b9SRobert Watson #ifdef MAC
176030d239bcSRobert Watson 	error = mac_vnode_check_exec(td->td_ucred, imgp->vp, imgp);
1761339b79b9SRobert Watson 	if (error)
1762339b79b9SRobert Watson 		return (error);
1763339b79b9SRobert Watson #endif
1764339b79b9SRobert Watson 
176526f9a767SRodney W. Grimes 	/*
1766de478dd4SJaakko Heinonen 	 * 1) Check if file execution is disabled for the filesystem that
1767de478dd4SJaakko Heinonen 	 *    this file resides on.
1768de478dd4SJaakko Heinonen 	 * 2) Ensure that at least one execute bit is on. Otherwise, a
1769de478dd4SJaakko Heinonen 	 *    privileged user will always succeed, and we don't want this
1770de478dd4SJaakko Heinonen 	 *    to happen unless the file really is executable.
1771de478dd4SJaakko Heinonen 	 * 3) Ensure that the file is a regular file.
177226f9a767SRodney W. Grimes 	 */
1773c52007c2SDavid Greenman 	if ((vp->v_mount->mnt_flag & MNT_NOEXEC) ||
1774de478dd4SJaakko Heinonen 	    (attr->va_mode & (S_IXUSR | S_IXGRP | S_IXOTH)) == 0 ||
1775a854ed98SJohn Baldwin 	    (attr->va_type != VREG))
177626f9a767SRodney W. Grimes 		return (EACCES);
177726f9a767SRodney W. Grimes 
177826f9a767SRodney W. Grimes 	/*
177926f9a767SRodney W. Grimes 	 * Zero length files can't be exec'd
178026f9a767SRodney W. Grimes 	 */
178126f9a767SRodney W. Grimes 	if (attr->va_size == 0)
178226f9a767SRodney W. Grimes 		return (ENOEXEC);
178326f9a767SRodney W. Grimes 
178426f9a767SRodney W. Grimes 	/*
178526f9a767SRodney W. Grimes 	 *  Check for execute permission to file based on current credentials.
178626f9a767SRodney W. Grimes 	 */
1787a854ed98SJohn Baldwin 	error = VOP_ACCESS(vp, VEXEC, td->td_ucred, td);
178826f9a767SRodney W. Grimes 	if (error)
178926f9a767SRodney W. Grimes 		return (error);
179026f9a767SRodney W. Grimes 
17916d5a0a8cSDavid Greenman 	/*
17926d5a0a8cSDavid Greenman 	 * Check number of open-for-writes on the file and deny execution
17936d5a0a8cSDavid Greenman 	 * if there are any.
179478022527SKonstantin Belousov 	 *
179578022527SKonstantin Belousov 	 * Add a text reference now so no one can write to the
179678022527SKonstantin Belousov 	 * executable while we're activating it.
179778022527SKonstantin Belousov 	 *
179878022527SKonstantin Belousov 	 * Remember if this was set before and unset it in case this is not
179978022527SKonstantin Belousov 	 * actually an executable image.
18006d5a0a8cSDavid Greenman 	 */
180178022527SKonstantin Belousov 	error = VOP_SET_TEXT(vp);
1802140dedb8SKonstantin Belousov 	if (error != 0)
1803140dedb8SKonstantin Belousov 		return (error);
180478022527SKonstantin Belousov 	imgp->textset = true;
18056d5a0a8cSDavid Greenman 
18066d5a0a8cSDavid Greenman 	/*
18076d5a0a8cSDavid Greenman 	 * Call filesystem specific open routine (which does nothing in the
18086d5a0a8cSDavid Greenman 	 * general case).
18096d5a0a8cSDavid Greenman 	 */
18109e223287SKonstantin Belousov 	error = VOP_OPEN(vp, FREAD, td->td_ucred, td, NULL);
18119a75ea23SKonstantin Belousov 	if (error == 0)
18129a75ea23SKonstantin Belousov 		imgp->opened = 1;
181326f9a767SRodney W. Grimes 	return (error);
1814df8bae1dSRodney W. Grimes }
1815aa855a59SPeter Wemm 
1816aa855a59SPeter Wemm /*
1817aa855a59SPeter Wemm  * Exec handler registration
1818aa855a59SPeter Wemm  */
1819aa855a59SPeter Wemm int
18203e85b721SEd Maste exec_register(const struct execsw *execsw_arg)
1821aa855a59SPeter Wemm {
1822aa855a59SPeter Wemm 	const struct execsw **es, **xs, **newexecsw;
1823d821d364SPedro F. Giffuni 	u_int count = 2;	/* New slot and trailing NULL */
1824aa855a59SPeter Wemm 
1825aa855a59SPeter Wemm 	if (execsw)
1826aa855a59SPeter Wemm 		for (es = execsw; *es; es++)
1827aa855a59SPeter Wemm 			count++;
1828a163d034SWarner Losh 	newexecsw = malloc(count * sizeof(*es), M_TEMP, M_WAITOK);
1829aa855a59SPeter Wemm 	xs = newexecsw;
1830aa855a59SPeter Wemm 	if (execsw)
1831aa855a59SPeter Wemm 		for (es = execsw; *es; es++)
1832aa855a59SPeter Wemm 			*xs++ = *es;
1833aa855a59SPeter Wemm 	*xs++ = execsw_arg;
1834aa855a59SPeter Wemm 	*xs = NULL;
1835aa855a59SPeter Wemm 	if (execsw)
1836aa855a59SPeter Wemm 		free(execsw, M_TEMP);
1837aa855a59SPeter Wemm 	execsw = newexecsw;
1838a7cddfedSJake Burkholder 	return (0);
1839aa855a59SPeter Wemm }
1840aa855a59SPeter Wemm 
1841aa855a59SPeter Wemm int
18423e85b721SEd Maste exec_unregister(const struct execsw *execsw_arg)
1843aa855a59SPeter Wemm {
1844aa855a59SPeter Wemm 	const struct execsw **es, **xs, **newexecsw;
1845aa855a59SPeter Wemm 	int count = 1;
1846aa855a59SPeter Wemm 
1847aa855a59SPeter Wemm 	if (execsw == NULL)
1848aa855a59SPeter Wemm 		panic("unregister with no handlers left?\n");
1849aa855a59SPeter Wemm 
1850aa855a59SPeter Wemm 	for (es = execsw; *es; es++) {
1851aa855a59SPeter Wemm 		if (*es == execsw_arg)
1852aa855a59SPeter Wemm 			break;
1853aa855a59SPeter Wemm 	}
1854aa855a59SPeter Wemm 	if (*es == NULL)
1855a7cddfedSJake Burkholder 		return (ENOENT);
1856aa855a59SPeter Wemm 	for (es = execsw; *es; es++)
1857aa855a59SPeter Wemm 		if (*es != execsw_arg)
1858aa855a59SPeter Wemm 			count++;
1859a163d034SWarner Losh 	newexecsw = malloc(count * sizeof(*es), M_TEMP, M_WAITOK);
1860aa855a59SPeter Wemm 	xs = newexecsw;
1861aa855a59SPeter Wemm 	for (es = execsw; *es; es++)
1862aa855a59SPeter Wemm 		if (*es != execsw_arg)
1863aa855a59SPeter Wemm 			*xs++ = *es;
1864aa855a59SPeter Wemm 	*xs = NULL;
1865aa855a59SPeter Wemm 	if (execsw)
1866aa855a59SPeter Wemm 		free(execsw, M_TEMP);
1867aa855a59SPeter Wemm 	execsw = newexecsw;
1868a7cddfedSJake Burkholder 	return (0);
1869aa855a59SPeter Wemm }
1870