Page MenuHomeFreeBSD
Differential D36480

wtap(4): write atf test scripts to test all iface mode
Needs ReviewPublic
Actions

Authored by enweiwu on Sep 7 2022, 12:09 PM.
Tags
Referenced Files
F115318857: D36480.id110948.diff
Tue, Apr 22, 1:25 PM
Unknown Object (File)
Sun, Apr 6, 3:52 AM
Unknown Object (File)
Mar 19 2025, 12:26 PM
Unknown Object (File)
Feb 28 2025, 2:51 PM
Unknown Object (File)
Feb 24 2025, 10:00 PM
Unknown Object (File)
Feb 24 2025, 9:02 PM
Unknown Object (File)
Feb 24 2025, 5:22 PM
Unknown Object (File)
Feb 24 2025, 5:50 AM
View All 70 Files
Subscribers
glebius
imp
melifaro
wireless

Details

Reviewers
lwhsu
bz
adrian
cy
cc
Summary

Below is the planned commit.

Test script locates in tests/sys/net80211, which is written in atf-sh(3), and it can test parts of net80211 stack via interfaces created by wtap(4).

The test script needs tools/tools/wtap, which makes the test not self-contained, I'm discussing with Li-Wen Hsu to figure out the better way to address it.

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped

Event Timeline

enweiwu created this revision.Sep 7 2022, 12:09 PM
Herald added subscribers: glebius, melifaro, imp. · View Herald TranscriptSep 7 2022, 12:09 PM
enweiwu requested review of this revision.Sep 7 2022, 12:09 PM
lwhsu added a comment.Sep 7 2022, 4:33 PM

We also need to add this directory to tests/sys/Makefile

tests/sys/net80211/sta_assoc.c
4

This line is not needed.

lwhsu added a comment.Sep 7 2022, 4:36 PM

For the record, we're thinking to move the tools to /usr/sbin as wtapctl(8).

lwhsu added inline comments.Sep 7 2022, 4:38 PM
tests/sys/net80211/sta_assoc.c
17

Sneaked line from copy/paste?

tests/sys/net80211/wtap.sh
2

This line add be added automatically when being installed to /usr/tests

2

s/add be/will be/

enweiwu updated this revision to Diff 110948.Sep 25 2022, 1:48 PM
lwhsu added a reviewer: cc.Feb 20 2024, 3:46 PM

Revision Contents
Changeset List

PathSize
tests/
sys/
1 line
net80211/
15 lines
90 lines
425 lines

Diff 110948

View Options

tests/sys/Makefile

