2017-08-17 10:49:49 -06:00
|
|
|
//
|
|
|
|
|
// Bareflank Hypervisor
|
|
|
|
|
// Copyright (C) 2015 Assured Information Security, Inc.
|
|
|
|
|
//
|
|
|
|
|
// This library is free software; you can redistribute it and/or
|
|
|
|
|
// modify it under the terms of the GNU Lesser General Public
|
|
|
|
|
// License as published by the Free Software Foundation; either
|
|
|
|
|
// version 2.1 of the License, or (at your option) any later version.
|
|
|
|
|
//
|
|
|
|
|
// This library is distributed in the hope that it will be useful,
|
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
|
|
// Lesser General Public License for more details.
|
|
|
|
|
//
|
|
|
|
|
// You should have received a copy of the GNU Lesser General Public
|
|
|
|
|
// License along with this library; if not, write to the Free Software
|
|
|
|
|
// Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
|
|
|
|
|
|
|
|
|
|
#include <catch/catch.hpp>
|
|
|
|
|
|
2017-08-29 13:51:00 -06:00
|
|
|
#include <list>
|
2017-08-17 10:49:49 -06:00
|
|
|
#include <test_real_elf.h>
|
|
|
|
|
#include <test_fake_elf.h>
|
|
|
|
|
|
|
|
|
|
char dummy[10];
|
|
|
|
|
|
|
|
|
|
TEST_CASE("bfelf_loader_add: invalid loader")
|
|
|
|
|
{
|
|
|
|
|
bfelf_file_t dummy_misc_ef = {};
|
|
|
|
|
|
|
|
|
|
auto ret = bfelf_loader_add(nullptr, &dummy_misc_ef, static_cast<char *>(dummy), static_cast<char *>(dummy));
|
|
|
|
|
CHECK(ret == BFELF_ERROR_INVALID_ARG);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
TEST_CASE("bfelf_loader_add: invalid elf file")
|
|
|
|
|
{
|
|
|
|
|
bfelf_loader_t loader = {};
|
|
|
|
|
|
|
|
|
|
auto ret = bfelf_loader_add(&loader, nullptr, static_cast<char *>(dummy), static_cast<char *>(dummy));
|
|
|
|
|
CHECK(ret == BFELF_ERROR_INVALID_ARG);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
TEST_CASE("bfelf_loader_add: invalid addr")
|
|
|
|
|
{
|
|
|
|
|
bfelf_loader_t loader = {};
|
|
|
|
|
bfelf_file_t dummy_misc_ef = {};
|
|
|
|
|
|
|
|
|
|
auto ret = bfelf_loader_add(&loader, &dummy_misc_ef, nullptr, static_cast<char *>(dummy));
|
|
|
|
|
CHECK(ret == BFELF_ERROR_INVALID_ARG);
|
|
|
|
|
}
|
|
|
|
|
|
2017-08-29 13:51:00 -06:00
|
|
|
TEST_CASE("bfelf_loader_add: add twice")
|
|
|
|
|
{
|
|
|
|
|
int64_t ret = 0;
|
|
|
|
|
bfelf_loader_t loader = {};
|
|
|
|
|
bfelf_file_t dummy_misc_ef = {};
|
2017-08-17 10:49:49 -06:00
|
|
|
|
2017-08-29 13:51:00 -06:00
|
|
|
ret = bfelf_loader_add(&loader, &dummy_misc_ef, static_cast<char *>(dummy), static_cast<char *>(dummy));
|
|
|
|
|
CHECK(ret == BF_SUCCESS);
|
2017-08-17 10:49:49 -06:00
|
|
|
|
2017-08-29 13:51:00 -06:00
|
|
|
ret = bfelf_loader_add(&loader, &dummy_misc_ef, static_cast<char *>(dummy), static_cast<char *>(dummy));
|
|
|
|
|
CHECK(ret == BFELF_ERROR_INVALID_ARG);
|
|
|
|
|
}
|
2017-08-17 10:49:49 -06:00
|
|
|
|
2017-08-29 13:51:00 -06:00
|
|
|
TEST_CASE("bfelf_loader_add: too many files")
|
|
|
|
|
{
|
|
|
|
|
bfelf_loader_t loader = {};
|
|
|
|
|
std::vector<bfelf_file_t> efs(MAX_NUM_MODULES + 1);
|
2017-08-17 10:49:49 -06:00
|
|
|
|
2017-08-29 13:51:00 -06:00
|
|
|
auto data = get_fake_elf();
|
|
|
|
|
auto &buf = std::get<0>(data);
|
|
|
|
|
auto size = std::get<1>(data);
|
2017-08-17 10:49:49 -06:00
|
|
|
|
2017-08-29 13:51:00 -06:00
|
|
|
for (auto i = 0ULL; i < MAX_NUM_MODULES + 1; i++) {
|
2017-08-17 10:49:49 -06:00
|
|
|
|
2017-09-20 12:37:21 -07:00
|
|
|
int64_t ret = 0;
|
|
|
|
|
|
2017-08-29 13:51:00 -06:00
|
|
|
ret = bfelf_file_init(buf.get(), size, &gsl::at(efs, i));
|
|
|
|
|
REQUIRE(ret == BFELF_SUCCESS);
|
|
|
|
|
|
|
|
|
|
ret = bfelf_loader_add(&loader, &gsl::at(efs, i), static_cast<char *>(dummy), static_cast<char *>(dummy));
|
|
|
|
|
|
|
|
|
|
if (i < MAX_NUM_MODULES) {
|
|
|
|
|
CHECK(ret == BF_SUCCESS);
|
|
|
|
|
}
|
|
|
|
|
else {
|
|
|
|
|
CHECK(ret == BFELF_ERROR_LOADER_FULL);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
2017-08-17 10:49:49 -06:00
|
|
|
|
|
|
|
|
TEST_CASE("bfelf_loader_add: add fake")
|
|
|
|
|
{
|
|
|
|
|
int64_t ret = 0;
|
|
|
|
|
bfelf_file_t ef = {};
|
|
|
|
|
bfelf_loader_t loader = {};
|
|
|
|
|
|
|
|
|
|
auto data = get_fake_elf();
|
|
|
|
|
auto &buf = std::get<0>(data);
|
|
|
|
|
auto size = std::get<1>(data);
|
|
|
|
|
|
|
|
|
|
ret = bfelf_file_init(buf.get(), size, &ef);
|
|
|
|
|
CHECK(ret == BFELF_SUCCESS);
|
|
|
|
|
|
|
|
|
|
ret = bfelf_loader_add(&loader, &ef, static_cast<char *>(dummy), static_cast<char *>(dummy));
|
|
|
|
|
CHECK(ret == BFELF_SUCCESS);
|
|
|
|
|
}
|