-
Notifications
You must be signed in to change notification settings - Fork 74
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add an end-to-end test for updating corpus database.
More tests will be added in upcoming CLs. PiperOrigin-RevId: 686619758
- Loading branch information
1 parent
c942c29
commit 632db36
Showing
8 changed files
with
194 additions
and
7 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,94 @@ | ||
| // Copyright 2024 Google LLC | ||
| // | ||
| // Licensed under the Apache License, Version 2.0 (the "License"); | ||
| // you may not use this file except in compliance with the License. | ||
| // You may obtain a copy of the License at | ||
| // | ||
| // http://www.apache.org/licenses/LICENSE-2.0 | ||
| // | ||
| // Unless required by applicable law or agreed to in writing, software | ||
| // distributed under the License is distributed on an "AS IS" BASIS, | ||
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | ||
| // See the License for the specific language governing permissions and | ||
| // limitations under the License. | ||
|
|
||
| #include <filesystem> // NOLINT | ||
| #include <string> | ||
| #include <utility> | ||
|
|
||
| #include "gmock/gmock.h" | ||
| #include "gtest/gtest.h" | ||
| #include "absl/base/no_destructor.h" | ||
| #include "absl/log/check.h" | ||
| #include "absl/strings/str_cat.h" | ||
| #include "absl/strings/string_view.h" | ||
| #include "./e2e_tests/test_binary_util.h" | ||
|
|
||
| namespace fuzztest::internal { | ||
| namespace { | ||
|
|
||
| using ::testing::HasSubstr; | ||
|
|
||
| class UpdateCorpusDatabaseTest : public testing::Test { | ||
| protected: | ||
| static void SetUpTestSuite() { | ||
| #if defined(__has_feature) | ||
| #if !__has_feature(address_sanitizer) | ||
| CHECK(false) << "The test binary is not built with ASAN. Please run with " | ||
| "--config=asan."; | ||
| #elif !__has_feature(coverage_sanitizer) || !defined(FUZZTEST_USE_CENTIPEDE) | ||
| CHECK(false) << "The test binary is not built with coverage " | ||
| "instrumentation for Centipede. " | ||
| "Please run with --config=fuzztest-experimental."; | ||
| #endif | ||
| #endif | ||
|
|
||
| temp_dir_ = new TempDir(); | ||
|
|
||
| auto [status, std_out, std_err] = RunBinary( | ||
| CentipedePath(), | ||
| {.flags = { | ||
| {"binary", | ||
| absl::StrCat(BinaryPath((std::filesystem::path("testdata") / | ||
| "fuzz_tests_for_corpus_database_testing") | ||
| .c_str()), | ||
| " ", | ||
| CreateFuzzTestFlag("corpus_database", | ||
| GetCorpusDatabasePath()), | ||
| " ", CreateFuzzTestFlag("fuzz_for", "30s"))}}}); | ||
|
|
||
| *centipede_std_out_ = std::move(std_out); | ||
| *centipede_std_err_ = std::move(std_err); | ||
| } | ||
|
|
||
| static void TearDownTestSuite() { | ||
| delete temp_dir_; | ||
| temp_dir_ = nullptr; | ||
| } | ||
|
|
||
| static std::string GetCorpusDatabasePath() { | ||
| CHECK(temp_dir_ != nullptr); | ||
| return std::filesystem::path(temp_dir_->dirname()) / "corpus_database"; | ||
| } | ||
|
|
||
| static absl::string_view GetCentipedeStdOut() { return *centipede_std_out_; } | ||
|
|
||
| static absl::string_view GetCentipedeStdErr() { return *centipede_std_err_; } | ||
|
|
||
| private: | ||
| static TempDir *temp_dir_; | ||
| static absl::NoDestructor<std::string> centipede_std_out_; | ||
| static absl::NoDestructor<std::string> centipede_std_err_; | ||
| }; | ||
|
|
||
| TempDir *UpdateCorpusDatabaseTest::temp_dir_ = nullptr; | ||
| absl::NoDestructor<std::string> UpdateCorpusDatabaseTest::centipede_std_out_{}; | ||
| absl::NoDestructor<std::string> UpdateCorpusDatabaseTest::centipede_std_err_{}; | ||
|
|
||
| TEST_F(UpdateCorpusDatabaseTest, RunsFuzzTests) { | ||
| EXPECT_THAT(GetCentipedeStdErr(), | ||
| HasSubstr("Fuzzing FuzzTest.FailsInTwoWays")); | ||
| } | ||
|
|
||
| } // namespace | ||
| } // namespace fuzztest::internal |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
32 changes: 32 additions & 0 deletions
32
e2e_tests/testdata/fuzz_tests_for_corpus_database_testing.cc
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,32 @@ | ||
| // Copyright 2024 Google LLC | ||
| // | ||
| // Licensed under the Apache License, Version 2.0 (the "License"); | ||
| // you may not use this file except in compliance with the License. | ||
| // You may obtain a copy of the License at | ||
| // | ||
| // http://www.apache.org/licenses/LICENSE-2.0 | ||
| // | ||
| // Unless required by applicable law or agreed to in writing, software | ||
| // distributed under the License is distributed on an "AS IS" BASIS, | ||
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | ||
| // See the License for the specific language governing permissions and | ||
| // limitations under the License. | ||
|
|
||
| #include "gtest/gtest.h" | ||
| #include "./fuzztest/fuzztest.h" | ||
|
|
||
| namespace { | ||
|
|
||
| volatile int force_write = 0; | ||
|
|
||
| // This test fails in two ways: | ||
| // 1. It fails with an assertion failure, e.g., when `v == {2025}`. | ||
| // 2. It fails with a heap buffer overflow, e.g., when `v == {4050}`. | ||
| void FailsInTwoWays(const std::vector<int>& v) { | ||
| if (v.size() % 7 != 1) return; | ||
| ASSERT_NE(v[0], 2025); | ||
| if (v[0] == 2 * 2025) force_write = v.data()[v.size()]; | ||
| } | ||
| FUZZ_TEST(FuzzTest, FailsInTwoWays); | ||
|
|
||
| } // namespace |