Show First 20 Lines • Show All 333 Lines • ▼ Show 20 Lines
* exit procedure pointer and the third to a place to store the main * exit procedure pointer and the third to a place to store the main
* program's object. * program's object.
* *
* The return value is the main program's entry point. * The return value is the main program's entry point.
*/ */
func_ptr_type func_ptr_type
_rtld(Elf_Addr *sp, func_ptr_type *exit_proc, Obj_Entry **objp) _rtld(Elf_Addr *sp, func_ptr_type *exit_proc, Obj_Entry **objp)
{ {
Elf_Auxinfo *aux, *auxp, *aux_info[AT_COUNT]; Elf_Auxinfo *aux, *auxp, *auxpf, *aux_info[AT_COUNT];
Objlist_Entry *entry; Objlist_Entry *entry;
Obj_Entry *last_interposer, *obj, *preload_tail; Obj_Entry *last_interposer, *obj, *preload_tail;
const Elf_Phdr *phdr; const Elf_Phdr *phdr;
Objlist initlist; Objlist initlist;
RtldLockState lockstate; RtldLockState lockstate;
char **argv, *argv0, **env, *kexecpath, *library_path_rpath; Elf_Addr *argcp;
char **argv, *argv0, **env, **envp, *kexecpath, *library_path_rpath;
caddr_t imgentry; caddr_t imgentry;
char buf[MAXPATHLEN]; char buf[MAXPATHLEN];
int argc, fd, i, mib[2], phnum; int argc, fd, i, mib[2], phnum;
size_t len; size_t len;
emasteUnsubmitted
Not Done
Inline Actions

Perhaps commit the re-sorting independently first?

emaste: Perhaps commit the re-sorting independently first?
kibAuthorUnsubmitted
Not Done
Inline Actions

This is not just resorting, I moved locals from the nested blocks and added some variables as well.

I can produce separate patch to reorder existing local section, but the bits in the patch are not extractable.

kib: This is not just resorting, I moved locals from the nested blocks and added some variables as…
emasteUnsubmitted
Not Done
Inline Actions

Right, I mean there is both resorting and other changes and I think the resorting part could be committed by itself - it would make it more clear what the other changes are.

emaste: Right, I mean there is both resorting and other changes and I think the resorting part could be…
/* /*
* On entry, the dynamic linker itself has not been relocated yet. * On entry, the dynamic linker itself has not been relocated yet.
* Be very careful not to reference any global data until after * Be very careful not to reference any global data until after
* init_rtld has returned. It is OK to reference file-scope statics * init_rtld has returned. It is OK to reference file-scope statics
* and string constants, and to call static and global functions. * and string constants, and to call static and global functions.
*/ */
/* Find the auxiliary vector on the stack. */ /* Find the auxiliary vector on the stack. */
argcp = sp;
argc = *sp++; argc = *sp++;
argv = (char **) sp; argv = (char **) sp;
sp += argc + 1; /* Skip over arguments and NULL terminator */ sp += argc + 1; /* Skip over arguments and NULL terminator */
env = (char **) sp; env = (char **) sp;
while (*sp++ != 0) /* Skip over environment, and NULL terminator */ while (*sp++ != 0) /* Skip over environment, and NULL terminator */
; ;
aux = (Elf_Auxinfo *) sp; aux = (Elf_Auxinfo *) sp;
/* Digest the auxiliary vector. */ /* Digest the auxiliary vector. */
for (i = 0; i < AT_COUNT; i++) for (i = 0; i < AT_COUNT; i++)
aux_info[i] = NULL; aux_info[i] = NULL;
for (auxp = aux; auxp->a_type != AT_NULL; auxp++) { for (auxp = aux; auxp->a_type != AT_NULL; auxp++) {
if (auxp->a_type < AT_COUNT) if (auxp->a_type < AT_COUNT)
aux_info[auxp->a_type] = auxp; aux_info[auxp->a_type] = auxp;
} }
/* Initialize and relocate ourselves. */ /* Initialize and relocate ourselves. */
assert(aux_info[AT_BASE] != NULL); assert(aux_info[AT_BASE] != NULL);
emasteUnsubmitted
Not Done
Inline Actions

With the patch this assert triggers via

% /libexec/ld-elf.so.1 /libexec/ld-elf.so.1
ld-elf.so.1: assert failed: /usr/home/emaste/src/freebsd/libexec/rtld-elf/rtld.c:381
emaste: With the patch this assert triggers via ``` % /libexec/ld-elf.so.1 /libexec/ld-elf.so.1 ld-elf.
init_rtld((caddr_t) aux_info[AT_BASE]->a_un.a_ptr, aux_info); init_rtld((caddr_t) aux_info[AT_BASE]->a_un.a_ptr, aux_info);
__progname = obj_rtld.path; __progname = obj_rtld.path;
argv0 = argv[0] != NULL ? argv[0] : "(null)"; argv0 = argv[0] != NULL ? argv[0] : "(null)";
environ = env; environ = env;
main_argc = argc; main_argc = argc;
main_argv = argv; main_argv = argv;
Show All 17 Lines if (sysctl(mib, 2, __stack_chk_guard, &len, NULL, 0) == -1 ||
((unsigned char *)(void *)__stack_chk_guard)[3] = 255; ((unsigned char *)(void *)__stack_chk_guard)[3] = 255;
} }
} }
trust = !issetugid(); trust = !issetugid();
md_abi_variant_hook(aux_info); md_abi_variant_hook(aux_info);
fd = -1;
if (aux_info[AT_EXECFD] != NULL) {
fd = aux_info[AT_EXECFD]->a_un.a_val;
} else {
assert(aux_info[AT_PHDR] != NULL);
phdr = (const Elf_Phdr *)aux_info[AT_PHDR]->a_un.a_ptr;
if (phdr == obj_rtld.phdr) {
dbg("opening main program in direct exec mode");
if (argc >= 2) {
argv0 = argv[1];
fd = open(argv0, O_RDONLY | O_CLOEXEC | O_VERIFY);
if (fd == -1) {
rtld_printf("Opening %s: %s\n", argv0,
rtld_strerror(errno));
rtld_die();
}
/*
* For direct exec mode, argv[0] is the interpreter
* name, we must remove it and shift arguments left by
* 1 before invoking binary main. Since stack layout
* places environment pointers and aux vectors right
* after the terminating NULL, we must shift
* environment and aux as well.
* XXX Shift will be > 1 when options are implemented.
*/
do {
*argv = *(argv + 1);
argv++;
} while (*argv != 0);
emasteUnsubmitted
Done
Inline Actions

!= NULL?

also envp below

emaste: `!= NULL`? also envp below
*argcp -= 1;
main_argc = argc - 1;
environ = env = envp = argv;
do {
*envp = *(envp + 1);
envp++;
} while (*envp != 0);
aux = auxp = (Elf_Auxinfo *)envp;
auxpf = (Elf_Auxinfo *)(envp + 1);
for (;; auxp++, auxpf++) {
*auxp = *auxpf;
if (auxp->a_type == AT_NULL)
break;
}
} else {
rtld_printf("no binary\n");
rtld_die();
}
}
}
ld_bind_now = getenv(_LD("BIND_NOW")); ld_bind_now = getenv(_LD("BIND_NOW"));
/* /*
* If the process is tainted, then we un-set the dangerous environment * If the process is tainted, then we un-set the dangerous environment
* variables. The process will be marked as tainted until setuid(2) * variables. The process will be marked as tainted until setuid(2)
* is called. If any child process calls setuid(2) we do not want any * is called. If any child process calls setuid(2) we do not want any
* future processes to honor the potentially un-safe variables. * future processes to honor the potentially un-safe variables.
*/ */
▲ Show 20 Lines • Show All 44 Lines • ▼ Show 20 Lines (caddr_t) aux_info[AT_BASE]->a_un.a_ptr);
dbg("initializing thread locks"); dbg("initializing thread locks");
lockdflt_init(); lockdflt_init();
/* /*
* Load the main program, or process its program header if it is * Load the main program, or process its program header if it is
* already loaded. * already loaded.
*/ */
if (aux_info[AT_EXECFD] != NULL) { /* Load the main program. */ if (fd != -1) { /* Load the main program. */
fd = aux_info[AT_EXECFD]->a_un.a_val;
dbg("loading main program"); dbg("loading main program");
obj_main = map_object(fd, argv0, NULL); obj_main = map_object(fd, argv0, NULL);
close(fd); close(fd);
emasteUnsubmitted
Not Done
Inline Actions

extra space before aux_info?

emaste: extra space before `aux_info`?
if (obj_main == NULL) if (obj_main == NULL)
rtld_die(); rtld_die();
max_stack_flags = obj->stack_flags; max_stack_flags = obj->stack_flags;
} else { /* Main program already loaded. */ } else { /* Main program already loaded. */
dbg("processing main program's program header"); dbg("processing main program's program header");
assert(aux_info[AT_PHDR] != NULL); assert(aux_info[AT_PHDR] != NULL);
emasteUnsubmitted
Not Done
Inline Actions

As an aside it seems O_VERIFY is not documented in open.2. I see that this came from https://github.com/freebsd/freebsd/pull/27 - paging @stevek

Also, what happens if we try to ld-elf.so.1 foo where foo has ---x--x--x perms?

emaste: As an aside it seems `O_VERIFY` is not documented in `open.2`. I see that this came from https…
kibAuthorUnsubmitted
Not Done
Inline Actions

It is something internal from J that got committed but never get the flesh in our repository.

kib: It is something internal from J that got committed but never get the flesh in our repository.
stevekUnsubmitted
Not Done
Inline Actions

See D2902, which has the changes. I guess after all this time people have had enough time to comment. I'll see about committing that set of changes.

stevek: See D2902, which has the changes. I guess after all this time people have had enough time to…
emasteUnsubmitted
Not Done
Inline Actions

Ah. I added a comment in there - I'd suggest we should go ahead with the open.2 changes right now, since the corresponding source changes were made some time ago, and follow up with a D2902 rebase.

emaste: Ah. I added a comment in there - I'd suggest we should go ahead with the open.2 changes right…
stevekUnsubmitted
Not Done
Inline Actions

Sure, makes sense. I committed just the open.2 change and will rebase D2902.

stevek: Sure, makes sense. I committed just the open.2 change and will rebase D2902.
phdr = (const Elf_Phdr *) aux_info[AT_PHDR]->a_un.a_ptr; phdr = (const Elf_Phdr *) aux_info[AT_PHDR]->a_un.a_ptr;
assert(aux_info[AT_PHNUM] != NULL); assert(aux_info[AT_PHNUM] != NULL);
phnum = aux_info[AT_PHNUM]->a_un.a_val; phnum = aux_info[AT_PHNUM]->a_un.a_val;
assert(aux_info[AT_PHENT] != NULL); assert(aux_info[AT_PHENT] != NULL);
assert(aux_info[AT_PHENT]->a_un.a_val == sizeof(Elf_Phdr)); assert(aux_info[AT_PHENT]->a_un.a_val == sizeof(Elf_Phdr));
assert(aux_info[AT_ENTRY] != NULL); assert(aux_info[AT_ENTRY] != NULL);
imgentry = (caddr_t) aux_info[AT_ENTRY]->a_un.a_ptr; imgentry = (caddr_t) aux_info[AT_ENTRY]->a_un.a_ptr;
if ((obj_main = digest_phdr(phdr, phnum, imgentry, argv0)) == NULL) if ((obj_main = digest_phdr(phdr, phnum, imgentry, argv0)) == NULL)
emasteUnsubmitted
Not Done
Inline Actions

I think this comment could be expanded a bit to separately explain main_arg[cv] and the argv/envp/auxp manipulation that follows it.

emaste: I think this comment could be expanded a bit to separately explain main_arg[cv] and the…
rtld_die(); rtld_die();
} }
if (aux_info[AT_EXECPATH] != NULL) { if (aux_info[AT_EXECPATH] != NULL && fd == -1) {
kexecpath = aux_info[AT_EXECPATH]->a_un.a_ptr; kexecpath = aux_info[AT_EXECPATH]->a_un.a_ptr;
dbg("AT_EXECPATH %p %s", kexecpath, kexecpath); dbg("AT_EXECPATH %p %s", kexecpath, kexecpath);
if (kexecpath[0] == '/') if (kexecpath[0] == '/')
obj_main->path = kexecpath; obj_main->path = kexecpath;
else if (getcwd(buf, sizeof(buf)) == NULL || else if (getcwd(buf, sizeof(buf)) == NULL ||
strlcat(buf, "/", sizeof(buf)) >= sizeof(buf) || strlcat(buf, "/", sizeof(buf)) >= sizeof(buf) ||
strlcat(buf, kexecpath, sizeof(buf)) >= sizeof(buf)) strlcat(buf, kexecpath, sizeof(buf)) >= sizeof(buf))
obj_main->path = xstrdup(argv0); obj_main->path = xstrdup(argv0);
else else
obj_main->path = xstrdup(buf); obj_main->path = xstrdup(buf);
} else { } else {
dbg("No AT_EXECPATH"); dbg("No AT_EXECPATH or direct exec");
obj_main->path = xstrdup(argv0); obj_main->path = xstrdup(argv0);
} }
dbg("obj_main path %s", obj_main->path); dbg("obj_main path %s", obj_main->path);
obj_main->mainprog = true; obj_main->mainprog = true;
if (aux_info[AT_STACKPROT] != NULL && if (aux_info[AT_STACKPROT] != NULL &&
aux_info[AT_STACKPROT]->a_un.a_val != 0) aux_info[AT_STACKPROT]->a_un.a_val != 0)
stack_prot = aux_info[AT_STACKPROT]->a_un.a_val; stack_prot = aux_info[AT_STACKPROT]->a_un.a_val;
▲ Show 20 Lines • Show All 4,764 Lines • Show Last 20 Lines
View Options

tests/sys/net80211/Makefile

Show First 20 Lines • Show All 333 Lines • ▼ Show 20 Lines
* exit procedure pointer and the third to a place to store the main * exit procedure pointer and the third to a place to store the main
* program's object. * program's object.
* *
* The return value is the main program's entry point. * The return value is the main program's entry point.
*/ */
func_ptr_type func_ptr_type
_rtld(Elf_Addr *sp, func_ptr_type *exit_proc, Obj_Entry **objp) _rtld(Elf_Addr *sp, func_ptr_type *exit_proc, Obj_Entry **objp)
{ {
Elf_Auxinfo *aux, *auxp, *aux_info[AT_COUNT]; Elf_Auxinfo *aux, *auxp, *auxpf, *aux_info[AT_COUNT];
Objlist_Entry *entry; Objlist_Entry *entry;
Obj_Entry *last_interposer, *obj, *preload_tail; Obj_Entry *last_interposer, *obj, *preload_tail;
const Elf_Phdr *phdr; const Elf_Phdr *phdr;
Objlist initlist; Objlist initlist;
RtldLockState lockstate; RtldLockState lockstate;
char **argv, *argv0, **env, *kexecpath, *library_path_rpath; Elf_Addr *argcp;
char **argv, *argv0, **env, **envp, *kexecpath, *library_path_rpath;
caddr_t imgentry; caddr_t imgentry;
char buf[MAXPATHLEN]; char buf[MAXPATHLEN];
int argc, fd, i, mib[2], phnum; int argc, fd, i, mib[2], phnum;
size_t len; size_t len;
emasteUnsubmitted
Not Done
Inline Actions

Perhaps commit the re-sorting independently first?

emaste: Perhaps commit the re-sorting independently first?
kibAuthorUnsubmitted
Not Done
Inline Actions

This is not just resorting, I moved locals from the nested blocks and added some variables as well.

I can produce separate patch to reorder existing local section, but the bits in the patch are not extractable.

kib: This is not just resorting, I moved locals from the nested blocks and added some variables as…
emasteUnsubmitted
Not Done
Inline Actions

Right, I mean there is both resorting and other changes and I think the resorting part could be committed by itself - it would make it more clear what the other changes are.

emaste: Right, I mean there is both resorting and other changes and I think the resorting part could be…
/* /*
* On entry, the dynamic linker itself has not been relocated yet. * On entry, the dynamic linker itself has not been relocated yet.
* Be very careful not to reference any global data until after * Be very careful not to reference any global data until after
* init_rtld has returned. It is OK to reference file-scope statics * init_rtld has returned. It is OK to reference file-scope statics
* and string constants, and to call static and global functions. * and string constants, and to call static and global functions.
*/ */
/* Find the auxiliary vector on the stack. */ /* Find the auxiliary vector on the stack. */
argcp = sp;
argc = *sp++; argc = *sp++;
argv = (char **) sp; argv = (char **) sp;
sp += argc + 1; /* Skip over arguments and NULL terminator */ sp += argc + 1; /* Skip over arguments and NULL terminator */
env = (char **) sp; env = (char **) sp;
while (*sp++ != 0) /* Skip over environment, and NULL terminator */ while (*sp++ != 0) /* Skip over environment, and NULL terminator */
; ;
aux = (Elf_Auxinfo *) sp; aux = (Elf_Auxinfo *) sp;
/* Digest the auxiliary vector. */ /* Digest the auxiliary vector. */
for (i = 0; i < AT_COUNT; i++) for (i = 0; i < AT_COUNT; i++)
aux_info[i] = NULL; aux_info[i] = NULL;
for (auxp = aux; auxp->a_type != AT_NULL; auxp++) { for (auxp = aux; auxp->a_type != AT_NULL; auxp++) {
if (auxp->a_type < AT_COUNT) if (auxp->a_type < AT_COUNT)
aux_info[auxp->a_type] = auxp; aux_info[auxp->a_type] = auxp;
} }
/* Initialize and relocate ourselves. */ /* Initialize and relocate ourselves. */
assert(aux_info[AT_BASE] != NULL); assert(aux_info[AT_BASE] != NULL);
emasteUnsubmitted
Not Done
Inline Actions

With the patch this assert triggers via

% /libexec/ld-elf.so.1 /libexec/ld-elf.so.1
ld-elf.so.1: assert failed: /usr/home/emaste/src/freebsd/libexec/rtld-elf/rtld.c:381
emaste: With the patch this assert triggers via ``` % /libexec/ld-elf.so.1 /libexec/ld-elf.so.1 ld-elf.
init_rtld((caddr_t) aux_info[AT_BASE]->a_un.a_ptr, aux_info); init_rtld((caddr_t) aux_info[AT_BASE]->a_un.a_ptr, aux_info);
__progname = obj_rtld.path; __progname = obj_rtld.path;
argv0 = argv[0] != NULL ? argv[0] : "(null)"; argv0 = argv[0] != NULL ? argv[0] : "(null)";
environ = env; environ = env;
main_argc = argc; main_argc = argc;
main_argv = argv; main_argv = argv;
Show All 17 Lines if (sysctl(mib, 2, __stack_chk_guard, &len, NULL, 0) == -1 ||
((unsigned char *)(void *)__stack_chk_guard)[3] = 255; ((unsigned char *)(void *)__stack_chk_guard)[3] = 255;
} }
} }
trust = !issetugid(); trust = !issetugid();
md_abi_variant_hook(aux_info); md_abi_variant_hook(aux_info);
fd = -1;
if (aux_info[AT_EXECFD] != NULL) {
fd = aux_info[AT_EXECFD]->a_un.a_val;
} else {
assert(aux_info[AT_PHDR] != NULL);
phdr = (const Elf_Phdr *)aux_info[AT_PHDR]->a_un.a_ptr;
if (phdr == obj_rtld.phdr) {
dbg("opening main program in direct exec mode");
if (argc >= 2) {
argv0 = argv[1];
fd = open(argv0, O_RDONLY | O_CLOEXEC | O_VERIFY);
if (fd == -1) {
rtld_printf("Opening %s: %s\n", argv0,
rtld_strerror(errno));
rtld_die();
}
/*
* For direct exec mode, argv[0] is the interpreter
* name, we must remove it and shift arguments left by
* 1 before invoking binary main. Since stack layout
* places environment pointers and aux vectors right
* after the terminating NULL, we must shift
* environment and aux as well.
* XXX Shift will be > 1 when options are implemented.
*/
do {
*argv = *(argv + 1);
argv++;
} while (*argv != 0);
emasteUnsubmitted
Done
Inline Actions

!= NULL?

also envp below

emaste: `!= NULL`? also envp below
*argcp -= 1;
main_argc = argc - 1;
environ = env = envp = argv;
do {
*envp = *(envp + 1);
envp++;
} while (*envp != 0);
aux = auxp = (Elf_Auxinfo *)envp;
auxpf = (Elf_Auxinfo *)(envp + 1);
for (;; auxp++, auxpf++) {
*auxp = *auxpf;
if (auxp->a_type == AT_NULL)
break;
}
} else {
rtld_printf("no binary\n");
rtld_die();
}
}
}
ld_bind_now = getenv(_LD("BIND_NOW")); ld_bind_now = getenv(_LD("BIND_NOW"));
/* /*
* If the process is tainted, then we un-set the dangerous environment * If the process is tainted, then we un-set the dangerous environment
* variables. The process will be marked as tainted until setuid(2) * variables. The process will be marked as tainted until setuid(2)
* is called. If any child process calls setuid(2) we do not want any * is called. If any child process calls setuid(2) we do not want any
* future processes to honor the potentially un-safe variables. * future processes to honor the potentially un-safe variables.
*/ */
▲ Show 20 Lines • Show All 44 Lines • ▼ Show 20 Lines (caddr_t) aux_info[AT_BASE]->a_un.a_ptr);
dbg("initializing thread locks"); dbg("initializing thread locks");
lockdflt_init(); lockdflt_init();
/* /*
* Load the main program, or process its program header if it is * Load the main program, or process its program header if it is
* already loaded. * already loaded.
*/ */
if (aux_info[AT_EXECFD] != NULL) { /* Load the main program. */ if (fd != -1) { /* Load the main program. */
fd = aux_info[AT_EXECFD]->a_un.a_val;
dbg("loading main program"); dbg("loading main program");
obj_main = map_object(fd, argv0, NULL); obj_main = map_object(fd, argv0, NULL);
close(fd); close(fd);
emasteUnsubmitted
Not Done
Inline Actions

extra space before aux_info?

emaste: extra space before `aux_info`?
if (obj_main == NULL) if (obj_main == NULL)
rtld_die(); rtld_die();
max_stack_flags = obj->stack_flags; max_stack_flags = obj->stack_flags;
} else { /* Main program already loaded. */ } else { /* Main program already loaded. */
dbg("processing main program's program header"); dbg("processing main program's program header");
assert(aux_info[AT_PHDR] != NULL); assert(aux_info[AT_PHDR] != NULL);
emasteUnsubmitted
Not Done
Inline Actions

As an aside it seems O_VERIFY is not documented in open.2. I see that this came from https://github.com/freebsd/freebsd/pull/27 - paging @stevek

Also, what happens if we try to ld-elf.so.1 foo where foo has ---x--x--x perms?

emaste: As an aside it seems `O_VERIFY` is not documented in `open.2`. I see that this came from https…
kibAuthorUnsubmitted
Not Done
Inline Actions

It is something internal from J that got committed but never get the flesh in our repository.

kib: It is something internal from J that got committed but never get the flesh in our repository.
stevekUnsubmitted
Not Done
Inline Actions

See D2902, which has the changes. I guess after all this time people have had enough time to comment. I'll see about committing that set of changes.

stevek: See D2902, which has the changes. I guess after all this time people have had enough time to…
emasteUnsubmitted
Not Done
Inline Actions

Ah. I added a comment in there - I'd suggest we should go ahead with the open.2 changes right now, since the corresponding source changes were made some time ago, and follow up with a D2902 rebase.

emaste: Ah. I added a comment in there - I'd suggest we should go ahead with the open.2 changes right…
stevekUnsubmitted
Not Done
Inline Actions

Sure, makes sense. I committed just the open.2 change and will rebase D2902.

stevek: Sure, makes sense. I committed just the open.2 change and will rebase D2902.
phdr = (const Elf_Phdr *) aux_info[AT_PHDR]->a_un.a_ptr; phdr = (const Elf_Phdr *) aux_info[AT_PHDR]->a_un.a_ptr;
assert(aux_info[AT_PHNUM] != NULL); assert(aux_info[AT_PHNUM] != NULL);
phnum = aux_info[AT_PHNUM]->a_un.a_val; phnum = aux_info[AT_PHNUM]->a_un.a_val;
assert(aux_info[AT_PHENT] != NULL); assert(aux_info[AT_PHENT] != NULL);
assert(aux_info[AT_PHENT]->a_un.a_val == sizeof(Elf_Phdr)); assert(aux_info[AT_PHENT]->a_un.a_val == sizeof(Elf_Phdr));
assert(aux_info[AT_ENTRY] != NULL); assert(aux_info[AT_ENTRY] != NULL);
imgentry = (caddr_t) aux_info[AT_ENTRY]->a_un.a_ptr; imgentry = (caddr_t) aux_info[AT_ENTRY]->a_un.a_ptr;
if ((obj_main = digest_phdr(phdr, phnum, imgentry, argv0)) == NULL) if ((obj_main = digest_phdr(phdr, phnum, imgentry, argv0)) == NULL)
emasteUnsubmitted
Not Done
Inline Actions

I think this comment could be expanded a bit to separately explain main_arg[cv] and the argv/envp/auxp manipulation that follows it.

emaste: I think this comment could be expanded a bit to separately explain main_arg[cv] and the…
rtld_die(); rtld_die();
} }
if (aux_info[AT_EXECPATH] != NULL) { if (aux_info[AT_EXECPATH] != NULL && fd == -1) {
kexecpath = aux_info[AT_EXECPATH]->a_un.a_ptr; kexecpath = aux_info[AT_EXECPATH]->a_un.a_ptr;
dbg("AT_EXECPATH %p %s", kexecpath, kexecpath); dbg("AT_EXECPATH %p %s", kexecpath, kexecpath);
if (kexecpath[0] == '/') if (kexecpath[0] == '/')
obj_main->path = kexecpath; obj_main->path = kexecpath;
else if (getcwd(buf, sizeof(buf)) == NULL || else if (getcwd(buf, sizeof(buf)) == NULL ||
strlcat(buf, "/", sizeof(buf)) >= sizeof(buf) || strlcat(buf, "/", sizeof(buf)) >= sizeof(buf) ||
strlcat(buf, kexecpath, sizeof(buf)) >= sizeof(buf)) strlcat(buf, kexecpath, sizeof(buf)) >= sizeof(buf))
obj_main->path = xstrdup(argv0); obj_main->path = xstrdup(argv0);
else else
obj_main->path = xstrdup(buf); obj_main->path = xstrdup(buf);
} else { } else {
dbg("No AT_EXECPATH"); dbg("No AT_EXECPATH or direct exec");
obj_main->path = xstrdup(argv0); obj_main->path = xstrdup(argv0);
} }
dbg("obj_main path %s", obj_main->path); dbg("obj_main path %s", obj_main->path);
obj_main->mainprog = true; obj_main->mainprog = true;
if (aux_info[AT_STACKPROT] != NULL && if (aux_info[AT_STACKPROT] != NULL &&
aux_info[AT_STACKPROT]->a_un.a_val != 0) aux_info[AT_STACKPROT]->a_un.a_val != 0)
stack_prot = aux_info[AT_STACKPROT]->a_un.a_val; stack_prot = aux_info[AT_STACKPROT]->a_un.a_val;
▲ Show 20 Lines • Show All 4,764 Lines • Show Last 20 Lines
View Options

