1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
|
// Copyright 2025 The Chromium Authors
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#include <optional>
#include <utility>
#include <vector>
#include "base/containers/span.h"
#include "base/containers/to_vector.h"
#include "net/cert/qwac.h"
#include "net/cert/two_qwac.h"
#include "third_party/fuzztest/src/fuzztest/fuzztest.h"
#include "third_party/googletest/src/googletest/include/gtest/gtest.h"
namespace net {
namespace {
bool IsSubSpan(base::span<const uint8_t> inner,
base::span<const uint8_t> outer) {
if (inner.empty()) {
return true;
}
if (outer.empty()) {
return false;
}
return ((inner.data() >= outer.data()) && (&inner.back() <= &outer.back()));
}
void FuzzParseQcStatements(std::vector<uint8_t> extension_value) {
const auto parsed = ParseQcStatements(bssl::der::Input(extension_value));
if (!parsed.has_value()) {
return;
}
for (const auto& statement : parsed.value()) {
ASSERT_TRUE(IsSubSpan(statement.id, extension_value));
ASSERT_TRUE(IsSubSpan(statement.info, extension_value));
}
}
constexpr uint8_t kEmptySequence[] = {0x30, 0x0};
// SEQUENCE { OBJECT_IDENTIFIER { 1.2.3 } }
constexpr uint8_t kInvalidStatementSequence[] = {0x30, 0x04, 0x06,
0x02, 0x2a, 0x03};
// SEQUENCE { SEQUENCE { SEQUENCE { OBJECT_IDENTIFIER { 1.2.4 } } } }
constexpr uint8_t kInvalidStatementOid[] = {0x30, 0x08, 0x30, 0x06, 0x30,
0x04, 0x06, 0x02, 0x2a, 0x04};
// SEQUENCE {
// SEQUENCE {
// OBJECT_IDENTIFIER { 1.3.6.1.5.5.7.11.2 }
// SEQUENCE {
// OBJECT_IDENTIFIER { 0.4.0.194121.1.2 }
// }
// }
// SEQUENCE {
// OBJECT_IDENTIFIER { 0.4.0.1862.1.1 }
// }
// SEQUENCE {
// OBJECT_IDENTIFIER { 0.4.0.1862.1.6 }
// SEQUENCE {
// OBJECT_IDENTIFIER { 0.4.0.1862.1.6.3 }
// }
// }
// }
constexpr uint8_t kQcStatementsValue[] = {
0x30, 0x36, 0x30, 0x15, 0x06, 0x08, 0x2b, 0x06, 0x01, 0x05, 0x05, 0x07,
0x0b, 0x02, 0x30, 0x09, 0x06, 0x07, 0x04, 0x00, 0x8b, 0xec, 0x49, 0x01,
0x02, 0x30, 0x08, 0x06, 0x06, 0x04, 0x00, 0x8e, 0x46, 0x01, 0x01, 0x30,
0x13, 0x06, 0x06, 0x04, 0x00, 0x8e, 0x46, 0x01, 0x06, 0x30, 0x09, 0x06,
0x07, 0x04, 0x00, 0x8e, 0x46, 0x01, 0x06, 0x03};
FUZZ_TEST(QwacFuzzTest, FuzzParseQcStatements)
.WithSeeds({
base::ToVector(kEmptySequence),
base::ToVector(kInvalidStatementSequence),
base::ToVector(kInvalidStatementOid),
base::ToVector(kQcStatementsValue),
});
void FuzzParseQcTypeInfo(std::vector<uint8_t> statement_info_value) {
const auto parsed = ParseQcTypeInfo(bssl::der::Input(statement_info_value));
if (!parsed.has_value()) {
return;
}
for (const auto& qc_type : parsed.value()) {
ASSERT_TRUE(IsSubSpan(qc_type, statement_info_value));
}
}
// SEQUENCE {
// OBJECT_IDENTIFIER { 1.2.3 }
// OBJECT_IDENTIFIER { 2.1.6 }
// OBJECT_IDENTIFIER { 1.2.4 }
// }
constexpr uint8_t kQcTypeInfoMultiple[] = {0x30, 0x0c, 0x06, 0x02, 0x2a,
0x03, 0x06, 0x02, 0x51, 0x06,
0x06, 0x02, 0x2a, 0x04};
FUZZ_TEST(QwacFuzzTest, FuzzParseQcTypeInfo)
.WithSeeds({
base::ToVector(kEmptySequence),
base::ToVector(kInvalidStatementSequence),
base::ToVector(kInvalidStatementOid),
base::ToVector(kQcTypeInfoMultiple),
});
void FuzzParseTwoQwacCertBinding(std::string_view jws) {
const auto cert_binding = TwoQwacCertBinding::Parse(jws);
if (!cert_binding.has_value()) {
return;
}
ASSERT_FALSE(cert_binding->header_string().empty());
}
FUZZ_TEST(QwacFuzzTest, FuzzParseTwoQwacCertBinding);
} // namespace
} // namespace net
|
