babaf5cb1c
Submitted by: aniketp MFC after: 2 weeks Sponsored by: Google, Inc. (GSoC 2018) Differential Revision: https://reviews.freebsd.org/D15843
413 lines
10 KiB
C
413 lines
10 KiB
C
/*-
|
|
* Copyright (c) 2018 Aniket Pandey
|
|
*
|
|
* 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
|
|
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
|
|
* 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
|
|
* SUCH DAMAGE.
|
|
*
|
|
* $FreeBSD$
|
|
*/
|
|
|
|
#include <sys/types.h>
|
|
#include <sys/socket.h>
|
|
#include <sys/un.h>
|
|
|
|
#include <atf-c.h>
|
|
#include <fcntl.h>
|
|
#include <stdarg.h>
|
|
#include <unistd.h>
|
|
|
|
#include "utils.h"
|
|
|
|
#define SERVER_PATH "server"
|
|
|
|
static int sockfd;
|
|
static socklen_t len;
|
|
static struct pollfd fds[1];
|
|
static char extregex[80];
|
|
static const char *auclass = "nt";
|
|
static const char *nosupregex = "return,failure : Address family "
|
|
"not supported by protocol family";
|
|
static const char *invalregex = "return,failur.*Socket operation on non-socket";
|
|
|
|
/*
|
|
* Variadic function to close socket descriptors
|
|
*/
|
|
static void
|
|
close_sockets(int count, ...)
|
|
{
|
|
int sockd;
|
|
va_list socklist;
|
|
va_start(socklist, count);
|
|
for (sockd = 0; sockd < count; sockd++) {
|
|
close(va_arg(socklist, int));
|
|
}
|
|
va_end(socklist);
|
|
}
|
|
|
|
/*
|
|
* Assign local filesystem address to a Unix domain socket
|
|
*/
|
|
static void
|
|
assign_address(struct sockaddr_un *server)
|
|
{
|
|
memset(server, 0, sizeof(*server));
|
|
server->sun_family = AF_UNIX;
|
|
strcpy(server->sun_path, SERVER_PATH);
|
|
}
|
|
|
|
|
|
ATF_TC_WITH_CLEANUP(socket_success);
|
|
ATF_TC_HEAD(socket_success, tc)
|
|
{
|
|
atf_tc_set_md_var(tc, "descr", "Tests the audit of a successful "
|
|
"socket(2) call");
|
|
}
|
|
|
|
ATF_TC_BODY(socket_success, tc)
|
|
{
|
|
FILE *pipefd = setup(fds, auclass);
|
|
ATF_REQUIRE((sockfd = socket(PF_UNIX, SOCK_STREAM, 0)) != -1);
|
|
/* Check the presence of sockfd in audit record */
|
|
snprintf(extregex, sizeof(extregex), "socket.*ret.*success,%d", sockfd);
|
|
check_audit(fds, extregex, pipefd);
|
|
close(sockfd);
|
|
}
|
|
|
|
ATF_TC_CLEANUP(socket_success, tc)
|
|
{
|
|
cleanup();
|
|
}
|
|
|
|
|
|
ATF_TC_WITH_CLEANUP(socket_failure);
|
|
ATF_TC_HEAD(socket_failure, tc)
|
|
{
|
|
atf_tc_set_md_var(tc, "descr", "Tests the audit of an unsuccessful "
|
|
"socket(2) call");
|
|
}
|
|
|
|
ATF_TC_BODY(socket_failure, tc)
|
|
{
|
|
snprintf(extregex, sizeof(extregex), "socket.*%s", nosupregex);
|
|
FILE *pipefd = setup(fds, auclass);
|
|
/* Failure reason: Unsupported value of 'domain' argument: 0 */
|
|
ATF_REQUIRE_EQ(-1, socket(0, SOCK_STREAM, 0));
|
|
check_audit(fds, extregex, pipefd);
|
|
}
|
|
|
|
ATF_TC_CLEANUP(socket_failure, tc)
|
|
{
|
|
cleanup();
|
|
}
|
|
|
|
|
|
ATF_TC_WITH_CLEANUP(socketpair_success);
|
|
ATF_TC_HEAD(socketpair_success, tc)
|
|
{
|
|
atf_tc_set_md_var(tc, "descr", "Tests the audit of a successful "
|
|
"socketpair(2) call");
|
|
}
|
|
|
|
ATF_TC_BODY(socketpair_success, tc)
|
|
{
|
|
int sv[2];
|
|
FILE *pipefd = setup(fds, auclass);
|
|
ATF_REQUIRE_EQ(0, socketpair(PF_UNIX, SOCK_STREAM, 0, sv));
|
|
|
|
/* Check for 0x0 (argument 3: default protocol) in the audit record */
|
|
snprintf(extregex, sizeof(extregex), "socketpair.*0x0.*return,success");
|
|
check_audit(fds, extregex, pipefd);
|
|
close_sockets(2, sv[0], sv[1]);
|
|
}
|
|
|
|
ATF_TC_CLEANUP(socketpair_success, tc)
|
|
{
|
|
cleanup();
|
|
}
|
|
|
|
|
|
ATF_TC_WITH_CLEANUP(socketpair_failure);
|
|
ATF_TC_HEAD(socketpair_failure, tc)
|
|
{
|
|
atf_tc_set_md_var(tc, "descr", "Tests the audit of an unsuccessful "
|
|
"socketpair(2) call");
|
|
}
|
|
|
|
ATF_TC_BODY(socketpair_failure, tc)
|
|
{
|
|
snprintf(extregex, sizeof(extregex), "socketpair.*%s", nosupregex);
|
|
FILE *pipefd = setup(fds, auclass);
|
|
/* Failure reason: Unsupported value of 'domain' argument: 0 */
|
|
ATF_REQUIRE_EQ(-1, socketpair(0, SOCK_STREAM, 0, NULL));
|
|
check_audit(fds, extregex, pipefd);
|
|
}
|
|
|
|
ATF_TC_CLEANUP(socketpair_failure, tc)
|
|
{
|
|
cleanup();
|
|
}
|
|
|
|
|
|
ATF_TC_WITH_CLEANUP(setsockopt_success);
|
|
ATF_TC_HEAD(setsockopt_success, tc)
|
|
{
|
|
atf_tc_set_md_var(tc, "descr", "Tests the audit of a successful "
|
|
"setsockopt(2) call");
|
|
}
|
|
|
|
ATF_TC_BODY(setsockopt_success, tc)
|
|
{
|
|
int tr = 1;
|
|
ATF_REQUIRE((sockfd = socket(PF_UNIX, SOCK_STREAM, 0)) != -1);
|
|
/* Check the presence of sockfd in audit record */
|
|
snprintf(extregex, sizeof(extregex),
|
|
"setsockopt.*0x%x.*return,success", sockfd);
|
|
|
|
FILE *pipefd = setup(fds, auclass);
|
|
ATF_REQUIRE_EQ(0, setsockopt(sockfd, SOL_SOCKET,
|
|
SO_REUSEADDR, &tr, sizeof(int)));
|
|
check_audit(fds, extregex, pipefd);
|
|
close(sockfd);
|
|
}
|
|
|
|
ATF_TC_CLEANUP(setsockopt_success, tc)
|
|
{
|
|
cleanup();
|
|
}
|
|
|
|
|
|
ATF_TC_WITH_CLEANUP(setsockopt_failure);
|
|
ATF_TC_HEAD(setsockopt_failure, tc)
|
|
{
|
|
atf_tc_set_md_var(tc, "descr", "Tests the audit of an unsuccessful "
|
|
"setsockopt(2) call");
|
|
}
|
|
|
|
ATF_TC_BODY(setsockopt_failure, tc)
|
|
{
|
|
int tr = 1;
|
|
snprintf(extregex, sizeof(extregex), "setsockopt.*%s", invalregex);
|
|
FILE *pipefd = setup(fds, auclass);
|
|
/* Failure reason: Invalid socket descriptor */
|
|
ATF_REQUIRE_EQ(-1, setsockopt(0, SOL_SOCKET,
|
|
SO_REUSEADDR, &tr, sizeof(int)));
|
|
check_audit(fds, extregex, pipefd);
|
|
}
|
|
|
|
ATF_TC_CLEANUP(setsockopt_failure, tc)
|
|
{
|
|
cleanup();
|
|
}
|
|
|
|
|
|
ATF_TC_WITH_CLEANUP(bind_success);
|
|
ATF_TC_HEAD(bind_success, tc)
|
|
{
|
|
atf_tc_set_md_var(tc, "descr", "Tests the audit of a successful "
|
|
"bind(2) call");
|
|
}
|
|
|
|
ATF_TC_BODY(bind_success, tc)
|
|
{
|
|
struct sockaddr_un server;
|
|
assign_address(&server);
|
|
len = sizeof(struct sockaddr_un);
|
|
|
|
/* Preliminary socket setup */
|
|
ATF_REQUIRE((sockfd = socket(PF_UNIX, SOCK_STREAM, 0)) != -1);
|
|
/* Check the presence of AF_UNIX address path in audit record */
|
|
snprintf(extregex, sizeof(extregex),
|
|
"bind.*unix.*%s.*return,success", SERVER_PATH);
|
|
|
|
FILE *pipefd = setup(fds, auclass);
|
|
ATF_REQUIRE_EQ(0, bind(sockfd, (struct sockaddr *)&server, len));
|
|
check_audit(fds, extregex, pipefd);
|
|
close(sockfd);
|
|
}
|
|
|
|
ATF_TC_CLEANUP(bind_success, tc)
|
|
{
|
|
cleanup();
|
|
}
|
|
|
|
|
|
ATF_TC_WITH_CLEANUP(bind_failure);
|
|
ATF_TC_HEAD(bind_failure, tc)
|
|
{
|
|
atf_tc_set_md_var(tc, "descr", "Tests the audit of an unsuccessful "
|
|
"bind(2) call");
|
|
}
|
|
|
|
ATF_TC_BODY(bind_failure, tc)
|
|
{
|
|
/* Preliminary socket setup */
|
|
struct sockaddr_un server;
|
|
assign_address(&server);
|
|
len = sizeof(struct sockaddr_un);
|
|
/* Check the presence of AF_UNIX path in audit record */
|
|
snprintf(extregex, sizeof(extregex),
|
|
"bind.*%s.*return,failure", SERVER_PATH);
|
|
|
|
FILE *pipefd = setup(fds, auclass);
|
|
/* Failure reason: Invalid socket descriptor */
|
|
ATF_REQUIRE_EQ(-1, bind(0, (struct sockaddr *)&server, len));
|
|
check_audit(fds, extregex, pipefd);
|
|
}
|
|
|
|
ATF_TC_CLEANUP(bind_failure, tc)
|
|
{
|
|
cleanup();
|
|
}
|
|
|
|
|
|
ATF_TC_WITH_CLEANUP(bindat_success);
|
|
ATF_TC_HEAD(bindat_success, tc)
|
|
{
|
|
atf_tc_set_md_var(tc, "descr", "Tests the audit of a successful "
|
|
"bindat(2) call");
|
|
}
|
|
|
|
ATF_TC_BODY(bindat_success, tc)
|
|
{
|
|
struct sockaddr_un server;
|
|
assign_address(&server);
|
|
len = sizeof(struct sockaddr_un);
|
|
|
|
/* Preliminary socket setup */
|
|
ATF_REQUIRE((sockfd = socket(PF_UNIX, SOCK_STREAM, 0)) != -1);
|
|
/* Check the presence of socket descriptor in audit record */
|
|
snprintf(extregex, sizeof(extregex),
|
|
"bindat.*0x%x.*return,success", sockfd);
|
|
|
|
FILE *pipefd = setup(fds, auclass);
|
|
ATF_REQUIRE_EQ(0, bindat(AT_FDCWD, sockfd,
|
|
(struct sockaddr *)&server, len));
|
|
check_audit(fds, extregex, pipefd);
|
|
close(sockfd);
|
|
}
|
|
|
|
ATF_TC_CLEANUP(bindat_success, tc)
|
|
{
|
|
cleanup();
|
|
}
|
|
|
|
|
|
ATF_TC_WITH_CLEANUP(bindat_failure);
|
|
ATF_TC_HEAD(bindat_failure, tc)
|
|
{
|
|
atf_tc_set_md_var(tc, "descr", "Tests the audit of an unsuccessful "
|
|
"bindat(2) call");
|
|
}
|
|
|
|
ATF_TC_BODY(bindat_failure, tc)
|
|
{
|
|
/* Preliminary socket setup */
|
|
struct sockaddr_un server;
|
|
assign_address(&server);
|
|
len = sizeof(struct sockaddr_un);
|
|
snprintf(extregex, sizeof(extregex), "bindat.*%s", invalregex);
|
|
|
|
FILE *pipefd = setup(fds, auclass);
|
|
/* Failure reason: Invalid socket descriptor */
|
|
ATF_REQUIRE_EQ(-1, bindat(AT_FDCWD, 0,
|
|
(struct sockaddr *)&server, len));
|
|
check_audit(fds, extregex, pipefd);
|
|
}
|
|
|
|
ATF_TC_CLEANUP(bindat_failure, tc)
|
|
{
|
|
cleanup();
|
|
}
|
|
|
|
|
|
ATF_TC_WITH_CLEANUP(listen_success);
|
|
ATF_TC_HEAD(listen_success, tc)
|
|
{
|
|
atf_tc_set_md_var(tc, "descr", "Tests the audit of a successful "
|
|
"listen(2) call");
|
|
}
|
|
|
|
ATF_TC_BODY(listen_success, tc)
|
|
{
|
|
struct sockaddr_un server;
|
|
assign_address(&server);
|
|
len = sizeof(struct sockaddr_un);
|
|
|
|
/* Preliminary socket setup */
|
|
ATF_REQUIRE((sockfd = socket(PF_UNIX, SOCK_STREAM, 0)) != -1);
|
|
ATF_REQUIRE_EQ(0, bind(sockfd, (struct sockaddr *)&server, len));
|
|
/* Check the presence of socket descriptor in the audit record */
|
|
snprintf(extregex, sizeof(extregex),
|
|
"listen.*0x%x.*return,success", sockfd);
|
|
|
|
FILE *pipefd = setup(fds, auclass);
|
|
ATF_REQUIRE_EQ(0, listen(sockfd, 1));
|
|
check_audit(fds, extregex, pipefd);
|
|
close(sockfd);
|
|
}
|
|
|
|
ATF_TC_CLEANUP(listen_success, tc)
|
|
{
|
|
cleanup();
|
|
}
|
|
|
|
|
|
ATF_TC_WITH_CLEANUP(listen_failure);
|
|
ATF_TC_HEAD(listen_failure, tc)
|
|
{
|
|
atf_tc_set_md_var(tc, "descr", "Tests the audit of an unsuccessful "
|
|
"listen(2) call");
|
|
}
|
|
|
|
ATF_TC_BODY(listen_failure, tc)
|
|
{
|
|
snprintf(extregex, sizeof(extregex), "listen.*%s", invalregex);
|
|
FILE *pipefd = setup(fds, auclass);
|
|
/* Failure reason: Invalid socket descriptor */
|
|
ATF_REQUIRE_EQ(-1, listen(0, 1));
|
|
check_audit(fds, extregex, pipefd);
|
|
}
|
|
|
|
ATF_TC_CLEANUP(listen_failure, tc)
|
|
{
|
|
cleanup();
|
|
}
|
|
|
|
|
|
ATF_TP_ADD_TCS(tp)
|
|
{
|
|
ATF_TP_ADD_TC(tp, socket_success);
|
|
ATF_TP_ADD_TC(tp, socket_failure);
|
|
ATF_TP_ADD_TC(tp, socketpair_success);
|
|
ATF_TP_ADD_TC(tp, socketpair_failure);
|
|
ATF_TP_ADD_TC(tp, setsockopt_success);
|
|
ATF_TP_ADD_TC(tp, setsockopt_failure);
|
|
|
|
ATF_TP_ADD_TC(tp, bind_success);
|
|
ATF_TP_ADD_TC(tp, bind_failure);
|
|
ATF_TP_ADD_TC(tp, bindat_success);
|
|
ATF_TP_ADD_TC(tp, bindat_failure);
|
|
ATF_TP_ADD_TC(tp, listen_success);
|
|
ATF_TP_ADD_TC(tp, listen_failure);
|
|
|
|
return (atf_no_error());
|
|
}
|