tests/sys/net80211/sta_assoc.c

Show First 20 Lines • Show All 333 Lines • ▼ Show 20 Lines
* exit procedure pointer and the third to a place to store the main * exit procedure pointer and the third to a place to store the main
* program's object. * program's object.
* *
* The return value is the main program's entry point. * The return value is the main program's entry point.
*/ */
func_ptr_type func_ptr_type
_rtld(Elf_Addr *sp, func_ptr_type *exit_proc, Obj_Entry **objp) _rtld(Elf_Addr *sp, func_ptr_type *exit_proc, Obj_Entry **objp)
{ {
Elf_Auxinfo *aux, *auxp, *aux_info[AT_COUNT]; Elf_Auxinfo *aux, *auxp, *auxpf, *aux_info[AT_COUNT];
Objlist_Entry *entry; Objlist_Entry *entry;
Obj_Entry *last_interposer, *obj, *preload_tail; Obj_Entry *last_interposer, *obj, *preload_tail;
const Elf_Phdr *phdr; const Elf_Phdr *phdr;
Objlist initlist; Objlist initlist;
RtldLockState lockstate; RtldLockState lockstate;
char **argv, *argv0, **env, *kexecpath, *library_path_rpath; Elf_Addr *argcp;
char **argv, *argv0, **env, **envp, *kexecpath, *library_path_rpath;
caddr_t imgentry; caddr_t imgentry;
char buf[MAXPATHLEN]; char buf[MAXPATHLEN];
int argc, fd, i, mib[2], phnum; int argc, fd, i, mib[2], phnum;
size_t len; size_t len;
emasteUnsubmitted
Not Done
Inline Actions

Perhaps commit the re-sorting independently first?

emaste: Perhaps commit the re-sorting independently first?
kibAuthorUnsubmitted
Not Done
Inline Actions

This is not just resorting, I moved locals from the nested blocks and added some variables as well.

I can produce separate patch to reorder existing local section, but the bits in the patch are not extractable.

kib: This is not just resorting, I moved locals from the nested blocks and added some variables as…
emasteUnsubmitted
Not Done
Inline Actions

Right, I mean there is both resorting and other changes and I think the resorting part could be committed by itself - it would make it more clear what the other changes are.

emaste: Right, I mean there is both resorting and other changes and I think the resorting part could be…
/* /*
* On entry, the dynamic linker itself has not been relocated yet. * On entry, the dynamic linker itself has not been relocated yet.
* Be very careful not to reference any global data until after * Be very careful not to reference any global data until after
* init_rtld has returned. It is OK to reference file-scope statics * init_rtld has returned. It is OK to reference file-scope statics
* and string constants, and to call static and global functions. * and string constants, and to call static and global functions.
*/ */
/* Find the auxiliary vector on the stack. */ /* Find the auxiliary vector on the stack. */
argcp = sp;
argc = *sp++; argc = *sp++;
argv = (char **) sp; argv = (char **) sp;
sp += argc + 1; /* Skip over arguments and NULL terminator */ sp += argc + 1; /* Skip over arguments and NULL terminator */
env = (char **) sp; env = (char **) sp;
while (*sp++ != 0) /* Skip over environment, and NULL terminator */ while (*sp++ != 0) /* Skip over environment, and NULL terminator */
; ;
aux = (Elf_Auxinfo *) sp; aux = (Elf_Auxinfo *) sp;
/* Digest the auxiliary vector. */ /* Digest the auxiliary vector. */
for (i = 0; i < AT_COUNT; i++) for (i = 0; i < AT_COUNT; i++)
aux_info[i] = NULL; aux_info[i] = NULL;
for (auxp = aux; auxp->a_type != AT_NULL; auxp++) { for (auxp = aux; auxp->a_type != AT_NULL; auxp++) {
if (auxp->a_type < AT_COUNT) if (auxp->a_type < AT_COUNT)
aux_info[auxp->a_type] = auxp; aux_info[auxp->a_type] = auxp;
} }
/* Initialize and relocate ourselves. */ /* Initialize and relocate ourselves. */
assert(aux_info[AT_BASE] != NULL); assert(aux_info[AT_BASE] != NULL);
emasteUnsubmitted
Not Done
Inline Actions

With the patch this assert triggers via

% /libexec/ld-elf.so.1 /libexec/ld-elf.so.1
ld-elf.so.1: assert failed: /usr/home/emaste/src/freebsd/libexec/rtld-elf/rtld.c:381
emaste: With the patch this assert triggers via ``` % /libexec/ld-elf.so.1 /libexec/ld-elf.so.1 ld-elf.
init_rtld((caddr_t) aux_info[AT_BASE]->a_un.a_ptr, aux_info); init_rtld((caddr_t) aux_info[AT_BASE]->a_un.a_ptr, aux_info);
__progname = obj_rtld.path; __progname = obj_rtld.path;
argv0 = argv[0] != NULL ? argv[0] : "(null)"; argv0 = argv[0] != NULL ? argv[0] : "(null)";
environ = env; environ = env;
main_argc = argc; main_argc = argc;
main_argv = argv; main_argv = argv;
Show All 17 Lines if (sysctl(mib, 2, __stack_chk_guard, &len, NULL, 0) == -1 ||
((unsigned char *)(void *)__stack_chk_guard)[3] = 255; ((unsigned char *)(void *)__stack_chk_guard)[3] = 255;
} }
} }
trust = !issetugid(); trust = !issetugid();
md_abi_variant_hook(aux_info); md_abi_variant_hook(aux_info);
fd = -1;
if (aux_info[AT_EXECFD] != NULL) {
fd = aux_info[AT_EXECFD]->a_un.a_val;
} else {
assert(aux_info[AT_PHDR] != NULL);
phdr = (const Elf_Phdr *)aux_info[AT_PHDR]->a_un.a_ptr;
if (phdr == obj_rtld.phdr) {
dbg("opening main program in direct exec mode");
if (argc >= 2) {
argv0 = argv[1];
fd = open(argv0, O_RDONLY | O_CLOEXEC | O_VERIFY);
if (fd == -1) {
rtld_printf("Opening %s: %s\n", argv0,
rtld_strerror(errno));
rtld_die();
}
/*
* For direct exec mode, argv[0] is the interpreter
* name, we must remove it and shift arguments left by
* 1 before invoking binary main. Since stack layout
* places environment pointers and aux vectors right
* after the terminating NULL, we must shift
* environment and aux as well.
* XXX Shift will be > 1 when options are implemented.
*/
do {
*argv = *(argv + 1);
argv++;
} while (*argv != 0);
emasteUnsubmitted
Done
Inline Actions

!= NULL?

also envp below

emaste: `!= NULL`? also envp below
*argcp -= 1;
main_argc = argc - 1;
environ = env = envp = argv;
do {
*envp = *(envp + 1);
envp++;
} while (*envp != 0);
aux = auxp = (Elf_Auxinfo *)envp;
auxpf = (Elf_Auxinfo *)(envp + 1);
for (;; auxp++, auxpf++) {
*auxp = *auxpf;
if (auxp->a_type == AT_NULL)
break;
}
} else {
rtld_printf("no binary\n");
rtld_die();
}
}
}
ld_bind_now = getenv(_LD("BIND_NOW")); ld_bind_now = getenv(_LD("BIND_NOW"));
/* /*
* If the process is tainted, then we un-set the dangerous environment * If the process is tainted, then we un-set the dangerous environment
* variables. The process will be marked as tainted until setuid(2) * variables. The process will be marked as tainted until setuid(2)
* is called. If any child process calls setuid(2) we do not want any * is called. If any child process calls setuid(2) we do not want any
* future processes to honor the potentially un-safe variables. * future processes to honor the potentially un-safe variables.
*/ */
▲ Show 20 Lines • Show All 44 Lines • ▼ Show 20 Lines (caddr_t) aux_info[AT_BASE]->a_un.a_ptr);
dbg("initializing thread locks"); dbg("initializing thread locks");
lockdflt_init(); lockdflt_init();
/* /*
* Load the main program, or process its program header if it is * Load the main program, or process its program header if it is
* already loaded. * already loaded.
*/ */
if (aux_info[AT_EXECFD] != NULL) { /* Load the main program. */ if (fd != -1) { /* Load the main program. */
fd = aux_info[AT_EXECFD]->a_un.a_val;
dbg("loading main program"); dbg("loading main program");
obj_main = map_object(fd, argv0, NULL); obj_main = map_object(fd, argv0, NULL);
close(fd); close(fd);
emasteUnsubmitted
Not Done
Inline Actions

extra space before aux_info?

emaste: extra space before `aux_info`?
if (obj_main == NULL) if (obj_main == NULL)
rtld_die(); rtld_die();
max_stack_flags = obj->stack_flags; max_stack_flags = obj->stack_flags;
} else { /* Main program already loaded. */ } else { /* Main program already loaded. */
dbg("processing main program's program header"); dbg("processing main program's program header");
assert(aux_info[AT_PHDR] != NULL); assert(aux_info[AT_PHDR] != NULL);
emasteUnsubmitted
Not Done
Inline Actions

As an aside it seems O_VERIFY is not documented in open.2. I see that this came from https://github.com/freebsd/freebsd/pull/27 - paging @stevek

Also, what happens if we try to ld-elf.so.1 foo where foo has ---x--x--x perms?

emaste: As an aside it seems `O_VERIFY` is not documented in `open.2`. I see that this came from https…
kibAuthorUnsubmitted
Not Done
Inline Actions

It is something internal from J that got committed but never get the flesh in our repository.

kib: It is something internal from J that got committed but never get the flesh in our repository.
stevekUnsubmitted
Not Done
Inline Actions

See D2902, which has the changes. I guess after all this time people have had enough time to comment. I'll see about committing that set of changes.

stevek: See D2902, which has the changes. I guess after all this time people have had enough time to…
emasteUnsubmitted
Not Done
Inline Actions

Ah. I added a comment in there - I'd suggest we should go ahead with the open.2 changes right now, since the corresponding source changes were made some time ago, and follow up with a D2902 rebase.

emaste: Ah. I added a comment in there - I'd suggest we should go ahead with the open.2 changes right…
stevekUnsubmitted
Not Done
Inline Actions

Sure, makes sense. I committed just the open.2 change and will rebase D2902.

stevek: Sure, makes sense. I committed just the open.2 change and will rebase D2902.
phdr = (const Elf_Phdr *) aux_info[AT_PHDR]->a_un.a_ptr; phdr = (const Elf_Phdr *) aux_info[AT_PHDR]->a_un.a_ptr;
assert(aux_info[AT_PHNUM] != NULL); assert(aux_info[AT_PHNUM] != NULL);
phnum = aux_info[AT_PHNUM]->a_un.a_val; phnum = aux_info[AT_PHNUM]->a_un.a_val;
assert(aux_info[AT_PHENT] != NULL); assert(aux_info[AT_PHENT] != NULL);
assert(aux_info[AT_PHENT]->a_un.a_val == sizeof(Elf_Phdr)); assert(aux_info[AT_PHENT]->a_un.a_val == sizeof(Elf_Phdr));
assert(aux_info[AT_ENTRY] != NULL); assert(aux_info[AT_ENTRY] != NULL);
imgentry = (caddr_t) aux_info[AT_ENTRY]->a_un.a_ptr; imgentry = (caddr_t) aux_info[AT_ENTRY]->a_un.a_ptr;
if ((obj_main = digest_phdr(phdr, phnum, imgentry, argv0)) == NULL) if ((obj_main = digest_phdr(phdr, phnum, imgentry, argv0)) == NULL)
emasteUnsubmitted
Not Done
Inline Actions

I think this comment could be expanded a bit to separately explain main_arg[cv] and the argv/envp/auxp manipulation that follows it.

emaste: I think this comment could be expanded a bit to separately explain main_arg[cv] and the…
rtld_die(); rtld_die();
} }
if (aux_info[AT_EXECPATH] != NULL) { if (aux_info[AT_EXECPATH] != NULL && fd == -1) {
kexecpath = aux_info[AT_EXECPATH]->a_un.a_ptr; kexecpath = aux_info[AT_EXECPATH]->a_un.a_ptr;
dbg("AT_EXECPATH %p %s", kexecpath, kexecpath); dbg("AT_EXECPATH %p %s", kexecpath, kexecpath);
if (kexecpath[0] == '/') if (kexecpath[0] == '/')
obj_main->path = kexecpath; obj_main->path = kexecpath;
else if (getcwd(buf, sizeof(buf)) == NULL || else if (getcwd(buf, sizeof(buf)) == NULL ||
strlcat(buf, "/", sizeof(buf)) >= sizeof(buf) || strlcat(buf, "/", sizeof(buf)) >= sizeof(buf) ||
strlcat(buf, kexecpath, sizeof(buf)) >= sizeof(buf)) strlcat(buf, kexecpath, sizeof(buf)) >= sizeof(buf))
obj_main->path = xstrdup(argv0); obj_main->path = xstrdup(argv0);
else else
obj_main->path = xstrdup(buf); obj_main->path = xstrdup(buf);
} else { } else {
dbg("No AT_EXECPATH"); dbg("No AT_EXECPATH or direct exec");
obj_main->path = xstrdup(argv0); obj_main->path = xstrdup(argv0);
} }
dbg("obj_main path %s", obj_main->path); dbg("obj_main path %s", obj_main->path);
obj_main->mainprog = true; obj_main->mainprog = true;
if (aux_info[AT_STACKPROT] != NULL && if (aux_info[AT_STACKPROT] != NULL &&
aux_info[AT_STACKPROT]->a_un.a_val != 0) aux_info[AT_STACKPROT]->a_un.a_val != 0)
stack_prot = aux_info[AT_STACKPROT]->a_un.a_val; stack_prot = aux_info[AT_STACKPROT]->a_un.a_val;
▲ Show 20 Lines • Show All 4,764 Lines • Show Last 20 Lines
View Options

tests/sys/net80211/wtap.sh

Show First 20 Lines • Show All 333 Lines • ▼ Show 20 Lines
* exit procedure pointer and the third to a place to store the main * exit procedure pointer and the third to a place to store the main
* program's object. * program's object.
* *
* The return value is the main program's entry point. * The return value is the main program's entry point.
*/ */
func_ptr_type func_ptr_type
_rtld(Elf_Addr *sp, func_ptr_type *exit_proc, Obj_Entry **objp) _rtld(Elf_Addr *sp, func_ptr_type *exit_proc, Obj_Entry **objp)
{ {
Elf_Auxinfo *aux, *auxp, *aux_info[AT_COUNT]; Elf_Auxinfo *aux, *auxp, *auxpf, *aux_info[AT_COUNT];
Objlist_Entry *entry; Objlist_Entry *entry;
Obj_Entry *last_interposer, *obj, *preload_tail; Obj_Entry *last_interposer, *obj, *preload_tail;
const Elf_Phdr *phdr; const Elf_Phdr *phdr;
Objlist initlist; Objlist initlist;
RtldLockState lockstate; RtldLockState lockstate;
char **argv, *argv0, **env, *kexecpath, *library_path_rpath; Elf_Addr *argcp;
char **argv, *argv0, **env, **envp, *kexecpath, *library_path_rpath;
caddr_t imgentry; caddr_t imgentry;
char buf[MAXPATHLEN]; char buf[MAXPATHLEN];
int argc, fd, i, mib[2], phnum; int argc, fd, i, mib[2], phnum;
size_t len; size_t len;
emasteUnsubmitted
Not Done
Inline Actions

Perhaps commit the re-sorting independently first?

emaste: Perhaps commit the re-sorting independently first?
kibAuthorUnsubmitted
Not Done
Inline Actions

This is not just resorting, I moved locals from the nested blocks and added some variables as well.

I can produce separate patch to reorder existing local section, but the bits in the patch are not extractable.

kib: This is not just resorting, I moved locals from the nested blocks and added some variables as…
emasteUnsubmitted
Not Done
Inline Actions

Right, I mean there is both resorting and other changes and I think the resorting part could be committed by itself - it would make it more clear what the other changes are.

emaste: Right, I mean there is both resorting and other changes and I think the resorting part could be…
/* /*
* On entry, the dynamic linker itself has not been relocated yet. * On entry, the dynamic linker itself has not been relocated yet.
* Be very careful not to reference any global data until after * Be very careful not to reference any global data until after
* init_rtld has returned. It is OK to reference file-scope statics * init_rtld has returned. It is OK to reference file-scope statics
* and string constants, and to call static and global functions. * and string constants, and to call static and global functions.
*/ */
/* Find the auxiliary vector on the stack. */ /* Find the auxiliary vector on the stack. */
argcp = sp;
argc = *sp++; argc = *sp++;
argv = (char **) sp; argv = (char **) sp;
sp += argc + 1; /* Skip over arguments and NULL terminator */ sp += argc + 1; /* Skip over arguments and NULL terminator */
env = (char **) sp; env = (char **) sp;
while (*sp++ != 0) /* Skip over environment, and NULL terminator */ while (*sp++ != 0) /* Skip over environment, and NULL terminator */
; ;
aux = (Elf_Auxinfo *) sp; aux = (Elf_Auxinfo *) sp;
/* Digest the auxiliary vector. */ /* Digest the auxiliary vector. */
for (i = 0; i < AT_COUNT; i++) for (i = 0; i < AT_COUNT; i++)
aux_info[i] = NULL; aux_info[i] = NULL;
for (auxp = aux; auxp->a_type != AT_NULL; auxp++) { for (auxp = aux; auxp->a_type != AT_NULL; auxp++) {
if (auxp->a_type < AT_COUNT) if (auxp->a_type < AT_COUNT)
aux_info[auxp->a_type] = auxp; aux_info[auxp->a_type] = auxp;
} }
/* Initialize and relocate ourselves. */ /* Initialize and relocate ourselves. */
assert(aux_info[AT_BASE] != NULL); assert(aux_info[AT_BASE] != NULL);
emasteUnsubmitted
Not Done
Inline Actions

With the patch this assert triggers via

% /libexec/ld-elf.so.1 /libexec/ld-elf.so.1
ld-elf.so.1: assert failed: /usr/home/emaste/src/freebsd/libexec/rtld-elf/rtld.c:381
emaste: With the patch this assert triggers via ``` % /libexec/ld-elf.so.1 /libexec/ld-elf.so.1 ld-elf.
init_rtld((caddr_t) aux_info[AT_BASE]->a_un.a_ptr, aux_info); init_rtld((caddr_t) aux_info[AT_BASE]->a_un.a_ptr, aux_info);
__progname = obj_rtld.path; __progname = obj_rtld.path;
argv0 = argv[0] != NULL ? argv[0] : "(null)"; argv0 = argv[0] != NULL ? argv[0] : "(null)";
environ = env; environ = env;
main_argc = argc; main_argc = argc;
main_argv = argv; main_argv = argv;
Show All 17 Lines if (sysctl(mib, 2, __stack_chk_guard, &len, NULL, 0) == -1 ||
((unsigned char *)(void *)__stack_chk_guard)[3] = 255; ((unsigned char *)(void *)__stack_chk_guard)[3] = 255;
} }
} }
trust = !issetugid(); trust = !issetugid();
md_abi_variant_hook(aux_info); md_abi_variant_hook(aux_info);
fd = -1;
if (aux_info[AT_EXECFD] != NULL) {
fd = aux_info[AT_EXECFD]->a_un.a_val;
} else {
assert(aux_info[AT_PHDR] != NULL);
phdr = (const Elf_Phdr *)aux_info[AT_PHDR]->a_un.a_ptr;
if (phdr == obj_rtld.phdr) {
dbg("opening main program in direct exec mode");
if (argc >= 2) {
argv0 = argv[1];
fd = open(argv0, O_RDONLY | O_CLOEXEC | O_VERIFY);
if (fd == -1) {
rtld_printf("Opening %s: %s\n", argv0,
rtld_strerror(errno));
rtld_die();
}
/*
* For direct exec mode, argv[0] is the interpreter
* name, we must remove it and shift arguments left by
* 1 before invoking binary main. Since stack layout
* places environment pointers and aux vectors right
* after the terminating NULL, we must shift
* environment and aux as well.
* XXX Shift will be > 1 when options are implemented.
*/
do {
*argv = *(argv + 1);
argv++;
} while (*argv != 0);
emasteUnsubmitted
Done
Inline Actions

!= NULL?

also envp below

emaste: `!= NULL`? also envp below
*argcp -= 1;
main_argc = argc - 1;
environ = env = envp = argv;
do {
*envp = *(envp + 1);
envp++;
} while (*envp != 0);
aux = auxp = (Elf_Auxinfo *)envp;
auxpf = (Elf_Auxinfo *)(envp + 1);
for (;; auxp++, auxpf++) {
*auxp = *auxpf;
if (auxp->a_type == AT_NULL)
break;
}
} else {
rtld_printf("no binary\n");
rtld_die();
}
}
}
ld_bind_now = getenv(_LD("BIND_NOW")); ld_bind_now = getenv(_LD("BIND_NOW"));
/* /*
* If the process is tainted, then we un-set the dangerous environment * If the process is tainted, then we un-set the dangerous environment
* variables. The process will be marked as tainted until setuid(2) * variables. The process will be marked as tainted until setuid(2)
* is called. If any child process calls setuid(2) we do not want any * is called. If any child process calls setuid(2) we do not want any
* future processes to honor the potentially un-safe variables. * future processes to honor the potentially un-safe variables.
*/ */
▲ Show 20 Lines • Show All 44 Lines • ▼ Show 20 Lines (caddr_t) aux_info[AT_BASE]->a_un.a_ptr);
dbg("initializing thread locks"); dbg("initializing thread locks");
lockdflt_init(); lockdflt_init();
/* /*
* Load the main program, or process its program header if it is * Load the main program, or process its program header if it is
* already loaded. * already loaded.
*/ */
if (aux_info[AT_EXECFD] != NULL) { /* Load the main program. */ if (fd != -1) { /* Load the main program. */
fd = aux_info[AT_EXECFD]->a_un.a_val;
dbg("loading main program"); dbg("loading main program");
obj_main = map_object(fd, argv0, NULL); obj_main = map_object(fd, argv0, NULL);
close(fd); close(fd);
emasteUnsubmitted
Not Done
Inline Actions

extra space before aux_info?

emaste: extra space before `aux_info`?
if (obj_main == NULL) if (obj_main == NULL)
rtld_die(); rtld_die();
max_stack_flags = obj->stack_flags; max_stack_flags = obj->stack_flags;
} else { /* Main program already loaded. */ } else { /* Main program already loaded. */
dbg("processing main program's program header"); dbg("processing main program's program header");
assert(aux_info[AT_PHDR] != NULL); assert(aux_info[AT_PHDR] != NULL);
emasteUnsubmitted
Not Done
Inline Actions

As an aside it seems O_VERIFY is not documented in open.2. I see that this came from https://github.com/freebsd/freebsd/pull/27 - paging @stevek

Also, what happens if we try to ld-elf.so.1 foo where foo has ---x--x--x perms?

emaste: As an aside it seems `O_VERIFY` is not documented in `open.2`. I see that this came from https…
kibAuthorUnsubmitted
Not Done
Inline Actions

It is something internal from J that got committed but never get the flesh in our repository.

kib: It is something internal from J that got committed but never get the flesh in our repository.
stevekUnsubmitted
Not Done
Inline Actions

See D2902, which has the changes. I guess after all this time people have had enough time to comment. I'll see about committing that set of changes.

stevek: See D2902, which has the changes. I guess after all this time people have had enough time to…
emasteUnsubmitted
Not Done
Inline Actions

Ah. I added a comment in there - I'd suggest we should go ahead with the open.2 changes right now, since the corresponding source changes were made some time ago, and follow up with a D2902 rebase.

emaste: Ah. I added a comment in there - I'd suggest we should go ahead with the open.2 changes right…
stevekUnsubmitted
Not Done
Inline Actions

Sure, makes sense. I committed just the open.2 change and will rebase D2902.

stevek: Sure, makes sense. I committed just the open.2 change and will rebase D2902.
phdr = (const Elf_Phdr *) aux_info[AT_PHDR]->a_un.a_ptr; phdr = (const Elf_Phdr *) aux_info[AT_PHDR]->a_un.a_ptr;
assert(aux_info[AT_PHNUM] != NULL); assert(aux_info[AT_PHNUM] != NULL);
phnum = aux_info[AT_PHNUM]->a_un.a_val; phnum = aux_info[AT_PHNUM]->a_un.a_val;
assert(aux_info[AT_PHENT] != NULL); assert(aux_info[AT_PHENT] != NULL);
assert(aux_info[AT_PHENT]->a_un.a_val == sizeof(Elf_Phdr)); assert(aux_info[AT_PHENT]->a_un.a_val == sizeof(Elf_Phdr));
assert(aux_info[AT_ENTRY] != NULL); assert(aux_info[AT_ENTRY] != NULL);
imgentry = (caddr_t) aux_info[AT_ENTRY]->a_un.a_ptr; imgentry = (caddr_t) aux_info[AT_ENTRY]->a_un.a_ptr;
if ((obj_main = digest_phdr(phdr, phnum, imgentry, argv0)) == NULL) if ((obj_main = digest_phdr(phdr, phnum, imgentry, argv0)) == NULL)
emasteUnsubmitted
Not Done
Inline Actions

I think this comment could be expanded a bit to separately explain main_arg[cv] and the argv/envp/auxp manipulation that follows it.

emaste: I think this comment could be expanded a bit to separately explain main_arg[cv] and the…
rtld_die(); rtld_die();
} }
if (aux_info[AT_EXECPATH] != NULL) { if (aux_info[AT_EXECPATH] != NULL && fd == -1) {
kexecpath = aux_info[AT_EXECPATH]->a_un.a_ptr; kexecpath = aux_info[AT_EXECPATH]->a_un.a_ptr;
dbg("AT_EXECPATH %p %s", kexecpath, kexecpath); dbg("AT_EXECPATH %p %s", kexecpath, kexecpath);
if (kexecpath[0] == '/') if (kexecpath[0] == '/')
obj_main->path = kexecpath; obj_main->path = kexecpath;
else if (getcwd(buf, sizeof(buf)) == NULL || else if (getcwd(buf, sizeof(buf)) == NULL ||
strlcat(buf, "/", sizeof(buf)) >= sizeof(buf) || strlcat(buf, "/", sizeof(buf)) >= sizeof(buf) ||
strlcat(buf, kexecpath, sizeof(buf)) >= sizeof(buf)) strlcat(buf, kexecpath, sizeof(buf)) >= sizeof(buf))
obj_main->path = xstrdup(argv0); obj_main->path = xstrdup(argv0);
else else
obj_main->path = xstrdup(buf); obj_main->path = xstrdup(buf);
} else { } else {
dbg("No AT_EXECPATH"); dbg("No AT_EXECPATH or direct exec");
obj_main->path = xstrdup(argv0); obj_main->path = xstrdup(argv0);
} }
dbg("obj_main path %s", obj_main->path); dbg("obj_main path %s", obj_main->path);
obj_main->mainprog = true; obj_main->mainprog = true;
if (aux_info[AT_STACKPROT] != NULL && if (aux_info[AT_STACKPROT] != NULL &&
aux_info[AT_STACKPROT]->a_un.a_val != 0) aux_info[AT_STACKPROT]->a_un.a_val != 0)
stack_prot = aux_info[AT_STACKPROT]->a_un.a_val; stack_prot = aux_info[AT_STACKPROT]->a_un.a_val;
▲ Show 20 Lines • Show All 4,764 Lines • Show Last 20 Lines