2004-02-26 03:51:04 +00:00
|
|
|
/*-
|
|
|
|
* Copyright (c) 1999-2002 Robert N. M. Watson
|
|
|
|
* Copyright (c) 2001 Ilmar S. Habibulin
|
2005-04-16 18:46:29 +00:00
|
|
|
* Copyright (c) 2001-2005 Networks Associates Technology, Inc.
|
2007-10-24 19:04:04 +00:00
|
|
|
* Copyright (c) 2005-2006 SPARTA, Inc.
|
Introduce two related changes to the TrustedBSD MAC Framework:
(1) Abstract interpreter vnode labeling in execve(2) and mac_execve(2)
so that the general exec code isn't aware of the details of
allocating, copying, and freeing labels, rather, simply passes in
a void pointer to start and stop functions that will be used by
the framework. This change will be MFC'd.
(2) Introduce a new flags field to the MAC_POLICY_SET(9) interface
allowing policies to declare which types of objects require label
allocation, initialization, and destruction, and define a set of
flags covering various supported object types (MPC_OBJECT_PROC,
MPC_OBJECT_VNODE, MPC_OBJECT_INPCB, ...). This change reduces the
overhead of compiling the MAC Framework into the kernel if policies
aren't loaded, or if policies require labels on only a small number
or even no object types. Each time a policy is loaded or unloaded,
we recalculate a mask of labeled object types across all policies
present in the system. Eliminate MAC_ALWAYS_LABEL_MBUF option as it
is no longer required.
MFC after: 1 week ((1) only)
Reviewed by: csjp
Obtained from: TrustedBSD Project
Sponsored by: Apple, Inc.
2008-08-23 15:26:36 +00:00
|
|
|
* Copyright (c) 2008 Apple Inc.
|
2004-02-26 03:51:04 +00:00
|
|
|
* All rights reserved.
|
|
|
|
*
|
|
|
|
* This software was developed by Robert Watson and Ilmar Habibulin for the
|
|
|
|
* TrustedBSD Project.
|
|
|
|
*
|
2005-04-16 18:46:29 +00:00
|
|
|
* This software was developed for the FreeBSD Project in part by McAfee
|
|
|
|
* Research, the Technology Research Division of Network Associates, Inc.
|
|
|
|
* under DARPA/SPAWAR contract N66001-01-C-8035 ("CBOSS"), as part of the
|
|
|
|
* DARPA CHATS research program.
|
2006-12-20 23:16:41 +00:00
|
|
|
*
|
2005-07-05 22:49:10 +00:00
|
|
|
* This software was enhanced by SPARTA ISSO under SPAWAR contract
|
|
|
|
* N66001-04-C-6019 ("SEFOS").
|
2004-02-26 03:51:04 +00:00
|
|
|
*
|
|
|
|
* Redistribution and use in source and binary forms, with or without
|
|
|
|
* modification, are permitted provided that the following conditions
|
|
|
|
* are met:
|
|
|
|
* 1. Redistributions of source code must retain the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer.
|
|
|
|
* 2. Redistributions in binary form must reproduce the above copyright
|
|
|
|
* notice, this list of conditions and the following disclaimer in the
|
|
|
|
* documentation and/or other materials provided with the distribution.
|
|
|
|
*
|
|
|
|
* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
|
|
|
|
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
|
|
|
|
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
|
|
|
|
* ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
|
|
|
|
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
|
|
|
|
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
|
|
|
|
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
|
|
|
|
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
|
|
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
|
|
|
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
|
|
* SUCH DAMAGE.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <sys/cdefs.h>
|
|
|
|
__FBSDID("$FreeBSD$");
|
|
|
|
|
|
|
|
#include "opt_mac.h"
|
|
|
|
|
|
|
|
#include <sys/param.h>
|
|
|
|
#include <sys/kernel.h>
|
|
|
|
#include <sys/lock.h>
|
|
|
|
#include <sys/malloc.h>
|
|
|
|
#include <sys/mutex.h>
|
|
|
|
#include <sys/mac.h>
|
|
|
|
#include <sys/sbuf.h>
|
|
|
|
#include <sys/systm.h>
|
|
|
|
#include <sys/mount.h>
|
|
|
|
#include <sys/file.h>
|
|
|
|
#include <sys/namei.h>
|
|
|
|
#include <sys/protosw.h>
|
|
|
|
#include <sys/socket.h>
|
|
|
|
#include <sys/socketvar.h>
|
|
|
|
#include <sys/sysctl.h>
|
|
|
|
|
|
|
|
#include <net/bpfdesc.h>
|
|
|
|
#include <net/if.h>
|
|
|
|
#include <net/if_var.h>
|
|
|
|
|
|
|
|
#include <netinet/in.h>
|
|
|
|
#include <netinet/in_pcb.h>
|
|
|
|
#include <netinet/ip_var.h>
|
|
|
|
|
2006-10-22 11:52:19 +00:00
|
|
|
#include <security/mac/mac_framework.h>
|
2004-02-26 03:51:04 +00:00
|
|
|
#include <security/mac/mac_internal.h>
|
2006-12-22 23:34:47 +00:00
|
|
|
#include <security/mac/mac_policy.h>
|
2004-02-26 03:51:04 +00:00
|
|
|
|
2006-12-20 23:16:41 +00:00
|
|
|
/*
|
|
|
|
* Currently, sockets hold two labels: the label of the socket itself, and a
|
|
|
|
* peer label, which may be used by policies to hold a copy of the label of
|
|
|
|
* any remote endpoint.
|
|
|
|
*
|
|
|
|
* Possibly, this peer label should be maintained at the protocol layer
|
|
|
|
* (inpcb, unpcb, etc), as this would allow protocol-aware code to maintain
|
|
|
|
* the label consistently. For example, it might be copied live from a
|
|
|
|
* remote socket for UNIX domain sockets rather than keeping a local copy on
|
|
|
|
* this endpoint, but be cached and updated based on packets received for
|
|
|
|
* TCP/IP.
|
|
|
|
*/
|
|
|
|
|
2004-02-26 03:51:04 +00:00
|
|
|
struct label *
|
|
|
|
mac_socket_label_alloc(int flag)
|
|
|
|
{
|
|
|
|
struct label *label;
|
|
|
|
int error;
|
|
|
|
|
|
|
|
label = mac_labelzone_alloc(flag);
|
|
|
|
if (label == NULL)
|
|
|
|
return (NULL);
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_CHECK(socket_init_label, label, flag);
|
2004-02-26 03:51:04 +00:00
|
|
|
if (error) {
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_PERFORM(socket_destroy_label, label);
|
2004-02-26 03:51:04 +00:00
|
|
|
mac_labelzone_free(label);
|
|
|
|
return (NULL);
|
|
|
|
}
|
|
|
|
return (label);
|
|
|
|
}
|
|
|
|
|
|
|
|
static struct label *
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socketpeer_label_alloc(int flag)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
struct label *label;
|
|
|
|
int error;
|
|
|
|
|
|
|
|
label = mac_labelzone_alloc(flag);
|
|
|
|
if (label == NULL)
|
|
|
|
return (NULL);
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_CHECK(socketpeer_init_label, label, flag);
|
2004-02-26 03:51:04 +00:00
|
|
|
if (error) {
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_PERFORM(socketpeer_destroy_label, label);
|
2004-02-26 03:51:04 +00:00
|
|
|
mac_labelzone_free(label);
|
|
|
|
return (NULL);
|
|
|
|
}
|
|
|
|
return (label);
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_init(struct socket *so, int flag)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
|
Introduce two related changes to the TrustedBSD MAC Framework:
(1) Abstract interpreter vnode labeling in execve(2) and mac_execve(2)
so that the general exec code isn't aware of the details of
allocating, copying, and freeing labels, rather, simply passes in
a void pointer to start and stop functions that will be used by
the framework. This change will be MFC'd.
(2) Introduce a new flags field to the MAC_POLICY_SET(9) interface
allowing policies to declare which types of objects require label
allocation, initialization, and destruction, and define a set of
flags covering various supported object types (MPC_OBJECT_PROC,
MPC_OBJECT_VNODE, MPC_OBJECT_INPCB, ...). This change reduces the
overhead of compiling the MAC Framework into the kernel if policies
aren't loaded, or if policies require labels on only a small number
or even no object types. Each time a policy is loaded or unloaded,
we recalculate a mask of labeled object types across all policies
present in the system. Eliminate MAC_ALWAYS_LABEL_MBUF option as it
is no longer required.
MFC after: 1 week ((1) only)
Reviewed by: csjp
Obtained from: TrustedBSD Project
Sponsored by: Apple, Inc.
2008-08-23 15:26:36 +00:00
|
|
|
if (mac_labeled & MPC_OBJECT_SOCKET) {
|
|
|
|
so->so_label = mac_socket_label_alloc(flag);
|
|
|
|
if (so->so_label == NULL)
|
|
|
|
return (ENOMEM);
|
|
|
|
so->so_peerlabel = mac_socketpeer_label_alloc(flag);
|
|
|
|
if (so->so_peerlabel == NULL) {
|
|
|
|
mac_socket_label_free(so->so_label);
|
|
|
|
so->so_label = NULL;
|
|
|
|
return (ENOMEM);
|
|
|
|
}
|
|
|
|
} else {
|
2004-02-26 03:51:04 +00:00
|
|
|
so->so_label = NULL;
|
Introduce two related changes to the TrustedBSD MAC Framework:
(1) Abstract interpreter vnode labeling in execve(2) and mac_execve(2)
so that the general exec code isn't aware of the details of
allocating, copying, and freeing labels, rather, simply passes in
a void pointer to start and stop functions that will be used by
the framework. This change will be MFC'd.
(2) Introduce a new flags field to the MAC_POLICY_SET(9) interface
allowing policies to declare which types of objects require label
allocation, initialization, and destruction, and define a set of
flags covering various supported object types (MPC_OBJECT_PROC,
MPC_OBJECT_VNODE, MPC_OBJECT_INPCB, ...). This change reduces the
overhead of compiling the MAC Framework into the kernel if policies
aren't loaded, or if policies require labels on only a small number
or even no object types. Each time a policy is loaded or unloaded,
we recalculate a mask of labeled object types across all policies
present in the system. Eliminate MAC_ALWAYS_LABEL_MBUF option as it
is no longer required.
MFC after: 1 week ((1) only)
Reviewed by: csjp
Obtained from: TrustedBSD Project
Sponsored by: Apple, Inc.
2008-08-23 15:26:36 +00:00
|
|
|
so->so_peerlabel = NULL;
|
2004-02-26 03:51:04 +00:00
|
|
|
}
|
|
|
|
return (0);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
mac_socket_label_free(struct label *label)
|
|
|
|
{
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_PERFORM(socket_destroy_label, label);
|
2004-02-26 03:51:04 +00:00
|
|
|
mac_labelzone_free(label);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socketpeer_label_free(struct label *label)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_PERFORM(socketpeer_destroy_label, label);
|
2004-02-26 03:51:04 +00:00
|
|
|
mac_labelzone_free(label);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_destroy(struct socket *so)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
|
Introduce two related changes to the TrustedBSD MAC Framework:
(1) Abstract interpreter vnode labeling in execve(2) and mac_execve(2)
so that the general exec code isn't aware of the details of
allocating, copying, and freeing labels, rather, simply passes in
a void pointer to start and stop functions that will be used by
the framework. This change will be MFC'd.
(2) Introduce a new flags field to the MAC_POLICY_SET(9) interface
allowing policies to declare which types of objects require label
allocation, initialization, and destruction, and define a set of
flags covering various supported object types (MPC_OBJECT_PROC,
MPC_OBJECT_VNODE, MPC_OBJECT_INPCB, ...). This change reduces the
overhead of compiling the MAC Framework into the kernel if policies
aren't loaded, or if policies require labels on only a small number
or even no object types. Each time a policy is loaded or unloaded,
we recalculate a mask of labeled object types across all policies
present in the system. Eliminate MAC_ALWAYS_LABEL_MBUF option as it
is no longer required.
MFC after: 1 week ((1) only)
Reviewed by: csjp
Obtained from: TrustedBSD Project
Sponsored by: Apple, Inc.
2008-08-23 15:26:36 +00:00
|
|
|
if (so->so_label != NULL) {
|
|
|
|
mac_socket_label_free(so->so_label);
|
|
|
|
so->so_label = NULL;
|
|
|
|
mac_socketpeer_label_free(so->so_peerlabel);
|
|
|
|
so->so_peerlabel = NULL;
|
|
|
|
}
|
2004-02-26 03:51:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_copy_label(struct label *src, struct label *dest)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_PERFORM(socket_copy_label, src, dest);
|
2004-02-26 03:51:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_externalize_label(struct label *label, char *elements,
|
2004-02-26 03:51:04 +00:00
|
|
|
char *outbuf, size_t outbuflen)
|
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
|
|
|
MAC_EXTERNALIZE(socket, label, elements, outbuf, outbuflen);
|
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socketpeer_externalize_label(struct label *label, char *elements,
|
2004-02-26 03:51:04 +00:00
|
|
|
char *outbuf, size_t outbuflen)
|
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_EXTERNALIZE(socketpeer, label, elements, outbuf, outbuflen);
|
2004-02-26 03:51:04 +00:00
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_internalize_label(struct label *label, char *string)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
|
|
|
MAC_INTERNALIZE(socket, label, string);
|
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_create(struct ucred *cred, struct socket *so)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_PERFORM(socket_create, cred, so, so->so_label);
|
2004-02-26 03:51:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_newconn(struct socket *oldso, struct socket *newso)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
|
2007-04-22 19:55:56 +00:00
|
|
|
SOCK_LOCK_ASSERT(oldso);
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_PERFORM(socket_newconn, oldso, oldso->so_label, newso,
|
2007-04-22 19:55:56 +00:00
|
|
|
newso->so_label);
|
2004-02-26 03:51:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_relabel(struct ucred *cred, struct socket *so,
|
2004-02-26 03:51:04 +00:00
|
|
|
struct label *newlabel)
|
|
|
|
{
|
|
|
|
|
2007-04-22 19:55:56 +00:00
|
|
|
SOCK_LOCK_ASSERT(so);
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_PERFORM(socket_relabel, cred, so, so->so_label, newlabel);
|
2004-02-26 03:51:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socketpeer_set_from_mbuf(struct mbuf *m, struct socket *so)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
struct label *label;
|
|
|
|
|
2007-04-22 19:55:56 +00:00
|
|
|
SOCK_LOCK_ASSERT(so);
|
2004-06-13 02:50:07 +00:00
|
|
|
|
2007-04-22 19:55:56 +00:00
|
|
|
label = mac_mbuf_to_label(m);
|
2004-02-26 03:51:04 +00:00
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_PERFORM(socketpeer_set_from_mbuf, m, label, so,
|
2007-04-22 19:55:56 +00:00
|
|
|
so->so_peerlabel);
|
2004-02-26 03:51:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socketpeer_set_from_socket(struct socket *oldso, struct socket *newso)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
|
2004-06-13 02:50:07 +00:00
|
|
|
/*
|
2006-12-20 23:16:41 +00:00
|
|
|
* XXXRW: only hold the socket lock on one at a time, as one socket
|
|
|
|
* is the original, and one is the new. However, it's called in both
|
|
|
|
* directions, so we can't assert the lock here currently.
|
2004-06-13 02:50:07 +00:00
|
|
|
*/
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_PERFORM(socketpeer_set_from_socket, oldso, oldso->so_label,
|
2007-04-22 19:55:56 +00:00
|
|
|
newso, newso->so_peerlabel);
|
2004-02-26 03:51:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_create_mbuf(struct socket *so, struct mbuf *m)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
struct label *label;
|
|
|
|
|
2007-04-22 19:55:56 +00:00
|
|
|
SOCK_LOCK_ASSERT(so);
|
|
|
|
|
|
|
|
label = mac_mbuf_to_label(m);
|
2004-02-26 03:51:04 +00:00
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_PERFORM(socket_create_mbuf, so, so->so_label, m, label);
|
2004-02-26 03:51:04 +00:00
|
|
|
}
|
|
|
|
|
2005-04-16 18:46:29 +00:00
|
|
|
int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_check_accept(struct ucred *cred, struct socket *so)
|
2005-04-16 18:46:29 +00:00
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
2007-04-22 19:55:56 +00:00
|
|
|
SOCK_LOCK_ASSERT(so);
|
2005-04-16 18:46:29 +00:00
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_CHECK(socket_check_accept, cred, so, so->so_label);
|
2005-04-16 18:46:29 +00:00
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
2004-02-26 03:51:04 +00:00
|
|
|
int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_check_bind(struct ucred *ucred, struct socket *so,
|
2007-04-22 19:55:56 +00:00
|
|
|
struct sockaddr *sa)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
2007-04-22 19:55:56 +00:00
|
|
|
SOCK_LOCK_ASSERT(so);
|
2004-06-13 02:50:07 +00:00
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_CHECK(socket_check_bind, ucred, so, so->so_label, sa);
|
2004-02-26 03:51:04 +00:00
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_check_connect(struct ucred *cred, struct socket *so,
|
2007-04-22 19:55:56 +00:00
|
|
|
struct sockaddr *sa)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
2007-04-22 19:55:56 +00:00
|
|
|
SOCK_LOCK_ASSERT(so);
|
2004-06-13 02:50:07 +00:00
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_CHECK(socket_check_connect, cred, so, so->so_label, sa);
|
2004-02-26 03:51:04 +00:00
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
2005-07-05 22:49:10 +00:00
|
|
|
int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_check_create(struct ucred *cred, int domain, int type, int proto)
|
2005-07-05 22:49:10 +00:00
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_CHECK(socket_check_create, cred, domain, type, proto);
|
2005-07-05 22:49:10 +00:00
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
2004-02-26 03:51:04 +00:00
|
|
|
int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_check_deliver(struct socket *so, struct mbuf *m)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
struct label *label;
|
|
|
|
int error;
|
|
|
|
|
2007-04-22 19:55:56 +00:00
|
|
|
SOCK_LOCK_ASSERT(so);
|
2004-06-13 02:50:07 +00:00
|
|
|
|
2007-04-22 19:55:56 +00:00
|
|
|
label = mac_mbuf_to_label(m);
|
2004-02-26 03:51:04 +00:00
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_CHECK(socket_check_deliver, so, so->so_label, m, label);
|
2004-02-26 03:51:04 +00:00
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_check_listen(struct ucred *cred, struct socket *so)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
2007-04-22 19:55:56 +00:00
|
|
|
SOCK_LOCK_ASSERT(so);
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_CHECK(socket_check_listen, cred, so, so->so_label);
|
2004-06-13 02:50:07 +00:00
|
|
|
|
2004-02-26 03:51:04 +00:00
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
2005-04-16 18:46:29 +00:00
|
|
|
int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_check_poll(struct ucred *cred, struct socket *so)
|
2005-04-16 18:46:29 +00:00
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
|
|
|
SOCK_LOCK_ASSERT(so);
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_CHECK(socket_check_poll, cred, so, so->so_label);
|
2007-04-22 19:55:56 +00:00
|
|
|
|
2005-04-16 18:46:29 +00:00
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
2004-02-26 03:51:04 +00:00
|
|
|
int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_check_receive(struct ucred *cred, struct socket *so)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
2004-06-13 02:50:07 +00:00
|
|
|
SOCK_LOCK_ASSERT(so);
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_CHECK(socket_check_receive, cred, so, so->so_label);
|
2004-02-26 03:51:04 +00:00
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
static int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_check_relabel(struct ucred *cred, struct socket *so,
|
2004-02-26 03:51:04 +00:00
|
|
|
struct label *newlabel)
|
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
2007-04-22 19:55:56 +00:00
|
|
|
SOCK_LOCK_ASSERT(so);
|
2004-06-13 02:50:07 +00:00
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_CHECK(socket_check_relabel, cred, so, so->so_label, newlabel);
|
2004-02-26 03:51:04 +00:00
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_check_send(struct ucred *cred, struct socket *so)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
2004-06-13 02:50:07 +00:00
|
|
|
SOCK_LOCK_ASSERT(so);
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_CHECK(socket_check_send, cred, so, so->so_label);
|
2004-02-26 03:51:04 +00:00
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
2005-04-16 18:46:29 +00:00
|
|
|
int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_check_stat(struct ucred *cred, struct socket *so)
|
2005-04-16 18:46:29 +00:00
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
|
|
|
SOCK_LOCK_ASSERT(so);
|
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_CHECK(socket_check_stat, cred, so, so->so_label);
|
2005-04-16 18:46:29 +00:00
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
2004-02-26 03:51:04 +00:00
|
|
|
int
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_check_visible(struct ucred *cred, struct socket *so)
|
2004-02-26 03:51:04 +00:00
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
2007-04-22 19:55:56 +00:00
|
|
|
SOCK_LOCK_ASSERT(so);
|
2004-06-13 02:50:07 +00:00
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
MAC_CHECK(socket_check_visible, cred, so, so->so_label);
|
2004-02-26 03:51:04 +00:00
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
mac_socket_label_set(struct ucred *cred, struct socket *so,
|
|
|
|
struct label *label)
|
|
|
|
{
|
|
|
|
int error;
|
|
|
|
|
2004-06-13 02:50:07 +00:00
|
|
|
/*
|
2006-12-20 23:16:41 +00:00
|
|
|
* We acquire the socket lock when we perform the test and set, but
|
|
|
|
* have to release it as the pcb code needs to acquire the pcb lock,
|
|
|
|
* which will precede the socket lock in the lock order. However,
|
|
|
|
* this is fine, as any race will simply result in the inpcb being
|
|
|
|
* refreshed twice, but still consistently, as the inpcb code will
|
|
|
|
* acquire the socket lock before refreshing, holding both locks.
|
2004-06-13 02:50:07 +00:00
|
|
|
*/
|
|
|
|
SOCK_LOCK(so);
|
2007-10-24 19:04:04 +00:00
|
|
|
error = mac_socket_check_relabel(cred, so, label);
|
2004-06-13 02:50:07 +00:00
|
|
|
if (error) {
|
|
|
|
SOCK_UNLOCK(so);
|
2004-02-26 03:51:04 +00:00
|
|
|
return (error);
|
2004-06-13 02:50:07 +00:00
|
|
|
}
|
2004-02-26 03:51:04 +00:00
|
|
|
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_relabel(cred, so, label);
|
2004-06-13 02:50:07 +00:00
|
|
|
SOCK_UNLOCK(so);
|
2006-12-20 23:16:41 +00:00
|
|
|
|
2004-02-26 03:51:04 +00:00
|
|
|
/*
|
|
|
|
* If the protocol has expressed interest in socket layer changes,
|
2006-12-20 23:16:41 +00:00
|
|
|
* such as if it needs to propagate changes to a cached pcb label
|
|
|
|
* from the socket, notify it of the label change while holding the
|
|
|
|
* socket lock.
|
2004-02-26 03:51:04 +00:00
|
|
|
*/
|
|
|
|
if (so->so_proto->pr_usrreqs->pru_sosetlabel != NULL)
|
|
|
|
(so->so_proto->pr_usrreqs->pru_sosetlabel)(so);
|
|
|
|
|
|
|
|
return (0);
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
mac_setsockopt_label(struct ucred *cred, struct socket *so, struct mac *mac)
|
|
|
|
{
|
|
|
|
struct label *intlabel;
|
|
|
|
char *buffer;
|
|
|
|
int error;
|
|
|
|
|
Introduce two related changes to the TrustedBSD MAC Framework:
(1) Abstract interpreter vnode labeling in execve(2) and mac_execve(2)
so that the general exec code isn't aware of the details of
allocating, copying, and freeing labels, rather, simply passes in
a void pointer to start and stop functions that will be used by
the framework. This change will be MFC'd.
(2) Introduce a new flags field to the MAC_POLICY_SET(9) interface
allowing policies to declare which types of objects require label
allocation, initialization, and destruction, and define a set of
flags covering various supported object types (MPC_OBJECT_PROC,
MPC_OBJECT_VNODE, MPC_OBJECT_INPCB, ...). This change reduces the
overhead of compiling the MAC Framework into the kernel if policies
aren't loaded, or if policies require labels on only a small number
or even no object types. Each time a policy is loaded or unloaded,
we recalculate a mask of labeled object types across all policies
present in the system. Eliminate MAC_ALWAYS_LABEL_MBUF option as it
is no longer required.
MFC after: 1 week ((1) only)
Reviewed by: csjp
Obtained from: TrustedBSD Project
Sponsored by: Apple, Inc.
2008-08-23 15:26:36 +00:00
|
|
|
if (!(mac_labeled & MPC_OBJECT_SOCKET))
|
|
|
|
return (EINVAL);
|
|
|
|
|
2004-02-26 03:51:04 +00:00
|
|
|
error = mac_check_structmac_consistent(mac);
|
|
|
|
if (error)
|
|
|
|
return (error);
|
|
|
|
|
|
|
|
buffer = malloc(mac->m_buflen, M_MACTEMP, M_WAITOK);
|
|
|
|
error = copyinstr(mac->m_string, buffer, mac->m_buflen, NULL);
|
|
|
|
if (error) {
|
|
|
|
free(buffer, M_MACTEMP);
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
intlabel = mac_socket_label_alloc(M_WAITOK);
|
2007-10-24 19:04:04 +00:00
|
|
|
error = mac_socket_internalize_label(intlabel, buffer);
|
2004-02-26 03:51:04 +00:00
|
|
|
free(buffer, M_MACTEMP);
|
|
|
|
if (error)
|
|
|
|
goto out;
|
|
|
|
|
|
|
|
error = mac_socket_label_set(cred, so, intlabel);
|
|
|
|
out:
|
|
|
|
mac_socket_label_free(intlabel);
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
mac_getsockopt_label(struct ucred *cred, struct socket *so, struct mac *mac)
|
|
|
|
{
|
|
|
|
char *buffer, *elements;
|
2004-06-13 02:50:07 +00:00
|
|
|
struct label *intlabel;
|
2004-02-26 03:51:04 +00:00
|
|
|
int error;
|
|
|
|
|
Introduce two related changes to the TrustedBSD MAC Framework:
(1) Abstract interpreter vnode labeling in execve(2) and mac_execve(2)
so that the general exec code isn't aware of the details of
allocating, copying, and freeing labels, rather, simply passes in
a void pointer to start and stop functions that will be used by
the framework. This change will be MFC'd.
(2) Introduce a new flags field to the MAC_POLICY_SET(9) interface
allowing policies to declare which types of objects require label
allocation, initialization, and destruction, and define a set of
flags covering various supported object types (MPC_OBJECT_PROC,
MPC_OBJECT_VNODE, MPC_OBJECT_INPCB, ...). This change reduces the
overhead of compiling the MAC Framework into the kernel if policies
aren't loaded, or if policies require labels on only a small number
or even no object types. Each time a policy is loaded or unloaded,
we recalculate a mask of labeled object types across all policies
present in the system. Eliminate MAC_ALWAYS_LABEL_MBUF option as it
is no longer required.
MFC after: 1 week ((1) only)
Reviewed by: csjp
Obtained from: TrustedBSD Project
Sponsored by: Apple, Inc.
2008-08-23 15:26:36 +00:00
|
|
|
if (!(mac_labeled & MPC_OBJECT_SOCKET))
|
|
|
|
return (EINVAL);
|
|
|
|
|
2004-02-26 03:51:04 +00:00
|
|
|
error = mac_check_structmac_consistent(mac);
|
|
|
|
if (error)
|
|
|
|
return (error);
|
|
|
|
|
|
|
|
elements = malloc(mac->m_buflen, M_MACTEMP, M_WAITOK);
|
|
|
|
error = copyinstr(mac->m_string, elements, mac->m_buflen, NULL);
|
|
|
|
if (error) {
|
|
|
|
free(elements, M_MACTEMP);
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
buffer = malloc(mac->m_buflen, M_MACTEMP, M_WAITOK | M_ZERO);
|
2004-06-13 02:50:07 +00:00
|
|
|
intlabel = mac_socket_label_alloc(M_WAITOK);
|
|
|
|
SOCK_LOCK(so);
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_copy_label(so->so_label, intlabel);
|
2004-06-13 02:50:07 +00:00
|
|
|
SOCK_UNLOCK(so);
|
2007-10-24 19:04:04 +00:00
|
|
|
error = mac_socket_externalize_label(intlabel, elements, buffer,
|
2004-06-13 02:50:07 +00:00
|
|
|
mac->m_buflen);
|
|
|
|
mac_socket_label_free(intlabel);
|
2004-02-26 03:51:04 +00:00
|
|
|
if (error == 0)
|
|
|
|
error = copyout(buffer, mac->m_string, strlen(buffer)+1);
|
|
|
|
|
|
|
|
free(buffer, M_MACTEMP);
|
|
|
|
free(elements, M_MACTEMP);
|
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
mac_getsockopt_peerlabel(struct ucred *cred, struct socket *so,
|
|
|
|
struct mac *mac)
|
|
|
|
{
|
|
|
|
char *elements, *buffer;
|
2004-06-13 02:50:07 +00:00
|
|
|
struct label *intlabel;
|
2004-02-26 03:51:04 +00:00
|
|
|
int error;
|
|
|
|
|
Introduce two related changes to the TrustedBSD MAC Framework:
(1) Abstract interpreter vnode labeling in execve(2) and mac_execve(2)
so that the general exec code isn't aware of the details of
allocating, copying, and freeing labels, rather, simply passes in
a void pointer to start and stop functions that will be used by
the framework. This change will be MFC'd.
(2) Introduce a new flags field to the MAC_POLICY_SET(9) interface
allowing policies to declare which types of objects require label
allocation, initialization, and destruction, and define a set of
flags covering various supported object types (MPC_OBJECT_PROC,
MPC_OBJECT_VNODE, MPC_OBJECT_INPCB, ...). This change reduces the
overhead of compiling the MAC Framework into the kernel if policies
aren't loaded, or if policies require labels on only a small number
or even no object types. Each time a policy is loaded or unloaded,
we recalculate a mask of labeled object types across all policies
present in the system. Eliminate MAC_ALWAYS_LABEL_MBUF option as it
is no longer required.
MFC after: 1 week ((1) only)
Reviewed by: csjp
Obtained from: TrustedBSD Project
Sponsored by: Apple, Inc.
2008-08-23 15:26:36 +00:00
|
|
|
if (!(mac_labeled & MPC_OBJECT_SOCKET))
|
|
|
|
return (EINVAL);
|
|
|
|
|
2004-02-26 03:51:04 +00:00
|
|
|
error = mac_check_structmac_consistent(mac);
|
|
|
|
if (error)
|
|
|
|
return (error);
|
|
|
|
|
|
|
|
elements = malloc(mac->m_buflen, M_MACTEMP, M_WAITOK);
|
|
|
|
error = copyinstr(mac->m_string, elements, mac->m_buflen, NULL);
|
|
|
|
if (error) {
|
|
|
|
free(elements, M_MACTEMP);
|
|
|
|
return (error);
|
|
|
|
}
|
|
|
|
|
|
|
|
buffer = malloc(mac->m_buflen, M_MACTEMP, M_WAITOK | M_ZERO);
|
2004-06-13 02:50:07 +00:00
|
|
|
intlabel = mac_socket_label_alloc(M_WAITOK);
|
|
|
|
SOCK_LOCK(so);
|
2007-10-24 19:04:04 +00:00
|
|
|
mac_socket_copy_label(so->so_peerlabel, intlabel);
|
2004-06-13 02:50:07 +00:00
|
|
|
SOCK_UNLOCK(so);
|
2007-10-24 19:04:04 +00:00
|
|
|
error = mac_socketpeer_externalize_label(intlabel, elements, buffer,
|
2004-06-13 02:50:07 +00:00
|
|
|
mac->m_buflen);
|
|
|
|
mac_socket_label_free(intlabel);
|
2004-02-26 03:51:04 +00:00
|
|
|
if (error == 0)
|
|
|
|
error = copyout(buffer, mac->m_string, strlen(buffer)+1);
|
|
|
|
|
|
|
|
free(buffer, M_MACTEMP);
|
|
|
|
free(elements, M_MACTEMP);
|
|
|
|
|
|
|
|
return (error);
|
|
|
|
}
|