# This file is part of BenchExec, a framework for reliable benchmarking:
# https://github.com/sosy-lab/benchexec
#
# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
#
# SPDX-License-Identifier: Apache-2.0

"""Utility functions adding a seccomp filter."""

import ctypes
from ctypes import c_int, c_uint, c_uint32, c_char_p, c_void_p
import errno
import logging
import os
import threading
import benchexec.libc as libc

# /usr/include/seccomp.h
SCMP_ACT_ALLOW = 0x7FFF0000
SCMP_ACT_ENOSYS = 0x00050000 | errno.ENOSYS

_scmp_filter_ctx = c_void_p
_SECCOMP_MODE_FILTER = 2  # /usr/include/linux/seccomp.h

# By default, a seccomp filter only allows syscall that match the native architecture.
# In some cases, it is common to run binaries with a different architecture
# (e.g., x86 binaries on an x86_64 kernel) and we want to allow such binaries and filter
# their syscalls. Thus we need a list of architectures of which we expect binaries to
# occur even though the native architecture is different. This is commonly the case for
# 32-bit counterparts of 64-bit architectures.
_ALLOWED_COMPATIBILITY_ARCHITECTURES = [b"x86", b"x32", b"arm"]

_AVAILABLE = None
_LOAD_LOCK = threading.Lock()
_lib = None

_check_errno = libc._check_errno


def _check_null(result, func, arguments):
    """Check that a ctypes function returned something else than null."""
    if result:
        return result

    func_name = getattr(func, "__name__", "__unknown__")
    raise OSError(f"{func_name}({', '.join(map(str, arguments))}) returned null")


def _load_seccomp():
    # First check if seccomp has a chance of working.
    try:
        libc.prctl(libc.PR_GET_SECCOMP, 0, 0, 0, 0)
    except OSError as e:
        logging.warning(
            "Seccomp is not available, container isolation is degraded (%s).",
            os.strerror(e.errno),
        )
        return False

    try:
        libc.prctl(libc.PR_SET_SECCOMP, _SECCOMP_MODE_FILTER, 0, 0, 0)
    except OSError as e:
        # EFAULT is expected if passing null pointer as filter argument
        if e.errno != errno.EFAULT:
            logging.warning(
                "Unexpected failure when enabling seccomp filter, "
                "container isolation is degraded (%s).",
                e,
            )
            return False
    else:
        logging.warning(
            "Unexpected failure when enabling seccomp filter, "
            "container isolation is degraded."
        )
        return False

    # Load library with utility functions.
    global _lib
    try:
        libseccomp = os.environ.get("LIBSECCOMP", "libseccomp.so.2")
        _lib = ctypes.CDLL(libseccomp, use_errno=True)
    except OSError as e:
        logging.warning(
            "Could not load libseccomp2, "
            "please install it for improved container isolation (%s).",
            e,
        )
        return False

    _lib.seccomp_init.argtypes = [c_uint32]
    _lib.seccomp_init.restype = _scmp_filter_ctx
    _lib.seccomp_init.errcheck = _check_null

    _lib.seccomp_release.argtypes = [_scmp_filter_ctx]
    _lib.seccomp_release.restype = None

    _lib.seccomp_export_pfc.argtypes = [_scmp_filter_ctx, c_int]
    _lib.seccomp_export_pfc.errcheck = _check_errno

    _lib.seccomp_load.argtypes = [_scmp_filter_ctx]
    _lib.seccomp_load.errcheck = _check_errno

    _lib.seccomp_arch_resolve_name.argtypes = [c_char_p]
    _lib.seccomp_arch_resolve_name.restype = c_uint32

    _lib.seccomp_arch_add.argtypes = [_scmp_filter_ctx, c_uint32]
    _lib.seccomp_arch_add.errcheck = _check_errno

    _lib.seccomp_syscall_resolve_name.argtypes = [c_char_p]
    _lib.seccomp_syscall_resolve_name.restype = c_int

    _lib.seccomp_rule_add.argtypes = [_scmp_filter_ctx, c_uint32, c_int, c_uint]
    _lib.seccomp_rule_add.errcheck = _check_errno

    return True


def is_available():
    """
    Check if seccomp is available and expected to work on this system.
    If seccomp is not available an appropriate warning is logged.
    """
    global _AVAILABLE
    # Make sure to call _load_seccomp() exactly once.
    with _LOAD_LOCK:
        if _AVAILABLE is None:
            _AVAILABLE = _load_seccomp()

        return _AVAILABLE


class SeccompFilter(object):
    """
    Encapsulates a seccomp filter that can be incrementally built and loaded.
    This class is a single-use context manager,
    it is recommended to use it in a with statement.
    This class can only be used if is_available() returns True.
    """

    def __init__(self, default_action=SCMP_ACT_ALLOW):
        """
        Create instance and specify default action for all syscalls
        that are not matched by any rule.
        """
        assert is_available()
        self.filter = _lib.seccomp_init(default_action)
        # By default, a seccomp filter only allows syscall that match the native
        # architecture, but we also want to allow some other architectures and add the
        # appropriate filters for them (libseccomp does this automatically and correctly
        # after seccomp_arch_add was used). We could allow other architectures in a more
        # fine-granular way (e.g., 32bit ARM only on 64bit ARM), but this is not
        # necessary, it would just reduce the size of the filter program slightly.
        for arch in _ALLOWED_COMPATIBILITY_ARCHITECTURES:
            _lib.seccomp_arch_add(self.filter, _lib.seccomp_arch_resolve_name(arch))

    def __enter__(self):
        return self

    def __exit__(self, *exc_details):
        self.free()

    def add_rule(self, action, syscall):
        """
        Add a rule for a specific syscall.
        @param action: A number like SCMP_ACT_ALLOW or SCMP_ACT_ENOSYS
        @param syscall: A syscall name or number (on the native architecture)
        """
        if not isinstance(syscall, int):
            syscall = _lib.seccomp_syscall_resolve_name(syscall)
        _lib.seccomp_rule_add(self.filter, action, syscall, 0)

    def activate(self):
        """Activate the given seccomp filter for the current process in the kernel."""
        _lib.seccomp_load(self.filter)

    def print_to(self, fd):
        """Print debug info about the current filter to the given file descriptor."""
        _lib.seccomp_export_pfc(self.filter, fd)

    def free(self):
        _lib.seccomp_release(self.filter)
        self.filter = None

@@ -2543,32 +2543,95 @@
 l _lib%0A    try:%0A
+        # Allow overriding library lookup for cases like NixOS%0A
         libsecco

add explanatory comment