| Message ID | 999a4733-c554-43ca-a6e9-998c939fbeb8@I-love.SAKURA.ne.jp (mailing list archive) |
|---|---|
| State | New |
| Headers | show |
| Series | fs/exec: remove current->in_execve flag | expand |
On Sat, Feb 03, 2024 at 07:52:54PM +0900, Tetsuo Handa wrote: > A regression caused by commit 978ffcbf00d8 ("execve: open the executable > file before doing anything else") has been fixed by commit 4759ff71f23e > ("exec: Check __FMODE_EXEC instead of in_execve for LSMs") and commit > 3eab830189d9 ("uselib: remove use of __FMODE_EXEC"). While fixing this > regression, Linus commented that we want to remove current->in_execve flag. > > The current->in_execve flag was introduced by commit f9ce1f1cda8b ("Add > in_execve flag into task_struct.") when TOMOYO LSM was merged, and the > reason was explained in commit f7433243770c ("LSM adapter functions."). > > In short, TOMOYO's design is not compatible with COW credential model > introduced in Linux 2.6.29, and the current->in_execve flag was added for > emulating security_bprm_free() hook which has been removed by introduction > of COW credential model. > > security_task_alloc()/security_task_free() hooks have been removed by > commit f1752eec6145 ("CRED: Detach the credentials from task_struct"), > and these hooks have been revived by commit 1a2a4d06e1e9 ("security: > create task_free security callback") and commit e4e55b47ed9a ("LSM: Revive > security_task_alloc() hook and per "struct task_struct" security blob."). > > But security_bprm_free() hook did not revive until now. Now that Linus > wants TOMOYO to stop carrying state across two independent execve() calls, > and TOMOYO can stop carrying state if a hook for restoring previous state > upon failed execve() call were provided, this patch revives the hook. > > Since security_bprm_committing_creds() and security_bprm_committed_creds() > hooks are called when an execve() request succeeded, we don't need to call > security_bprm_free() hook when an execve() request succeeded. Therefore, > this patch adds security_execve_abort() hook which is called only when an > execve() request failed after successful prepare_bprm_creds() call. > > Signed-off-by: Tetsuo Handa <penguin-kernel@I-love.SAKURA.ne.jp> This looks good to me. Given this touches execve and is related to the recent execve changes, shall I carry this in the execve tree for testing and send a PR to Linus for it before v6.8 releases? There's already an Ack from Serge, so this seems a reasonable way to go unless Paul would like it done some other way? Reviewed-by: Kees Cook <keescook@chromium.org>
On 2024/02/07 23:24, Kees Cook wrote: > This looks good to me. > > Given this touches execve and is related to the recent execve changes, > shall I carry this in the execve tree for testing and send a PR to Linus > for it before v6.8 releases? Yes, please do so. (My git tree is currently down.) > > There's already an Ack from Serge, so this seems a reasonable way to go > unless Paul would like it done some other way? > > Reviewed-by: Kees Cook <keescook@chromium.org> > Thank you.
On Wed, Feb 7, 2024 at 9:24 AM Kees Cook <keescook@chromium.org> wrote: > > On Sat, Feb 03, 2024 at 07:52:54PM +0900, Tetsuo Handa wrote: > > A regression caused by commit 978ffcbf00d8 ("execve: open the executable > > file before doing anything else") has been fixed by commit 4759ff71f23e > > ("exec: Check __FMODE_EXEC instead of in_execve for LSMs") and commit > > 3eab830189d9 ("uselib: remove use of __FMODE_EXEC"). While fixing this > > regression, Linus commented that we want to remove current->in_execve flag. > > > > The current->in_execve flag was introduced by commit f9ce1f1cda8b ("Add > > in_execve flag into task_struct.") when TOMOYO LSM was merged, and the > > reason was explained in commit f7433243770c ("LSM adapter functions."). > > > > In short, TOMOYO's design is not compatible with COW credential model > > introduced in Linux 2.6.29, and the current->in_execve flag was added for > > emulating security_bprm_free() hook which has been removed by introduction > > of COW credential model. > > > > security_task_alloc()/security_task_free() hooks have been removed by > > commit f1752eec6145 ("CRED: Detach the credentials from task_struct"), > > and these hooks have been revived by commit 1a2a4d06e1e9 ("security: > > create task_free security callback") and commit e4e55b47ed9a ("LSM: Revive > > security_task_alloc() hook and per "struct task_struct" security blob."). > > > > But security_bprm_free() hook did not revive until now. Now that Linus > > wants TOMOYO to stop carrying state across two independent execve() calls, > > and TOMOYO can stop carrying state if a hook for restoring previous state > > upon failed execve() call were provided, this patch revives the hook. > > > > Since security_bprm_committing_creds() and security_bprm_committed_creds() > > hooks are called when an execve() request succeeded, we don't need to call > > security_bprm_free() hook when an execve() request succeeded. Therefore, > > this patch adds security_execve_abort() hook which is called only when an > > execve() request failed after successful prepare_bprm_creds() call. > > > > Signed-off-by: Tetsuo Handa <penguin-kernel@I-love.SAKURA.ne.jp> > > This looks good to me. > > Given this touches execve and is related to the recent execve changes, > shall I carry this in the execve tree for testing and send a PR to Linus > for it before v6.8 releases? > > There's already an Ack from Serge, so this seems a reasonable way to go > unless Paul would like it done some other way? Please hold off on this Kees (see my email from yesterday), I'd prefer to take this via the LSM tree and with the immediate regression resolved I'd prefer this go in during the upcoming merge window and not during the -rcX cycle. Or am I misunderstanding things about the state of Linus' tree currently? -- paul-moore.com
On Wed, Feb 07, 2024 at 10:21:07AM -0500, Paul Moore wrote: > On Wed, Feb 7, 2024 at 9:24 AM Kees Cook <keescook@chromium.org> wrote: > > > > On Sat, Feb 03, 2024 at 07:52:54PM +0900, Tetsuo Handa wrote: > > > A regression caused by commit 978ffcbf00d8 ("execve: open the executable > > > file before doing anything else") has been fixed by commit 4759ff71f23e > > > ("exec: Check __FMODE_EXEC instead of in_execve for LSMs") and commit > > > 3eab830189d9 ("uselib: remove use of __FMODE_EXEC"). While fixing this > > > regression, Linus commented that we want to remove current->in_execve flag. > > > > > > The current->in_execve flag was introduced by commit f9ce1f1cda8b ("Add > > > in_execve flag into task_struct.") when TOMOYO LSM was merged, and the > > > reason was explained in commit f7433243770c ("LSM adapter functions."). > > > > > > In short, TOMOYO's design is not compatible with COW credential model > > > introduced in Linux 2.6.29, and the current->in_execve flag was added for > > > emulating security_bprm_free() hook which has been removed by introduction > > > of COW credential model. > > > > > > security_task_alloc()/security_task_free() hooks have been removed by > > > commit f1752eec6145 ("CRED: Detach the credentials from task_struct"), > > > and these hooks have been revived by commit 1a2a4d06e1e9 ("security: > > > create task_free security callback") and commit e4e55b47ed9a ("LSM: Revive > > > security_task_alloc() hook and per "struct task_struct" security blob."). > > > > > > But security_bprm_free() hook did not revive until now. Now that Linus > > > wants TOMOYO to stop carrying state across two independent execve() calls, > > > and TOMOYO can stop carrying state if a hook for restoring previous state > > > upon failed execve() call were provided, this patch revives the hook. > > > > > > Since security_bprm_committing_creds() and security_bprm_committed_creds() > > > hooks are called when an execve() request succeeded, we don't need to call > > > security_bprm_free() hook when an execve() request succeeded. Therefore, > > > this patch adds security_execve_abort() hook which is called only when an > > > execve() request failed after successful prepare_bprm_creds() call. > > > > > > Signed-off-by: Tetsuo Handa <penguin-kernel@I-love.SAKURA.ne.jp> > > > > This looks good to me. > > > > Given this touches execve and is related to the recent execve changes, > > shall I carry this in the execve tree for testing and send a PR to Linus > > for it before v6.8 releases? > > > > There's already an Ack from Serge, so this seems a reasonable way to go > > unless Paul would like it done some other way? > > Please hold off on this Kees (see my email from yesterday), I'd prefer > to take this via the LSM tree and with the immediate regression > resolved I'd prefer this go in during the upcoming merge window and > not during the -rcX cycle. Or am I misunderstanding things about the > state of Linus' tree currently? My understanding was that TOMOYO is currently broken in Linus's tree. If that's true, I'd like to make sure it gets fixed before v6.8 is released. If it's working okay, then sure, that's fine to wait. :) -Kees
On Wed, Feb 7, 2024 at 10:43 AM Kees Cook <keescook@chromium.org> wrote: > On Wed, Feb 07, 2024 at 10:21:07AM -0500, Paul Moore wrote: ... > > Please hold off on this Kees (see my email from yesterday), I'd prefer > > to take this via the LSM tree and with the immediate regression > > resolved I'd prefer this go in during the upcoming merge window and > > not during the -rcX cycle. Or am I misunderstanding things about the > > state of Linus' tree currently? > > My understanding was that TOMOYO is currently broken in Linus's tree. If > that's true, I'd like to make sure it gets fixed before v6.8 is > released. > > If it's working okay, then sure, that's fine to wait. :) Okay, let's get confirmation from Tetsuo on the current state of TOMOYO in Linus' tree. If it is currently broken, I'll merge the next updated patchset from Tetsuo into the lsm/stable-6.8 branch and send it up to Linus during v6.8-rcX after some soaking in linux-next. If it's working, we'll wait :)
On Wed, 7 Feb 2024 at 16:45, Paul Moore <paul@paul-moore.com> wrote: > > Okay, let's get confirmation from Tetsuo on the current state of > TOMOYO in Linus' tree. If it is currently broken [..] As far as I understand, the current state is working, just the horrid random flag. So I think the series is a cleanup and worth doing, but also not hugely urgent. But it would probably be good to just get this whole thing over and done with, rather than leave it lingering for another release for no reason. Linus
On Wed, Feb 7, 2024 at 12:57 PM Linus Torvalds <torvalds@linux-foundation.org> wrote: > > On Wed, 7 Feb 2024 at 16:45, Paul Moore <paul@paul-moore.com> wrote: > > > > Okay, let's get confirmation from Tetsuo on the current state of > > TOMOYO in Linus' tree. If it is currently broken [..] > > As far as I understand, the current state is working, just the horrid > random flag. > > So I think the series is a cleanup and worth doing, but also not > hugely urgent. But it would probably be good to just get this whole > thing over and done with, rather than leave it lingering for another > release for no reason. I've always operated under a policy of "just fixes" during the -rcX period of development, but you're the boss. Once we get something suitable for merging I'll send it up to you after it has soaked in linux-next for a bit.
On 2024/02/08 2:57, Linus Torvalds wrote: > On Wed, 7 Feb 2024 at 16:45, Paul Moore <paul@paul-moore.com> wrote: >> >> Okay, let's get confirmation from Tetsuo on the current state of >> TOMOYO in Linus' tree. If it is currently broken [..] > > As far as I understand, the current state is working, just the horrid > random flag. Yes, the current state is working. > > So I think the series is a cleanup and worth doing, but also not > hugely urgent. But it would probably be good to just get this whole > thing over and done with, rather than leave it lingering for another > release for no reason. Right.
On Wed, Feb 7, 2024 at 5:23 PM Tetsuo Handa <penguin-kernel@i-love.sakura.ne.jp> wrote: > On 2024/02/08 2:57, Linus Torvalds wrote: > > On Wed, 7 Feb 2024 at 16:45, Paul Moore <paul@paul-moore.com> wrote: > >> > >> Okay, let's get confirmation from Tetsuo on the current state of > >> TOMOYO in Linus' tree. If it is currently broken [..] > > > > As far as I understand, the current state is working, just the horrid > > random flag. > > Yes, the current state is working. Thanks for confirming that Tetsuo.
diff --git a/fs/exec.c b/fs/exec.c index af4fbb61cd53..d6d35a06fd08 100644 --- a/fs/exec.c +++ b/fs/exec.c @@ -1521,6 +1521,7 @@ static void free_bprm(struct linux_binprm *bprm) if (bprm->cred) { mutex_unlock(¤t->signal->cred_guard_mutex); abort_creds(bprm->cred); + security_execve_abort(); } do_close_execat(bprm->file); if (bprm->executable) diff --git a/include/linux/lsm_hook_defs.h b/include/linux/lsm_hook_defs.h index 76458b6d53da..fd100ab71a33 100644 --- a/include/linux/lsm_hook_defs.h +++ b/include/linux/lsm_hook_defs.h @@ -54,6 +54,7 @@ LSM_HOOK(int, 0, bprm_creds_from_file, struct linux_binprm *bprm, const struct f LSM_HOOK(int, 0, bprm_check_security, struct linux_binprm *bprm) LSM_HOOK(void, LSM_RET_VOID, bprm_committing_creds, const struct linux_binprm *bprm) LSM_HOOK(void, LSM_RET_VOID, bprm_committed_creds, const struct linux_binprm *bprm) +LSM_HOOK(void, LSM_RET_VOID, execve_abort, void) LSM_HOOK(int, 0, fs_context_submount, struct fs_context *fc, struct super_block *reference) LSM_HOOK(int, 0, fs_context_dup, struct fs_context *fc, struct fs_context *src_sc) diff --git a/include/linux/security.h b/include/linux/security.h index d0eb20f90b26..31532b30c4f0 100644 --- a/include/linux/security.h +++ b/include/linux/security.h @@ -299,6 +299,7 @@ int security_bprm_creds_from_file(struct linux_binprm *bprm, const struct file * int security_bprm_check(struct linux_binprm *bprm); void security_bprm_committing_creds(const struct linux_binprm *bprm); void security_bprm_committed_creds(const struct linux_binprm *bprm); +void security_execve_abort(void); int security_fs_context_submount(struct fs_context *fc, struct super_block *reference); int security_fs_context_dup(struct fs_context *fc, struct fs_context *src_fc); int security_fs_context_parse_param(struct fs_context *fc, struct fs_parameter *param); @@ -648,6 +649,10 @@ static inline void security_bprm_committed_creds(const struct linux_binprm *bprm { } +static inline void security_execve_abort(void) +{ +} + static inline int security_fs_context_submount(struct fs_context *fc, struct super_block *reference) { diff --git a/security/security.c b/security/security.c index 3aaad75c9ce8..10adc4d3c5e0 100644 --- a/security/security.c +++ b/security/security.c @@ -1223,6 +1223,17 @@ void security_bprm_committed_creds(const struct linux_binprm *bprm) call_void_hook(bprm_committed_creds, bprm); } +/** + * security_execve_abort() - Notify that exec() has failed + * + * This hook is for undoing changes which cannot be discarded by + * abort_creds(). + */ +void security_execve_abort(void) +{ + call_void_hook(execve_abort); +} + /** * security_fs_context_submount() - Initialise fc->security * @fc: new filesystem context
A regression caused by commit 978ffcbf00d8 ("execve: open the executable file before doing anything else") has been fixed by commit 4759ff71f23e ("exec: Check __FMODE_EXEC instead of in_execve for LSMs") and commit 3eab830189d9 ("uselib: remove use of __FMODE_EXEC"). While fixing this regression, Linus commented that we want to remove current->in_execve flag. The current->in_execve flag was introduced by commit f9ce1f1cda8b ("Add in_execve flag into task_struct.") when TOMOYO LSM was merged, and the reason was explained in commit f7433243770c ("LSM adapter functions."). In short, TOMOYO's design is not compatible with COW credential model introduced in Linux 2.6.29, and the current->in_execve flag was added for emulating security_bprm_free() hook which has been removed by introduction of COW credential model. security_task_alloc()/security_task_free() hooks have been removed by commit f1752eec6145 ("CRED: Detach the credentials from task_struct"), and these hooks have been revived by commit 1a2a4d06e1e9 ("security: create task_free security callback") and commit e4e55b47ed9a ("LSM: Revive security_task_alloc() hook and per "struct task_struct" security blob."). But security_bprm_free() hook did not revive until now. Now that Linus wants TOMOYO to stop carrying state across two independent execve() calls, and TOMOYO can stop carrying state if a hook for restoring previous state upon failed execve() call were provided, this patch revives the hook. Since security_bprm_committing_creds() and security_bprm_committed_creds() hooks are called when an execve() request succeeded, we don't need to call security_bprm_free() hook when an execve() request succeeded. Therefore, this patch adds security_execve_abort() hook which is called only when an execve() request failed after successful prepare_bprm_creds() call. Signed-off-by: Tetsuo Handa <penguin-kernel@I-love.SAKURA.ne.jp> --- fs/exec.c | 1 + include/linux/lsm_hook_defs.h | 1 + include/linux/security.h | 5 +++++ security/security.c | 11 +++++++++++ 4 files changed, 18 insertions(+)