Hi, This height patch series rework the previous O_MAYEXEC series by not adding a new flag to openat2(2) but to faccessat2(2) instead. As suggested, this enables to perform the access check on a file descriptor instead of on a file path (while opening it). This may require two checks (one on open and then with faccessat2) but it is a more generic approach [8]. The IMA patch is removed for now because the only LSM hook triggered by faccessat2(2) is inode_permission() which takes a struct inode as argument. However, struct path and then struct file are still available in this syscall, which enables to add a new hook to fit the needs of IMA and other path-based LSMs. We also removed the three patches from Kees Cook which are no longer required for this new implementation. Goal of AT_INTERPRETED ====================== The goal of this patch series is to enable to control script execution with interpreters help. A new AT_INTERPRETED flag, usable through faccessat2(2), is added to enable userspace script interpreters to delegate to the kernel (and thus the system security policy) the permission to interpret/execute scripts or other files containing what can be seen as commands. A simple system-wide security policy can be enforced by the system administrator through a sysctl configuration consistent with the mount points or the file access rights. The documentation patch explains the prerequisites. Furthermore, the security policy can also be delegated to an LSM, either a MAC system or an integrity system. For instance, the new kernel MAY_INTERPRETED_EXEC flag is required to close a major IMA measurement/appraisal interpreter integrity gap by bringing the ability to check the use of scripts [1]. Other uses are expected, such as for magic-links [2], SGX integration [3], bpffs [4] or IPE [5]. Possible extended usage ======================= For now, only the X_OK mode is compatible with the AT_INTERPRETED flag. This enables to restrict the addition of new control flows in a process. Using R_OK or W_OK with AT_INTERPRETED returns -EINVAL. Possible future use-cases for R_OK with AT_INTERPRETED may be to check configuration files that may impact the behavior of applications (i.e. influence critical part of the current control flow). Those should then be trusted as well. The W_OK with AT_INTERPRETED could be used to check that a file descriptor is allowed to receive sensitive data such as debug logs. Prerequisite of its use ======================= Userspace needs to adapt to take advantage of this new feature. For example, the PEP 578 [6] (Runtime Audit Hooks) enables Python 3.8 to be extended with policy enforcement points related to code interpretation, which can be used to align with the PowerShell audit features. Additional Python security improvements (e.g. a limited interpreter without -c, stdin piping of code) are on their way [7]. Examples ======== The initial idea comes from CLIP OS 4 and the original implementation has been used for more than 12 years: https://github.com/clipos-archive/clipos4_doc Chrome OS has a similar approach: https://chromium.googlesource.com/chromiumos/docs/+/master/security/noexec_shell_scripts.md Userland patches can be found here: https://github.com/clipos-archive/clipos4_portage-overlay/search?q=O_MAYEXEC Actually, there is more than the O_MAYEXEC changes (which matches this search) e.g., to prevent Python interactive execution. There are patches for Bash, Wine, Java (Icedtea), Busybox's ash, Perl and Python. There are also some related patches which do not directly rely on O_MAYEXEC but which restrict the use of browser plugins and extensions, which may be seen as scripts too: https://github.com/clipos-archive/clipos4_portage-overlay/tree/master/www-client An introduction to O_MAYEXEC was given at the Linux Security Summit Europe 2018 - Linux Kernel Security Contributions by ANSSI: https://www.youtube.com/watch?v=chNjCRtPKQY&t=17m15s The "write xor execute" principle was explained at Kernel Recipes 2018 - CLIP OS: a defense-in-depth OS: https://www.youtube.com/watch?v=PjRE0uBtkHU&t=11m14s See also an overview article: https://lwn.net/Articles/820000/ This patch series can be applied on top of v5.9-rc4 . This can be tested with CONFIG_SYSCTL. I would really appreciate constructive comments on this patch series. Previous version: https://lore.kernel.org/lkml/20200723171227.446711-1-mic@xxxxxxxxxxx/ [1] https://lore.kernel.org/lkml/1544647356.4028.105.camel@xxxxxxxxxxxxx/ [2] https://lore.kernel.org/lkml/20190904201933.10736-6-cyphar@xxxxxxxxxx/ [3] https://lore.kernel.org/lkml/CALCETrVovr8XNZSroey7pHF46O=kj_c5D9K8h=z2T_cNrpvMig@xxxxxxxxxxxxxx/ [4] https://lore.kernel.org/lkml/CALCETrVeZ0eufFXwfhtaG_j+AdvbzEWE0M3wjXMWVEO7pj+xkw@xxxxxxxxxxxxxx/ [5] https://lore.kernel.org/lkml/20200406221439.1469862-12-deven.desai@xxxxxxxxxxxxxxxxxxx/ [6] https://www.python.org/dev/peps/pep-0578/ [7] https://lore.kernel.org/lkml/0c70debd-e79e-d514-06c6-4cd1e021fa8b@xxxxxxxxxx/ [8] https://lore.kernel.org/lkml/e7c1f99d7cdf706ca0867e5fb76ae4cb38bc83f5.camel@xxxxxxxxxxxxx/ Regards, Mickaël Salaün (3): fs: Introduce AT_INTERPRETED flag for faccessat2(2) fs,doc: Enable to configure exec checks for AT_INTERPRETED selftest/interpreter: Add tests for AT_INTERPRETED enforcing Documentation/admin-guide/sysctl/fs.rst | 54 +++ fs/open.c | 67 ++- include/linux/fs.h | 3 + include/uapi/linux/fcntl.h | 12 +- kernel/sysctl.c | 12 +- .../testing/selftests/interpreter/.gitignore | 2 + tools/testing/selftests/interpreter/Makefile | 18 + tools/testing/selftests/interpreter/config | 1 + .../interpreter/interpreted_access_test.c | 384 ++++++++++++++++++ 9 files changed, 548 insertions(+), 5 deletions(-) create mode 100644 tools/testing/selftests/interpreter/.gitignore create mode 100644 tools/testing/selftests/interpreter/Makefile create mode 100644 tools/testing/selftests/interpreter/config create mode 100644 tools/testing/selftests/interpreter/interpreted_access_test.c -- 2.28.0
