Files
boringssl/fuzz/verify_name_match_verifynameinsubtree_fuzzer.cc
Lily Chen 5940a37814 Documentation: Change |...| to ... for code references in comments 14/N
This CL includes the result of running util/update_comment_style.py over
*.cc files in all remaining directories besides third_party/, and fixing
omissions manually if necessary.

Bug: 42290410
Change-Id: I52b1bb1aaff338b5ff1e9c6df8a722b86a6a6964
Reviewed-on: https://boringssl-review.googlesource.com/c/boringssl/+/96153
Reviewed-by: Rudolf Polzer <rpolzer@google.com>
Commit-Queue: Lily Chen <chlily@google.com>
2026-06-01 19:33:07 -07:00

49 lines
1.6 KiB
C++

// Copyright 2016 The Chromium Authors
//
// 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
//
// https://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 "../pki/verify_name_match.h"
#include <stddef.h>
#include <stdint.h>
#include <fuzzer/FuzzedDataProvider.h>
#include <vector>
#include "../pki/input.h"
// Entry point for LibFuzzer.
extern "C" int LLVMFuzzerTestOneInput(const uint8_t* data, size_t size) {
FuzzedDataProvider fuzzed_data(data, size);
// Intentionally using uint16_t here to avoid empty `second_part`.
size_t first_part_size = fuzzed_data.ConsumeIntegral<uint16_t>();
std::vector<uint8_t> first_part =
fuzzed_data.ConsumeBytes<uint8_t>(first_part_size);
std::vector<uint8_t> second_part =
fuzzed_data.ConsumeRemainingBytes<uint8_t>();
bssl::der::Input in1(first_part);
bssl::der::Input in2(second_part);
bool match = bssl::VerifyNameInSubtree(in1, in2);
bool reverse_order_match = bssl::VerifyNameInSubtree(in2, in1);
// If both InSubtree matches are true, then in1 == in2 (modulo normalization).
if (match && reverse_order_match) {
if (!bssl::VerifyNameMatch(in1, in2)) {
abort();
}
}
return 0;
}