blob: 92bbdca5a2f5b7adb1b72bfdc9cab97b791bf9bc [file] [log] [blame]
Adam Langley95c29f32014-06-20 12:00:00 -07001// Copyright 2009 The Go Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style
3// license that can be found in the LICENSE file.
4
Adam Langleydc7e9c42015-09-29 15:21:04 -07005package runner
Adam Langley95c29f32014-06-20 12:00:00 -07006
Nick Harper0b3625b2016-07-25 16:16:28 -07007import (
8 "bytes"
9 "encoding/binary"
10)
Adam Langley95c29f32014-06-20 12:00:00 -070011
Nick Harper8dda5cc2016-06-30 18:51:11 -040012func writeLen(buf []byte, v, size int) {
13 for i := 0; i < size; i++ {
14 buf[size-i-1] = byte(v)
15 v >>= 8
16 }
17 if v != 0 {
18 panic("length is too long")
19 }
20}
21
22type byteBuilder struct {
23 buf *[]byte
24 start int
25 prefixLen int
26 child *byteBuilder
27}
28
29func newByteBuilder() *byteBuilder {
30 buf := make([]byte, 0, 32)
31 return &byteBuilder{buf: &buf}
32}
33
34func (bb *byteBuilder) len() int {
35 return len(*bb.buf) - bb.start - bb.prefixLen
36}
37
38func (bb *byteBuilder) flush() {
39 if bb.child == nil {
40 return
41 }
42 bb.child.flush()
43 writeLen((*bb.buf)[bb.child.start:], bb.child.len(), bb.child.prefixLen)
44 bb.child = nil
45 return
46}
47
48func (bb *byteBuilder) finish() []byte {
49 bb.flush()
50 return *bb.buf
51}
52
53func (bb *byteBuilder) addU8(u uint8) {
54 bb.flush()
55 *bb.buf = append(*bb.buf, u)
56}
57
58func (bb *byteBuilder) addU16(u uint16) {
59 bb.flush()
60 *bb.buf = append(*bb.buf, byte(u>>8), byte(u))
61}
62
63func (bb *byteBuilder) addU24(u int) {
64 bb.flush()
65 *bb.buf = append(*bb.buf, byte(u>>16), byte(u>>8), byte(u))
66}
67
68func (bb *byteBuilder) addU32(u uint32) {
69 bb.flush()
70 *bb.buf = append(*bb.buf, byte(u>>24), byte(u>>16), byte(u>>8), byte(u))
71}
72
Nick Harper0b3625b2016-07-25 16:16:28 -070073func (bb *byteBuilder) addU64(u uint64) {
74 bb.flush()
75 var b [8]byte
76 binary.BigEndian.PutUint64(b[:], u)
77 *bb.buf = append(*bb.buf, b[:]...)
78}
79
Nick Harper8dda5cc2016-06-30 18:51:11 -040080func (bb *byteBuilder) addU8LengthPrefixed() *byteBuilder {
81 return bb.createChild(1)
82}
83
84func (bb *byteBuilder) addU16LengthPrefixed() *byteBuilder {
85 return bb.createChild(2)
86}
87
88func (bb *byteBuilder) addU24LengthPrefixed() *byteBuilder {
89 return bb.createChild(3)
90}
91
Nick Harper0b3625b2016-07-25 16:16:28 -070092func (bb *byteBuilder) addU32LengthPrefixed() *byteBuilder {
93 return bb.createChild(4)
94}
95
Nick Harper8dda5cc2016-06-30 18:51:11 -040096func (bb *byteBuilder) addBytes(b []byte) {
97 bb.flush()
98 *bb.buf = append(*bb.buf, b...)
99}
100
101func (bb *byteBuilder) createChild(lengthPrefixSize int) *byteBuilder {
102 bb.flush()
103 bb.child = &byteBuilder{
104 buf: bb.buf,
105 start: len(*bb.buf),
106 prefixLen: lengthPrefixSize,
107 }
108 for i := 0; i < lengthPrefixSize; i++ {
109 *bb.buf = append(*bb.buf, 0)
110 }
111 return bb.child
112}
113
114func (bb *byteBuilder) discardChild() {
115 if bb.child != nil {
116 return
117 }
118 bb.child = nil
119 *bb.buf = (*bb.buf)[:bb.start]
120}
121
Nick Harperf8b0e702016-06-30 19:59:01 -0400122type keyShareEntry struct {
123 group CurveID
124 keyExchange []byte
125}
126
Steven Valdez5b986082016-09-01 12:29:49 -0400127type pskIdentity struct {
Steven Valdeza833c352016-11-01 13:39:36 -0400128 ticket []uint8
129 obfuscatedTicketAge uint32
Steven Valdez5b986082016-09-01 12:29:49 -0400130}
131
Adam Langley95c29f32014-06-20 12:00:00 -0700132type clientHelloMsg struct {
David Benjamin3baa6e12016-10-07 21:10:38 -0400133 raw []byte
134 isDTLS bool
135 vers uint16
136 random []byte
137 sessionId []byte
David Benjaminca6c8262014-11-15 19:06:08 -0500138 cookie []byte
139 cipherSuites []uint16
140 compressionMethods []uint8
141 nextProtoNeg bool
142 serverName string
143 ocspStapling bool
144 supportedCurves []CurveID
145 supportedPoints []uint8
Nick Harperdcfbc672016-07-16 17:47:31 +0200146 hasKeyShares bool
Nick Harperf8b0e702016-06-30 19:59:01 -0400147 keyShares []keyShareEntry
David Benjamin7e1f9842016-09-20 19:24:40 -0400148 trailingKeyShareData bool
Steven Valdez5b986082016-09-01 12:29:49 -0400149 pskIdentities []pskIdentity
Steven Valdeza833c352016-11-01 13:39:36 -0400150 pskKEModes []byte
151 pskBinders [][]uint8
Nick Harperf8b0e702016-06-30 19:59:01 -0400152 hasEarlyData bool
David Benjamin3baa6e12016-10-07 21:10:38 -0400153 tls13Cookie []byte
David Benjaminca6c8262014-11-15 19:06:08 -0500154 ticketSupported bool
155 sessionTicket []uint8
Nick Harper60edffd2016-06-21 15:19:24 -0700156 signatureAlgorithms []signatureAlgorithm
Steven Valdezfdd10992016-09-15 16:27:05 -0400157 supportedVersions []uint16
David Benjaminca6c8262014-11-15 19:06:08 -0500158 secureRenegotiation []byte
159 alpnProtocols []string
160 duplicateExtension bool
161 channelIDSupported bool
Steven Valdeza833c352016-11-01 13:39:36 -0400162 npnAfterAlpn bool
David Benjaminca6c8262014-11-15 19:06:08 -0500163 extendedMasterSecret bool
164 srtpProtectionProfiles []uint16
165 srtpMasterKeyIdentifier string
David Benjamin61f95272014-11-25 01:55:35 -0500166 sctListSupported bool
Adam Langley09505632015-07-30 18:10:13 -0700167 customExtension string
David Benjamin65ac9972016-09-02 21:35:25 -0400168 hasGREASEExtension bool
Steven Valdeza833c352016-11-01 13:39:36 -0400169 pskBinderFirst bool
Adam Langley95c29f32014-06-20 12:00:00 -0700170}
171
172func (m *clientHelloMsg) equal(i interface{}) bool {
173 m1, ok := i.(*clientHelloMsg)
174 if !ok {
175 return false
176 }
177
178 return bytes.Equal(m.raw, m1.raw) &&
David Benjamin83c0bc92014-08-04 01:23:53 -0400179 m.isDTLS == m1.isDTLS &&
Adam Langley95c29f32014-06-20 12:00:00 -0700180 m.vers == m1.vers &&
181 bytes.Equal(m.random, m1.random) &&
182 bytes.Equal(m.sessionId, m1.sessionId) &&
David Benjamin83c0bc92014-08-04 01:23:53 -0400183 bytes.Equal(m.cookie, m1.cookie) &&
Adam Langley95c29f32014-06-20 12:00:00 -0700184 eqUint16s(m.cipherSuites, m1.cipherSuites) &&
185 bytes.Equal(m.compressionMethods, m1.compressionMethods) &&
186 m.nextProtoNeg == m1.nextProtoNeg &&
187 m.serverName == m1.serverName &&
188 m.ocspStapling == m1.ocspStapling &&
189 eqCurveIDs(m.supportedCurves, m1.supportedCurves) &&
190 bytes.Equal(m.supportedPoints, m1.supportedPoints) &&
Nick Harperdcfbc672016-07-16 17:47:31 +0200191 m.hasKeyShares == m1.hasKeyShares &&
Nick Harperf8b0e702016-06-30 19:59:01 -0400192 eqKeyShareEntryLists(m.keyShares, m1.keyShares) &&
David Benjamin7e1f9842016-09-20 19:24:40 -0400193 m.trailingKeyShareData == m1.trailingKeyShareData &&
Steven Valdez5b986082016-09-01 12:29:49 -0400194 eqPSKIdentityLists(m.pskIdentities, m1.pskIdentities) &&
Steven Valdeza833c352016-11-01 13:39:36 -0400195 bytes.Equal(m.pskKEModes, m1.pskKEModes) &&
196 eqByteSlices(m.pskBinders, m1.pskBinders) &&
Nick Harperf8b0e702016-06-30 19:59:01 -0400197 m.hasEarlyData == m1.hasEarlyData &&
David Benjamin3baa6e12016-10-07 21:10:38 -0400198 bytes.Equal(m.tls13Cookie, m1.tls13Cookie) &&
Adam Langley95c29f32014-06-20 12:00:00 -0700199 m.ticketSupported == m1.ticketSupported &&
200 bytes.Equal(m.sessionTicket, m1.sessionTicket) &&
Nick Harper60edffd2016-06-21 15:19:24 -0700201 eqSignatureAlgorithms(m.signatureAlgorithms, m1.signatureAlgorithms) &&
Steven Valdezfdd10992016-09-15 16:27:05 -0400202 eqUint16s(m.supportedVersions, m1.supportedVersions) &&
Adam Langley2ae77d22014-10-28 17:29:33 -0700203 bytes.Equal(m.secureRenegotiation, m1.secureRenegotiation) &&
204 (m.secureRenegotiation == nil) == (m1.secureRenegotiation == nil) &&
David Benjaminfa055a22014-09-15 16:51:51 -0400205 eqStrings(m.alpnProtocols, m1.alpnProtocols) &&
David Benjamind30a9902014-08-24 01:44:23 -0400206 m.duplicateExtension == m1.duplicateExtension &&
David Benjaminfc7b0862014-09-06 13:21:53 -0400207 m.channelIDSupported == m1.channelIDSupported &&
Steven Valdeza833c352016-11-01 13:39:36 -0400208 m.npnAfterAlpn == m1.npnAfterAlpn &&
David Benjaminca6c8262014-11-15 19:06:08 -0500209 m.extendedMasterSecret == m1.extendedMasterSecret &&
210 eqUint16s(m.srtpProtectionProfiles, m1.srtpProtectionProfiles) &&
David Benjamin61f95272014-11-25 01:55:35 -0500211 m.srtpMasterKeyIdentifier == m1.srtpMasterKeyIdentifier &&
Adam Langley09505632015-07-30 18:10:13 -0700212 m.sctListSupported == m1.sctListSupported &&
David Benjamin65ac9972016-09-02 21:35:25 -0400213 m.customExtension == m1.customExtension &&
Steven Valdeza833c352016-11-01 13:39:36 -0400214 m.hasGREASEExtension == m1.hasGREASEExtension &&
Steven Valdez924a3522017-03-02 16:05:03 -0500215 m.pskBinderFirst == m1.pskBinderFirst
Adam Langley95c29f32014-06-20 12:00:00 -0700216}
217
218func (m *clientHelloMsg) marshal() []byte {
219 if m.raw != nil {
220 return m.raw
221 }
222
Nick Harper8dda5cc2016-06-30 18:51:11 -0400223 handshakeMsg := newByteBuilder()
224 handshakeMsg.addU8(typeClientHello)
225 hello := handshakeMsg.addU24LengthPrefixed()
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400226 hello.addU16(m.vers)
Nick Harper8dda5cc2016-06-30 18:51:11 -0400227 hello.addBytes(m.random)
228 sessionId := hello.addU8LengthPrefixed()
229 sessionId.addBytes(m.sessionId)
David Benjamin83c0bc92014-08-04 01:23:53 -0400230 if m.isDTLS {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400231 cookie := hello.addU8LengthPrefixed()
232 cookie.addBytes(m.cookie)
David Benjamin83c0bc92014-08-04 01:23:53 -0400233 }
Nick Harper8dda5cc2016-06-30 18:51:11 -0400234 cipherSuites := hello.addU16LengthPrefixed()
235 for _, suite := range m.cipherSuites {
236 cipherSuites.addU16(suite)
Adam Langley95c29f32014-06-20 12:00:00 -0700237 }
Nick Harper8dda5cc2016-06-30 18:51:11 -0400238 compressionMethods := hello.addU8LengthPrefixed()
239 compressionMethods.addBytes(m.compressionMethods)
Adam Langley95c29f32014-06-20 12:00:00 -0700240
Nick Harper8dda5cc2016-06-30 18:51:11 -0400241 extensions := hello.addU16LengthPrefixed()
Steven Valdeza833c352016-11-01 13:39:36 -0400242 if len(m.pskIdentities) > 0 && m.pskBinderFirst {
243 extensions.addU16(extensionPreSharedKey)
244 pskExtension := extensions.addU16LengthPrefixed()
245
246 pskIdentities := pskExtension.addU16LengthPrefixed()
247 for _, psk := range m.pskIdentities {
248 pskIdentities.addU16LengthPrefixed().addBytes(psk.ticket)
249 pskIdentities.addU32(psk.obfuscatedTicketAge)
250 }
251 pskBinders := pskExtension.addU16LengthPrefixed()
252 for _, binder := range m.pskBinders {
253 pskBinders.addU8LengthPrefixed().addBytes(binder)
254 }
255 }
David Benjamin35a7a442014-07-05 00:23:20 -0400256 if m.duplicateExtension {
257 // Add a duplicate bogus extension at the beginning and end.
Nick Harper8dda5cc2016-06-30 18:51:11 -0400258 extensions.addU16(0xffff)
259 extensions.addU16(0) // 0-length for empty extension
David Benjamin35a7a442014-07-05 00:23:20 -0400260 }
Steven Valdeza833c352016-11-01 13:39:36 -0400261 if m.nextProtoNeg && !m.npnAfterAlpn {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400262 extensions.addU16(extensionNextProtoNeg)
263 extensions.addU16(0) // The length is always 0
Adam Langley95c29f32014-06-20 12:00:00 -0700264 }
265 if len(m.serverName) > 0 {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400266 extensions.addU16(extensionServerName)
267 serverNameList := extensions.addU16LengthPrefixed()
Adam Langley95c29f32014-06-20 12:00:00 -0700268
269 // RFC 3546, section 3.1
270 //
271 // struct {
272 // NameType name_type;
273 // select (name_type) {
274 // case host_name: HostName;
275 // } name;
276 // } ServerName;
277 //
278 // enum {
279 // host_name(0), (255)
280 // } NameType;
281 //
282 // opaque HostName<1..2^16-1>;
283 //
284 // struct {
285 // ServerName server_name_list<1..2^16-1>
286 // } ServerNameList;
287
Nick Harper8dda5cc2016-06-30 18:51:11 -0400288 serverName := serverNameList.addU16LengthPrefixed()
289 serverName.addU8(0) // NameType host_name(0)
290 hostName := serverName.addU16LengthPrefixed()
291 hostName.addBytes([]byte(m.serverName))
Adam Langley95c29f32014-06-20 12:00:00 -0700292 }
293 if m.ocspStapling {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400294 extensions.addU16(extensionStatusRequest)
295 certificateStatusRequest := extensions.addU16LengthPrefixed()
296
Adam Langley95c29f32014-06-20 12:00:00 -0700297 // RFC 4366, section 3.6
Nick Harper8dda5cc2016-06-30 18:51:11 -0400298 certificateStatusRequest.addU8(1) // OCSP type
Adam Langley95c29f32014-06-20 12:00:00 -0700299 // Two zero valued uint16s for the two lengths.
Nick Harper8dda5cc2016-06-30 18:51:11 -0400300 certificateStatusRequest.addU16(0) // ResponderID length
301 certificateStatusRequest.addU16(0) // Extensions length
Adam Langley95c29f32014-06-20 12:00:00 -0700302 }
303 if len(m.supportedCurves) > 0 {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400304 // http://tools.ietf.org/html/rfc4492#section-5.1.1
305 extensions.addU16(extensionSupportedCurves)
306 supportedCurvesList := extensions.addU16LengthPrefixed()
307 supportedCurves := supportedCurvesList.addU16LengthPrefixed()
Adam Langley95c29f32014-06-20 12:00:00 -0700308 for _, curve := range m.supportedCurves {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400309 supportedCurves.addU16(uint16(curve))
Adam Langley95c29f32014-06-20 12:00:00 -0700310 }
311 }
312 if len(m.supportedPoints) > 0 {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400313 // http://tools.ietf.org/html/rfc4492#section-5.1.2
314 extensions.addU16(extensionSupportedPoints)
315 supportedPointsList := extensions.addU16LengthPrefixed()
316 supportedPoints := supportedPointsList.addU8LengthPrefixed()
David Benjamina81967b2016-12-22 09:16:57 -0500317 supportedPoints.addBytes(m.supportedPoints)
Adam Langley95c29f32014-06-20 12:00:00 -0700318 }
Nick Harperdcfbc672016-07-16 17:47:31 +0200319 if m.hasKeyShares {
Nick Harperf8b0e702016-06-30 19:59:01 -0400320 extensions.addU16(extensionKeyShare)
321 keyShareList := extensions.addU16LengthPrefixed()
322
323 keyShares := keyShareList.addU16LengthPrefixed()
324 for _, keyShare := range m.keyShares {
325 keyShares.addU16(uint16(keyShare.group))
326 keyExchange := keyShares.addU16LengthPrefixed()
327 keyExchange.addBytes(keyShare.keyExchange)
328 }
David Benjamin7e1f9842016-09-20 19:24:40 -0400329
330 if m.trailingKeyShareData {
331 keyShares.addU8(0)
332 }
Nick Harperf8b0e702016-06-30 19:59:01 -0400333 }
Steven Valdeza833c352016-11-01 13:39:36 -0400334 if len(m.pskKEModes) > 0 {
335 extensions.addU16(extensionPSKKeyExchangeModes)
336 pskModesExtension := extensions.addU16LengthPrefixed()
337 pskModesExtension.addU8LengthPrefixed().addBytes(m.pskKEModes)
Nick Harperf8b0e702016-06-30 19:59:01 -0400338 }
339 if m.hasEarlyData {
340 extensions.addU16(extensionEarlyData)
David Benjaminc5665c92016-11-15 18:12:58 +0900341 extensions.addU16(0) // The length is zero.
Nick Harperf8b0e702016-06-30 19:59:01 -0400342 }
David Benjamin3baa6e12016-10-07 21:10:38 -0400343 if len(m.tls13Cookie) > 0 {
344 extensions.addU16(extensionCookie)
345 body := extensions.addU16LengthPrefixed()
346 body.addU16LengthPrefixed().addBytes(m.tls13Cookie)
347 }
Adam Langley95c29f32014-06-20 12:00:00 -0700348 if m.ticketSupported {
349 // http://tools.ietf.org/html/rfc5077#section-3.2
Nick Harper8dda5cc2016-06-30 18:51:11 -0400350 extensions.addU16(extensionSessionTicket)
351 sessionTicketExtension := extensions.addU16LengthPrefixed()
352 sessionTicketExtension.addBytes(m.sessionTicket)
Adam Langley95c29f32014-06-20 12:00:00 -0700353 }
Nick Harper60edffd2016-06-21 15:19:24 -0700354 if len(m.signatureAlgorithms) > 0 {
Adam Langley95c29f32014-06-20 12:00:00 -0700355 // https://tools.ietf.org/html/rfc5246#section-7.4.1.4.1
Nick Harper8dda5cc2016-06-30 18:51:11 -0400356 extensions.addU16(extensionSignatureAlgorithms)
357 signatureAlgorithmsExtension := extensions.addU16LengthPrefixed()
358 signatureAlgorithms := signatureAlgorithmsExtension.addU16LengthPrefixed()
Nick Harper60edffd2016-06-21 15:19:24 -0700359 for _, sigAlg := range m.signatureAlgorithms {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400360 signatureAlgorithms.addU16(uint16(sigAlg))
Adam Langley95c29f32014-06-20 12:00:00 -0700361 }
362 }
Steven Valdezfdd10992016-09-15 16:27:05 -0400363 if len(m.supportedVersions) > 0 {
364 extensions.addU16(extensionSupportedVersions)
365 supportedVersionsExtension := extensions.addU16LengthPrefixed()
366 supportedVersions := supportedVersionsExtension.addU8LengthPrefixed()
367 for _, version := range m.supportedVersions {
368 supportedVersions.addU16(uint16(version))
369 }
370 }
Adam Langley2ae77d22014-10-28 17:29:33 -0700371 if m.secureRenegotiation != nil {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400372 extensions.addU16(extensionRenegotiationInfo)
373 secureRenegoExt := extensions.addU16LengthPrefixed()
374 secureRenego := secureRenegoExt.addU8LengthPrefixed()
375 secureRenego.addBytes(m.secureRenegotiation)
Adam Langley95c29f32014-06-20 12:00:00 -0700376 }
David Benjaminfa055a22014-09-15 16:51:51 -0400377 if len(m.alpnProtocols) > 0 {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400378 // https://tools.ietf.org/html/rfc7301#section-3.1
379 extensions.addU16(extensionALPN)
380 alpnExtension := extensions.addU16LengthPrefixed()
David Benjaminfa055a22014-09-15 16:51:51 -0400381
Nick Harper8dda5cc2016-06-30 18:51:11 -0400382 protocolNameList := alpnExtension.addU16LengthPrefixed()
David Benjaminfa055a22014-09-15 16:51:51 -0400383 for _, s := range m.alpnProtocols {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400384 protocolName := protocolNameList.addU8LengthPrefixed()
385 protocolName.addBytes([]byte(s))
David Benjaminfa055a22014-09-15 16:51:51 -0400386 }
David Benjaminfa055a22014-09-15 16:51:51 -0400387 }
David Benjamind30a9902014-08-24 01:44:23 -0400388 if m.channelIDSupported {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400389 extensions.addU16(extensionChannelID)
390 extensions.addU16(0) // Length is always 0
David Benjamind30a9902014-08-24 01:44:23 -0400391 }
Steven Valdeza833c352016-11-01 13:39:36 -0400392 if m.nextProtoNeg && m.npnAfterAlpn {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400393 extensions.addU16(extensionNextProtoNeg)
394 extensions.addU16(0) // Length is always 0
David Benjaminfc7b0862014-09-06 13:21:53 -0400395 }
David Benjamin35a7a442014-07-05 00:23:20 -0400396 if m.duplicateExtension {
397 // Add a duplicate bogus extension at the beginning and end.
Nick Harper8dda5cc2016-06-30 18:51:11 -0400398 extensions.addU16(0xffff)
399 extensions.addU16(0)
David Benjamin35a7a442014-07-05 00:23:20 -0400400 }
Adam Langley75712922014-10-10 16:23:43 -0700401 if m.extendedMasterSecret {
David Benjamin43946d42016-02-01 08:42:19 -0500402 // https://tools.ietf.org/html/rfc7627
Nick Harper8dda5cc2016-06-30 18:51:11 -0400403 extensions.addU16(extensionExtendedMasterSecret)
404 extensions.addU16(0) // Length is always 0
Adam Langley75712922014-10-10 16:23:43 -0700405 }
David Benjaminca6c8262014-11-15 19:06:08 -0500406 if len(m.srtpProtectionProfiles) > 0 {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400407 // https://tools.ietf.org/html/rfc5764#section-4.1.1
408 extensions.addU16(extensionUseSRTP)
409 useSrtpExt := extensions.addU16LengthPrefixed()
David Benjaminca6c8262014-11-15 19:06:08 -0500410
Nick Harper8dda5cc2016-06-30 18:51:11 -0400411 srtpProtectionProfiles := useSrtpExt.addU16LengthPrefixed()
David Benjaminca6c8262014-11-15 19:06:08 -0500412 for _, p := range m.srtpProtectionProfiles {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400413 // An SRTPProtectionProfile is defined as uint8[2],
414 // not uint16. For some reason, we're storing it
415 // as a uint16.
416 srtpProtectionProfiles.addU8(byte(p >> 8))
417 srtpProtectionProfiles.addU8(byte(p))
David Benjaminca6c8262014-11-15 19:06:08 -0500418 }
Nick Harper8dda5cc2016-06-30 18:51:11 -0400419 srtpMki := useSrtpExt.addU8LengthPrefixed()
420 srtpMki.addBytes([]byte(m.srtpMasterKeyIdentifier))
David Benjaminca6c8262014-11-15 19:06:08 -0500421 }
David Benjamin61f95272014-11-25 01:55:35 -0500422 if m.sctListSupported {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400423 extensions.addU16(extensionSignedCertificateTimestamp)
424 extensions.addU16(0) // Length is always 0
David Benjamin61f95272014-11-25 01:55:35 -0500425 }
Adam Langley09505632015-07-30 18:10:13 -0700426 if l := len(m.customExtension); l > 0 {
Nick Harper8dda5cc2016-06-30 18:51:11 -0400427 extensions.addU16(extensionCustom)
428 customExt := extensions.addU16LengthPrefixed()
429 customExt.addBytes([]byte(m.customExtension))
Adam Langley09505632015-07-30 18:10:13 -0700430 }
Steven Valdeza833c352016-11-01 13:39:36 -0400431 // The PSK extension must be last (draft-ietf-tls-tls13-18 section 4.2.6).
432 if len(m.pskIdentities) > 0 && !m.pskBinderFirst {
433 extensions.addU16(extensionPreSharedKey)
434 pskExtension := extensions.addU16LengthPrefixed()
435
436 pskIdentities := pskExtension.addU16LengthPrefixed()
437 for _, psk := range m.pskIdentities {
438 pskIdentities.addU16LengthPrefixed().addBytes(psk.ticket)
439 pskIdentities.addU32(psk.obfuscatedTicketAge)
440 }
441 pskBinders := pskExtension.addU16LengthPrefixed()
442 for _, binder := range m.pskBinders {
443 pskBinders.addU8LengthPrefixed().addBytes(binder)
444 }
445 }
Adam Langley95c29f32014-06-20 12:00:00 -0700446
Nick Harper8dda5cc2016-06-30 18:51:11 -0400447 if extensions.len() == 0 {
448 hello.discardChild()
449 }
Adam Langley95c29f32014-06-20 12:00:00 -0700450
Nick Harper8dda5cc2016-06-30 18:51:11 -0400451 m.raw = handshakeMsg.finish()
452 return m.raw
Adam Langley95c29f32014-06-20 12:00:00 -0700453}
454
455func (m *clientHelloMsg) unmarshal(data []byte) bool {
456 if len(data) < 42 {
457 return false
458 }
459 m.raw = data
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400460 m.vers = uint16(data[4])<<8 | uint16(data[5])
Adam Langley95c29f32014-06-20 12:00:00 -0700461 m.random = data[6:38]
462 sessionIdLen := int(data[38])
463 if sessionIdLen > 32 || len(data) < 39+sessionIdLen {
464 return false
465 }
466 m.sessionId = data[39 : 39+sessionIdLen]
467 data = data[39+sessionIdLen:]
David Benjamin83c0bc92014-08-04 01:23:53 -0400468 if m.isDTLS {
469 if len(data) < 1 {
470 return false
471 }
472 cookieLen := int(data[0])
473 if cookieLen > 32 || len(data) < 1+cookieLen {
474 return false
475 }
476 m.cookie = data[1 : 1+cookieLen]
477 data = data[1+cookieLen:]
478 }
Adam Langley95c29f32014-06-20 12:00:00 -0700479 if len(data) < 2 {
480 return false
481 }
482 // cipherSuiteLen is the number of bytes of cipher suite numbers. Since
483 // they are uint16s, the number must be even.
484 cipherSuiteLen := int(data[0])<<8 | int(data[1])
485 if cipherSuiteLen%2 == 1 || len(data) < 2+cipherSuiteLen {
486 return false
487 }
488 numCipherSuites := cipherSuiteLen / 2
489 m.cipherSuites = make([]uint16, numCipherSuites)
490 for i := 0; i < numCipherSuites; i++ {
491 m.cipherSuites[i] = uint16(data[2+2*i])<<8 | uint16(data[3+2*i])
492 if m.cipherSuites[i] == scsvRenegotiation {
Adam Langley2ae77d22014-10-28 17:29:33 -0700493 m.secureRenegotiation = []byte{}
Adam Langley95c29f32014-06-20 12:00:00 -0700494 }
495 }
496 data = data[2+cipherSuiteLen:]
497 if len(data) < 1 {
498 return false
499 }
500 compressionMethodsLen := int(data[0])
501 if len(data) < 1+compressionMethodsLen {
502 return false
503 }
504 m.compressionMethods = data[1 : 1+compressionMethodsLen]
505
506 data = data[1+compressionMethodsLen:]
507
508 m.nextProtoNeg = false
509 m.serverName = ""
510 m.ocspStapling = false
Nick Harperf8b0e702016-06-30 19:59:01 -0400511 m.keyShares = nil
512 m.pskIdentities = nil
513 m.hasEarlyData = false
Adam Langley95c29f32014-06-20 12:00:00 -0700514 m.ticketSupported = false
515 m.sessionTicket = nil
Nick Harper60edffd2016-06-21 15:19:24 -0700516 m.signatureAlgorithms = nil
Steven Valdezfdd10992016-09-15 16:27:05 -0400517 m.supportedVersions = nil
David Benjaminfa055a22014-09-15 16:51:51 -0400518 m.alpnProtocols = nil
Adam Langley75712922014-10-10 16:23:43 -0700519 m.extendedMasterSecret = false
Adam Langley09505632015-07-30 18:10:13 -0700520 m.customExtension = ""
Adam Langley95c29f32014-06-20 12:00:00 -0700521
522 if len(data) == 0 {
523 // ClientHello is optionally followed by extension data
524 return true
525 }
526 if len(data) < 2 {
527 return false
528 }
529
530 extensionsLength := int(data[0])<<8 | int(data[1])
531 data = data[2:]
532 if extensionsLength != len(data) {
533 return false
534 }
535
536 for len(data) != 0 {
537 if len(data) < 4 {
538 return false
539 }
540 extension := uint16(data[0])<<8 | uint16(data[1])
541 length := int(data[2])<<8 | int(data[3])
542 data = data[4:]
543 if len(data) < length {
544 return false
545 }
546
547 switch extension {
548 case extensionServerName:
549 if length < 2 {
550 return false
551 }
552 numNames := int(data[0])<<8 | int(data[1])
553 d := data[2:]
554 for i := 0; i < numNames; i++ {
555 if len(d) < 3 {
556 return false
557 }
558 nameType := d[0]
559 nameLen := int(d[1])<<8 | int(d[2])
560 d = d[3:]
561 if len(d) < nameLen {
562 return false
563 }
564 if nameType == 0 {
565 m.serverName = string(d[0:nameLen])
566 break
567 }
568 d = d[nameLen:]
569 }
570 case extensionNextProtoNeg:
571 if length > 0 {
572 return false
573 }
574 m.nextProtoNeg = true
575 case extensionStatusRequest:
576 m.ocspStapling = length > 0 && data[0] == statusTypeOCSP
577 case extensionSupportedCurves:
578 // http://tools.ietf.org/html/rfc4492#section-5.5.1
579 if length < 2 {
580 return false
581 }
582 l := int(data[0])<<8 | int(data[1])
583 if l%2 == 1 || length != l+2 {
584 return false
585 }
586 numCurves := l / 2
587 m.supportedCurves = make([]CurveID, numCurves)
588 d := data[2:]
589 for i := 0; i < numCurves; i++ {
590 m.supportedCurves[i] = CurveID(d[0])<<8 | CurveID(d[1])
591 d = d[2:]
592 }
593 case extensionSupportedPoints:
594 // http://tools.ietf.org/html/rfc4492#section-5.5.2
595 if length < 1 {
596 return false
597 }
598 l := int(data[0])
599 if length != l+1 {
600 return false
601 }
David Benjamina81967b2016-12-22 09:16:57 -0500602 m.supportedPoints = data[1 : 1+l]
Adam Langley95c29f32014-06-20 12:00:00 -0700603 case extensionSessionTicket:
604 // http://tools.ietf.org/html/rfc5077#section-3.2
605 m.ticketSupported = true
606 m.sessionTicket = data[:length]
Nick Harperf8b0e702016-06-30 19:59:01 -0400607 case extensionKeyShare:
608 // draft-ietf-tls-tls13 section 6.3.2.3
609 if length < 2 {
610 return false
611 }
612 l := int(data[0])<<8 | int(data[1])
613 if l != length-2 {
614 return false
615 }
616 d := data[2:length]
Nick Harperdcfbc672016-07-16 17:47:31 +0200617 m.hasKeyShares = true
Nick Harperf8b0e702016-06-30 19:59:01 -0400618 for len(d) > 0 {
619 // The next KeyShareEntry contains a NamedGroup (2 bytes) and a
620 // key_exchange (2-byte length prefix with at least 1 byte of content).
621 if len(d) < 5 {
622 return false
623 }
624 entry := keyShareEntry{}
625 entry.group = CurveID(d[0])<<8 | CurveID(d[1])
626 keyExchLen := int(d[2])<<8 | int(d[3])
627 d = d[4:]
628 if len(d) < keyExchLen {
629 return false
630 }
631 entry.keyExchange = d[:keyExchLen]
632 d = d[keyExchLen:]
633 m.keyShares = append(m.keyShares, entry)
634 }
635 case extensionPreSharedKey:
Steven Valdeza833c352016-11-01 13:39:36 -0400636 // draft-ietf-tls-tls13-18 section 4.2.6
Nick Harperf8b0e702016-06-30 19:59:01 -0400637 if length < 2 {
638 return false
639 }
640 l := int(data[0])<<8 | int(data[1])
Steven Valdeza833c352016-11-01 13:39:36 -0400641 d := data[2 : l+2]
642 // Parse PSK identities.
Nick Harperf8b0e702016-06-30 19:59:01 -0400643 for len(d) > 0 {
644 if len(d) < 2 {
645 return false
646 }
647 pskLen := int(d[0])<<8 | int(d[1])
648 d = d[2:]
Steven Valdez5b986082016-09-01 12:29:49 -0400649
Steven Valdeza833c352016-11-01 13:39:36 -0400650 if len(d) < pskLen+4 {
Nick Harperf8b0e702016-06-30 19:59:01 -0400651 return false
652 }
Steven Valdeza833c352016-11-01 13:39:36 -0400653 ticket := d[:pskLen]
654 obfuscatedTicketAge := uint32(d[pskLen])<<24 | uint32(d[pskLen+1])<<16 | uint32(d[pskLen+2])<<8 | uint32(d[pskLen+3])
655 psk := pskIdentity{
656 ticket: ticket,
657 obfuscatedTicketAge: obfuscatedTicketAge,
658 }
Nick Harperf8b0e702016-06-30 19:59:01 -0400659 m.pskIdentities = append(m.pskIdentities, psk)
Steven Valdeza833c352016-11-01 13:39:36 -0400660 d = d[pskLen+4:]
Nick Harperf8b0e702016-06-30 19:59:01 -0400661 }
Steven Valdeza833c352016-11-01 13:39:36 -0400662 d = data[l+2:]
663 if len(d) < 2 {
664 return false
665 }
666 l = int(d[0])<<8 | int(d[1])
667 d = d[2:]
668 if l != len(d) {
669 return false
670 }
671 // Parse PSK binders.
672 for len(d) > 0 {
673 if len(d) < 1 {
674 return false
675 }
676 binderLen := int(d[0])
677 d = d[1:]
678 if binderLen > len(d) {
679 return false
680 }
681 m.pskBinders = append(m.pskBinders, d[:binderLen])
682 d = d[binderLen:]
683 }
684
685 // There must be the same number of identities as binders.
686 if len(m.pskIdentities) != len(m.pskBinders) {
687 return false
688 }
689 case extensionPSKKeyExchangeModes:
690 // draft-ietf-tls-tls13-18 section 4.2.7
691 if length < 1 {
692 return false
693 }
694 l := int(data[0])
695 if l != length-1 {
696 return false
697 }
698 m.pskKEModes = data[1:length]
Nick Harperf8b0e702016-06-30 19:59:01 -0400699 case extensionEarlyData:
700 // draft-ietf-tls-tls13 section 6.3.2.5
David Benjaminc5665c92016-11-15 18:12:58 +0900701 if length != 0 {
Nick Harperf8b0e702016-06-30 19:59:01 -0400702 return false
703 }
704 m.hasEarlyData = true
David Benjamin3baa6e12016-10-07 21:10:38 -0400705 case extensionCookie:
706 if length < 2 {
707 return false
708 }
709 l := int(data[0])<<8 | int(data[1])
710 if l != length-2 || l == 0 {
711 return false
712 }
713 m.tls13Cookie = data[2 : 2+l]
Adam Langley95c29f32014-06-20 12:00:00 -0700714 case extensionSignatureAlgorithms:
715 // https://tools.ietf.org/html/rfc5246#section-7.4.1.4.1
716 if length < 2 || length&1 != 0 {
717 return false
718 }
719 l := int(data[0])<<8 | int(data[1])
720 if l != length-2 {
721 return false
722 }
723 n := l / 2
724 d := data[2:]
Nick Harper60edffd2016-06-21 15:19:24 -0700725 m.signatureAlgorithms = make([]signatureAlgorithm, n)
726 for i := range m.signatureAlgorithms {
727 m.signatureAlgorithms[i] = signatureAlgorithm(d[0])<<8 | signatureAlgorithm(d[1])
Adam Langley95c29f32014-06-20 12:00:00 -0700728 d = d[2:]
729 }
Steven Valdezfdd10992016-09-15 16:27:05 -0400730 case extensionSupportedVersions:
731 if length < 1+2 {
732 return false
733 }
734 l := int(data[0])
735 if l != length-1 || l%2 == 1 || l < 2 {
736 return false
737 }
738 n := l / 2
739 d := data[1:]
740 m.supportedVersions = make([]uint16, n)
741 for i := range m.supportedVersions {
742 m.supportedVersions[i] = uint16(d[0])<<8 | uint16(d[1])
743 d = d[2:]
744 }
Adam Langley2ae77d22014-10-28 17:29:33 -0700745 case extensionRenegotiationInfo:
746 if length < 1 || length != int(data[0])+1 {
Adam Langley95c29f32014-06-20 12:00:00 -0700747 return false
748 }
Adam Langley2ae77d22014-10-28 17:29:33 -0700749 m.secureRenegotiation = data[1:length]
David Benjaminfa055a22014-09-15 16:51:51 -0400750 case extensionALPN:
751 if length < 2 {
752 return false
753 }
754 l := int(data[0])<<8 | int(data[1])
755 if l != length-2 {
756 return false
757 }
758 d := data[2:length]
759 for len(d) != 0 {
760 stringLen := int(d[0])
761 d = d[1:]
762 if stringLen == 0 || stringLen > len(d) {
763 return false
764 }
765 m.alpnProtocols = append(m.alpnProtocols, string(d[:stringLen]))
766 d = d[stringLen:]
767 }
David Benjamind30a9902014-08-24 01:44:23 -0400768 case extensionChannelID:
769 if length > 0 {
770 return false
771 }
772 m.channelIDSupported = true
Adam Langley75712922014-10-10 16:23:43 -0700773 case extensionExtendedMasterSecret:
774 if length != 0 {
775 return false
776 }
777 m.extendedMasterSecret = true
David Benjaminca6c8262014-11-15 19:06:08 -0500778 case extensionUseSRTP:
779 if length < 2 {
780 return false
781 }
782 l := int(data[0])<<8 | int(data[1])
783 if l > length-2 || l%2 != 0 {
784 return false
785 }
786 n := l / 2
787 m.srtpProtectionProfiles = make([]uint16, n)
788 d := data[2:length]
789 for i := 0; i < n; i++ {
790 m.srtpProtectionProfiles[i] = uint16(d[0])<<8 | uint16(d[1])
791 d = d[2:]
792 }
793 if len(d) < 1 || int(d[0]) != len(d)-1 {
794 return false
795 }
796 m.srtpMasterKeyIdentifier = string(d[1:])
David Benjamin61f95272014-11-25 01:55:35 -0500797 case extensionSignedCertificateTimestamp:
798 if length != 0 {
799 return false
800 }
801 m.sctListSupported = true
Adam Langley09505632015-07-30 18:10:13 -0700802 case extensionCustom:
803 m.customExtension = string(data[:length])
Adam Langley95c29f32014-06-20 12:00:00 -0700804 }
805 data = data[length:]
David Benjamin65ac9972016-09-02 21:35:25 -0400806
807 if isGREASEValue(extension) {
808 m.hasGREASEExtension = true
809 }
Adam Langley95c29f32014-06-20 12:00:00 -0700810 }
811
812 return true
813}
814
815type serverHelloMsg struct {
Nick Harperf2511f12016-12-06 16:02:31 -0800816 raw []byte
817 isDTLS bool
818 vers uint16
819 versOverride uint16
820 random []byte
821 sessionId []byte
822 cipherSuite uint16
823 hasKeyShare bool
824 keyShare keyShareEntry
825 hasPSKIdentity bool
826 pskIdentity uint16
827 compressionMethod uint8
828 customExtension string
829 unencryptedALPN string
Nick Harperf2511f12016-12-06 16:02:31 -0800830 extensions serverExtensions
Adam Langley95c29f32014-06-20 12:00:00 -0700831}
832
Adam Langley95c29f32014-06-20 12:00:00 -0700833func (m *serverHelloMsg) marshal() []byte {
834 if m.raw != nil {
835 return m.raw
836 }
837
Nick Harper5212ef82016-06-30 19:26:07 -0400838 handshakeMsg := newByteBuilder()
839 handshakeMsg.addU8(typeServerHello)
840 hello := handshakeMsg.addU24LengthPrefixed()
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400841
842 // m.vers is used both to determine the format of the rest of the
843 // ServerHello and to override the value, so include a second version
844 // field.
845 vers, ok := wireToVersion(m.vers, m.isDTLS)
846 if !ok {
847 panic("unknown version")
848 }
849 if m.versOverride != 0 {
850 hello.addU16(m.versOverride)
851 } else {
852 hello.addU16(m.vers)
853 }
854
Nick Harper5212ef82016-06-30 19:26:07 -0400855 hello.addBytes(m.random)
Steven Valdez520e1222017-06-13 12:45:25 -0400856 if vers < VersionTLS13 || m.vers == tls13ExperimentVersion {
Nick Harperb41d2e42016-07-01 17:50:32 -0400857 sessionId := hello.addU8LengthPrefixed()
858 sessionId.addBytes(m.sessionId)
859 }
Nick Harper5212ef82016-06-30 19:26:07 -0400860 hello.addU16(m.cipherSuite)
Steven Valdez520e1222017-06-13 12:45:25 -0400861 if vers < VersionTLS13 || m.vers == tls13ExperimentVersion {
Nick Harperb41d2e42016-07-01 17:50:32 -0400862 hello.addU8(m.compressionMethod)
863 }
Adam Langley95c29f32014-06-20 12:00:00 -0700864
Nick Harper5212ef82016-06-30 19:26:07 -0400865 extensions := hello.addU16LengthPrefixed()
Nick Harperb3d51be2016-07-01 11:43:18 -0400866
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400867 if vers >= VersionTLS13 {
Nick Harperb41d2e42016-07-01 17:50:32 -0400868 if m.hasKeyShare {
869 extensions.addU16(extensionKeyShare)
870 keyShare := extensions.addU16LengthPrefixed()
871 keyShare.addU16(uint16(m.keyShare.group))
872 keyExchange := keyShare.addU16LengthPrefixed()
873 keyExchange.addBytes(m.keyShare.keyExchange)
874 }
875 if m.hasPSKIdentity {
876 extensions.addU16(extensionPreSharedKey)
877 extensions.addU16(2) // Length
878 extensions.addU16(m.pskIdentity)
879 }
David Benjamin490469f2016-10-05 22:44:38 -0400880 if len(m.customExtension) > 0 {
881 extensions.addU16(extensionCustom)
882 customExt := extensions.addU16LengthPrefixed()
883 customExt.addBytes([]byte(m.customExtension))
884 }
885 if len(m.unencryptedALPN) > 0 {
886 extensions.addU16(extensionALPN)
887 extension := extensions.addU16LengthPrefixed()
888
889 protocolNameList := extension.addU16LengthPrefixed()
890 protocolName := protocolNameList.addU8LengthPrefixed()
891 protocolName.addBytes([]byte(m.unencryptedALPN))
892 }
Nick Harperb41d2e42016-07-01 17:50:32 -0400893 } else {
Steven Valdeza833c352016-11-01 13:39:36 -0400894 m.extensions.marshal(extensions)
Nick Harperb41d2e42016-07-01 17:50:32 -0400895 if extensions.len() == 0 {
896 hello.discardChild()
897 }
Nick Harperb3d51be2016-07-01 11:43:18 -0400898 }
899
900 m.raw = handshakeMsg.finish()
901 return m.raw
902}
903
904func (m *serverHelloMsg) unmarshal(data []byte) bool {
905 if len(data) < 42 {
906 return false
907 }
908 m.raw = data
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400909 m.vers = uint16(data[4])<<8 | uint16(data[5])
David Benjaminb1dd8cd2016-09-26 19:20:48 -0400910 vers, ok := wireToVersion(m.vers, m.isDTLS)
911 if !ok {
912 return false
913 }
Nick Harperb3d51be2016-07-01 11:43:18 -0400914 m.random = data[6:38]
Nick Harperb41d2e42016-07-01 17:50:32 -0400915 data = data[38:]
Steven Valdez520e1222017-06-13 12:45:25 -0400916 if vers < VersionTLS13 || m.vers == tls13ExperimentVersion {
Nick Harperb41d2e42016-07-01 17:50:32 -0400917 sessionIdLen := int(data[0])
918 if sessionIdLen > 32 || len(data) < 1+sessionIdLen {
919 return false
920 }
921 m.sessionId = data[1 : 1+sessionIdLen]
922 data = data[1+sessionIdLen:]
Nick Harperb3d51be2016-07-01 11:43:18 -0400923 }
Nick Harperb41d2e42016-07-01 17:50:32 -0400924 if len(data) < 2 {
Nick Harperb3d51be2016-07-01 11:43:18 -0400925 return false
926 }
927 m.cipherSuite = uint16(data[0])<<8 | uint16(data[1])
Nick Harperb41d2e42016-07-01 17:50:32 -0400928 data = data[2:]
Steven Valdez520e1222017-06-13 12:45:25 -0400929 if vers < VersionTLS13 || m.vers == tls13ExperimentVersion {
Nick Harperb41d2e42016-07-01 17:50:32 -0400930 if len(data) < 1 {
931 return false
932 }
933 m.compressionMethod = data[0]
934 data = data[1:]
935 }
Nick Harperb3d51be2016-07-01 11:43:18 -0400936
David Benjamin8d315d72016-07-18 01:03:18 +0200937 if len(data) == 0 && m.vers < VersionTLS13 {
Nick Harperb41d2e42016-07-01 17:50:32 -0400938 // Extension data is optional before TLS 1.3.
Nick Harperb3d51be2016-07-01 11:43:18 -0400939 m.extensions = serverExtensions{}
940 return true
941 }
942 if len(data) < 2 {
943 return false
944 }
945
946 extensionsLength := int(data[0])<<8 | int(data[1])
947 data = data[2:]
948 if len(data) != extensionsLength {
949 return false
950 }
951
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400952 if vers >= VersionTLS13 {
Nick Harperb41d2e42016-07-01 17:50:32 -0400953 for len(data) != 0 {
954 if len(data) < 4 {
955 return false
956 }
957 extension := uint16(data[0])<<8 | uint16(data[1])
958 length := int(data[2])<<8 | int(data[3])
959 data = data[4:]
960
961 if len(data) < length {
962 return false
963 }
964 d := data[:length]
965 data = data[length:]
966
967 switch extension {
968 case extensionKeyShare:
969 m.hasKeyShare = true
970 if len(d) < 4 {
971 return false
972 }
973 m.keyShare.group = CurveID(uint16(d[0])<<8 | uint16(d[1]))
974 keyExchLen := int(d[2])<<8 | int(d[3])
975 if keyExchLen != len(d)-4 {
976 return false
977 }
978 m.keyShare.keyExchange = make([]byte, keyExchLen)
979 copy(m.keyShare.keyExchange, d[4:])
980 case extensionPreSharedKey:
981 if len(d) != 2 {
982 return false
983 }
984 m.pskIdentity = uint16(d[0])<<8 | uint16(d[1])
985 m.hasPSKIdentity = true
Nick Harperb41d2e42016-07-01 17:50:32 -0400986 default:
987 // Only allow the 3 extensions that are sent in
988 // the clear in TLS 1.3.
989 return false
990 }
991 }
David Benjamin3c6a1ea2016-09-26 18:30:05 -0400992 } else if !m.extensions.unmarshal(data, vers) {
Nick Harperb3d51be2016-07-01 11:43:18 -0400993 return false
994 }
995
996 return true
997}
998
Nick Harperb41d2e42016-07-01 17:50:32 -0400999type encryptedExtensionsMsg struct {
1000 raw []byte
1001 extensions serverExtensions
Steven Valdez143e8b32016-07-11 13:19:03 -04001002 empty bool
Nick Harperb41d2e42016-07-01 17:50:32 -04001003}
1004
1005func (m *encryptedExtensionsMsg) marshal() []byte {
1006 if m.raw != nil {
1007 return m.raw
1008 }
1009
1010 encryptedExtensionsMsg := newByteBuilder()
1011 encryptedExtensionsMsg.addU8(typeEncryptedExtensions)
1012 encryptedExtensions := encryptedExtensionsMsg.addU24LengthPrefixed()
Steven Valdez143e8b32016-07-11 13:19:03 -04001013 if !m.empty {
1014 extensions := encryptedExtensions.addU16LengthPrefixed()
Steven Valdeza833c352016-11-01 13:39:36 -04001015 m.extensions.marshal(extensions)
Steven Valdez143e8b32016-07-11 13:19:03 -04001016 }
Nick Harperb41d2e42016-07-01 17:50:32 -04001017
1018 m.raw = encryptedExtensionsMsg.finish()
1019 return m.raw
1020}
1021
1022func (m *encryptedExtensionsMsg) unmarshal(data []byte) bool {
David Benjamin6f8f4de2016-07-13 16:42:36 -04001023 m.raw = data
Nick Harperb41d2e42016-07-01 17:50:32 -04001024 if len(data) < 6 {
1025 return false
1026 }
1027 if data[0] != typeEncryptedExtensions {
1028 return false
1029 }
1030 msgLen := int(data[1])<<16 | int(data[2])<<8 | int(data[3])
1031 data = data[4:]
1032 if len(data) != msgLen {
1033 return false
1034 }
1035 extLen := int(data[0])<<8 | int(data[1])
1036 data = data[2:]
1037 if extLen != len(data) {
1038 return false
1039 }
David Benjamin44b33bc2016-07-01 22:40:23 -04001040 return m.extensions.unmarshal(data, VersionTLS13)
Nick Harperb41d2e42016-07-01 17:50:32 -04001041}
1042
Nick Harperb3d51be2016-07-01 11:43:18 -04001043type serverExtensions struct {
1044 nextProtoNeg bool
1045 nextProtos []string
1046 ocspStapling bool
1047 ticketSupported bool
1048 secureRenegotiation []byte
1049 alpnProtocol string
1050 alpnProtocolEmpty bool
1051 duplicateExtension bool
1052 channelIDRequested bool
1053 extendedMasterSecret bool
1054 srtpProtectionProfile uint16
1055 srtpMasterKeyIdentifier string
1056 sctList []byte
1057 customExtension string
Steven Valdeza833c352016-11-01 13:39:36 -04001058 npnAfterAlpn bool
Steven Valdez143e8b32016-07-11 13:19:03 -04001059 hasKeyShare bool
Nick Harperf2511f12016-12-06 16:02:31 -08001060 hasEarlyData bool
Steven Valdez143e8b32016-07-11 13:19:03 -04001061 keyShare keyShareEntry
David Benjamina81967b2016-12-22 09:16:57 -05001062 supportedPoints []uint8
David Benjamin023d4192017-02-06 13:49:07 -05001063 serverNameAck bool
Nick Harperb3d51be2016-07-01 11:43:18 -04001064}
1065
Steven Valdeza833c352016-11-01 13:39:36 -04001066func (m *serverExtensions) marshal(extensions *byteBuilder) {
David Benjamin35a7a442014-07-05 00:23:20 -04001067 if m.duplicateExtension {
1068 // Add a duplicate bogus extension at the beginning and end.
Nick Harper5212ef82016-06-30 19:26:07 -04001069 extensions.addU16(0xffff)
1070 extensions.addU16(0) // length = 0 for empty extension
David Benjamin35a7a442014-07-05 00:23:20 -04001071 }
Steven Valdeza833c352016-11-01 13:39:36 -04001072 if m.nextProtoNeg && !m.npnAfterAlpn {
Nick Harper5212ef82016-06-30 19:26:07 -04001073 extensions.addU16(extensionNextProtoNeg)
1074 extension := extensions.addU16LengthPrefixed()
Adam Langley95c29f32014-06-20 12:00:00 -07001075
1076 for _, v := range m.nextProtos {
Nick Harper5212ef82016-06-30 19:26:07 -04001077 if len(v) > 255 {
1078 v = v[:255]
Adam Langley95c29f32014-06-20 12:00:00 -07001079 }
Nick Harper5212ef82016-06-30 19:26:07 -04001080 npn := extension.addU8LengthPrefixed()
1081 npn.addBytes([]byte(v))
Adam Langley95c29f32014-06-20 12:00:00 -07001082 }
1083 }
Steven Valdeza833c352016-11-01 13:39:36 -04001084 if m.ocspStapling {
1085 extensions.addU16(extensionStatusRequest)
1086 extensions.addU16(0)
Adam Langley95c29f32014-06-20 12:00:00 -07001087 }
1088 if m.ticketSupported {
Nick Harper5212ef82016-06-30 19:26:07 -04001089 extensions.addU16(extensionSessionTicket)
1090 extensions.addU16(0)
Adam Langley95c29f32014-06-20 12:00:00 -07001091 }
Adam Langley2ae77d22014-10-28 17:29:33 -07001092 if m.secureRenegotiation != nil {
Nick Harper5212ef82016-06-30 19:26:07 -04001093 extensions.addU16(extensionRenegotiationInfo)
1094 extension := extensions.addU16LengthPrefixed()
1095 secureRenego := extension.addU8LengthPrefixed()
1096 secureRenego.addBytes(m.secureRenegotiation)
Adam Langley95c29f32014-06-20 12:00:00 -07001097 }
Nick Harper5212ef82016-06-30 19:26:07 -04001098 if len(m.alpnProtocol) > 0 || m.alpnProtocolEmpty {
1099 extensions.addU16(extensionALPN)
1100 extension := extensions.addU16LengthPrefixed()
1101
1102 protocolNameList := extension.addU16LengthPrefixed()
1103 protocolName := protocolNameList.addU8LengthPrefixed()
1104 protocolName.addBytes([]byte(m.alpnProtocol))
David Benjaminfa055a22014-09-15 16:51:51 -04001105 }
David Benjamind30a9902014-08-24 01:44:23 -04001106 if m.channelIDRequested {
Nick Harper5212ef82016-06-30 19:26:07 -04001107 extensions.addU16(extensionChannelID)
1108 extensions.addU16(0)
David Benjamind30a9902014-08-24 01:44:23 -04001109 }
David Benjamin35a7a442014-07-05 00:23:20 -04001110 if m.duplicateExtension {
1111 // Add a duplicate bogus extension at the beginning and end.
Nick Harper5212ef82016-06-30 19:26:07 -04001112 extensions.addU16(0xffff)
1113 extensions.addU16(0)
David Benjamin35a7a442014-07-05 00:23:20 -04001114 }
Adam Langley75712922014-10-10 16:23:43 -07001115 if m.extendedMasterSecret {
Nick Harper5212ef82016-06-30 19:26:07 -04001116 extensions.addU16(extensionExtendedMasterSecret)
1117 extensions.addU16(0)
Adam Langley75712922014-10-10 16:23:43 -07001118 }
David Benjaminca6c8262014-11-15 19:06:08 -05001119 if m.srtpProtectionProfile != 0 {
Nick Harper5212ef82016-06-30 19:26:07 -04001120 extensions.addU16(extensionUseSRTP)
1121 extension := extensions.addU16LengthPrefixed()
1122
1123 srtpProtectionProfiles := extension.addU16LengthPrefixed()
1124 srtpProtectionProfiles.addU8(byte(m.srtpProtectionProfile >> 8))
1125 srtpProtectionProfiles.addU8(byte(m.srtpProtectionProfile))
1126 srtpMki := extension.addU8LengthPrefixed()
1127 srtpMki.addBytes([]byte(m.srtpMasterKeyIdentifier))
David Benjaminca6c8262014-11-15 19:06:08 -05001128 }
David Benjamin61f95272014-11-25 01:55:35 -05001129 if m.sctList != nil {
Nick Harper5212ef82016-06-30 19:26:07 -04001130 extensions.addU16(extensionSignedCertificateTimestamp)
1131 extension := extensions.addU16LengthPrefixed()
1132 extension.addBytes(m.sctList)
David Benjamin61f95272014-11-25 01:55:35 -05001133 }
Adam Langley09505632015-07-30 18:10:13 -07001134 if l := len(m.customExtension); l > 0 {
Nick Harper5212ef82016-06-30 19:26:07 -04001135 extensions.addU16(extensionCustom)
1136 customExt := extensions.addU16LengthPrefixed()
1137 customExt.addBytes([]byte(m.customExtension))
Adam Langley09505632015-07-30 18:10:13 -07001138 }
Steven Valdeza833c352016-11-01 13:39:36 -04001139 if m.nextProtoNeg && m.npnAfterAlpn {
Nick Harper5212ef82016-06-30 19:26:07 -04001140 extensions.addU16(extensionNextProtoNeg)
1141 extension := extensions.addU16LengthPrefixed()
David Benjamin76c2efc2015-08-31 14:24:29 -04001142
1143 for _, v := range m.nextProtos {
Nick Harper5212ef82016-06-30 19:26:07 -04001144 if len(v) > 255 {
1145 v = v[0:255]
David Benjamin76c2efc2015-08-31 14:24:29 -04001146 }
Nick Harper5212ef82016-06-30 19:26:07 -04001147 npn := extension.addU8LengthPrefixed()
1148 npn.addBytes([]byte(v))
David Benjamin76c2efc2015-08-31 14:24:29 -04001149 }
1150 }
Steven Valdez143e8b32016-07-11 13:19:03 -04001151 if m.hasKeyShare {
1152 extensions.addU16(extensionKeyShare)
1153 keyShare := extensions.addU16LengthPrefixed()
1154 keyShare.addU16(uint16(m.keyShare.group))
1155 keyExchange := keyShare.addU16LengthPrefixed()
1156 keyExchange.addBytes(m.keyShare.keyExchange)
1157 }
David Benjamina81967b2016-12-22 09:16:57 -05001158 if len(m.supportedPoints) > 0 {
1159 // http://tools.ietf.org/html/rfc4492#section-5.1.2
1160 extensions.addU16(extensionSupportedPoints)
1161 supportedPointsList := extensions.addU16LengthPrefixed()
1162 supportedPoints := supportedPointsList.addU8LengthPrefixed()
1163 supportedPoints.addBytes(m.supportedPoints)
1164 }
Nick Harperf2511f12016-12-06 16:02:31 -08001165 if m.hasEarlyData {
1166 extensions.addU16(extensionEarlyData)
1167 extensions.addBytes([]byte{0, 0})
1168 }
David Benjamin023d4192017-02-06 13:49:07 -05001169 if m.serverNameAck {
1170 extensions.addU16(extensionServerName)
1171 extensions.addU16(0) // zero length
1172 }
Adam Langley95c29f32014-06-20 12:00:00 -07001173}
1174
David Benjamin44b33bc2016-07-01 22:40:23 -04001175func (m *serverExtensions) unmarshal(data []byte, version uint16) bool {
Nick Harperb3d51be2016-07-01 11:43:18 -04001176 // Reset all fields.
1177 *m = serverExtensions{}
Adam Langley95c29f32014-06-20 12:00:00 -07001178
1179 for len(data) != 0 {
1180 if len(data) < 4 {
1181 return false
1182 }
1183 extension := uint16(data[0])<<8 | uint16(data[1])
1184 length := int(data[2])<<8 | int(data[3])
1185 data = data[4:]
1186 if len(data) < length {
1187 return false
1188 }
1189
1190 switch extension {
1191 case extensionNextProtoNeg:
1192 m.nextProtoNeg = true
1193 d := data[:length]
1194 for len(d) > 0 {
1195 l := int(d[0])
1196 d = d[1:]
1197 if l == 0 || l > len(d) {
1198 return false
1199 }
1200 m.nextProtos = append(m.nextProtos, string(d[:l]))
1201 d = d[l:]
1202 }
1203 case extensionStatusRequest:
Steven Valdeza833c352016-11-01 13:39:36 -04001204 if length > 0 {
1205 return false
Adam Langley95c29f32014-06-20 12:00:00 -07001206 }
Steven Valdeza833c352016-11-01 13:39:36 -04001207 m.ocspStapling = true
Adam Langley95c29f32014-06-20 12:00:00 -07001208 case extensionSessionTicket:
1209 if length > 0 {
1210 return false
1211 }
1212 m.ticketSupported = true
1213 case extensionRenegotiationInfo:
Adam Langley2ae77d22014-10-28 17:29:33 -07001214 if length < 1 || length != int(data[0])+1 {
Adam Langley95c29f32014-06-20 12:00:00 -07001215 return false
1216 }
Adam Langley2ae77d22014-10-28 17:29:33 -07001217 m.secureRenegotiation = data[1:length]
David Benjaminfa055a22014-09-15 16:51:51 -04001218 case extensionALPN:
1219 d := data[:length]
1220 if len(d) < 3 {
1221 return false
1222 }
1223 l := int(d[0])<<8 | int(d[1])
1224 if l != len(d)-2 {
1225 return false
1226 }
1227 d = d[2:]
1228 l = int(d[0])
1229 if l != len(d)-1 {
1230 return false
1231 }
1232 d = d[1:]
1233 m.alpnProtocol = string(d)
Adam Langleyefb0e162015-07-09 11:35:04 -07001234 m.alpnProtocolEmpty = len(d) == 0
David Benjamind30a9902014-08-24 01:44:23 -04001235 case extensionChannelID:
1236 if length > 0 {
1237 return false
1238 }
1239 m.channelIDRequested = true
Adam Langley75712922014-10-10 16:23:43 -07001240 case extensionExtendedMasterSecret:
1241 if length != 0 {
1242 return false
1243 }
1244 m.extendedMasterSecret = true
David Benjaminca6c8262014-11-15 19:06:08 -05001245 case extensionUseSRTP:
1246 if length < 2+2+1 {
1247 return false
1248 }
1249 if data[0] != 0 || data[1] != 2 {
1250 return false
1251 }
1252 m.srtpProtectionProfile = uint16(data[2])<<8 | uint16(data[3])
1253 d := data[4:length]
1254 l := int(d[0])
1255 if l != len(d)-1 {
1256 return false
1257 }
1258 m.srtpMasterKeyIdentifier = string(d[1:])
David Benjamin61f95272014-11-25 01:55:35 -05001259 case extensionSignedCertificateTimestamp:
Paul Lietar4fac72e2015-09-09 13:44:55 +01001260 m.sctList = data[:length]
Adam Langley09505632015-07-30 18:10:13 -07001261 case extensionCustom:
1262 m.customExtension = string(data[:length])
David Benjamin46f94bd2016-07-14 16:43:37 -04001263 case extensionServerName:
1264 if length != 0 {
1265 return false
1266 }
David Benjamin023d4192017-02-06 13:49:07 -05001267 m.serverNameAck = true
David Benjamin46f94bd2016-07-14 16:43:37 -04001268 case extensionSupportedPoints:
1269 // supported_points is illegal in TLS 1.3.
David Benjamin8d315d72016-07-18 01:03:18 +02001270 if version >= VersionTLS13 {
David Benjamin46f94bd2016-07-14 16:43:37 -04001271 return false
1272 }
David Benjamina81967b2016-12-22 09:16:57 -05001273 // http://tools.ietf.org/html/rfc4492#section-5.5.2
1274 if length < 1 {
1275 return false
1276 }
1277 l := int(data[0])
1278 if length != l+1 {
1279 return false
1280 }
1281 m.supportedPoints = data[1 : 1+l]
David Benjamin4ee027f2016-07-17 12:34:41 +02001282 case extensionSupportedCurves:
1283 // The server can only send supported_curves in TLS 1.3.
David Benjamin8d315d72016-07-18 01:03:18 +02001284 if version < VersionTLS13 {
David Benjamin4ee027f2016-07-17 12:34:41 +02001285 return false
1286 }
Nick Harperf2511f12016-12-06 16:02:31 -08001287 case extensionEarlyData:
1288 if version < VersionTLS13 || length != 0 {
1289 return false
1290 }
1291 m.hasEarlyData = true
David Benjamin46f94bd2016-07-14 16:43:37 -04001292 default:
1293 // Unknown extensions are illegal from the server.
1294 return false
Adam Langley95c29f32014-06-20 12:00:00 -07001295 }
1296 data = data[length:]
1297 }
1298
1299 return true
1300}
1301
Nick Harperdcfbc672016-07-16 17:47:31 +02001302type helloRetryRequestMsg struct {
David Benjamin3baa6e12016-10-07 21:10:38 -04001303 raw []byte
1304 vers uint16
1305 hasSelectedGroup bool
1306 selectedGroup CurveID
1307 cookie []byte
1308 customExtension string
1309 duplicateExtensions bool
Nick Harperdcfbc672016-07-16 17:47:31 +02001310}
1311
1312func (m *helloRetryRequestMsg) marshal() []byte {
1313 if m.raw != nil {
1314 return m.raw
1315 }
1316
1317 retryRequestMsg := newByteBuilder()
1318 retryRequestMsg.addU8(typeHelloRetryRequest)
1319 retryRequest := retryRequestMsg.addU24LengthPrefixed()
1320 retryRequest.addU16(m.vers)
David Benjamin3baa6e12016-10-07 21:10:38 -04001321 extensions := retryRequest.addU16LengthPrefixed()
1322
1323 count := 1
1324 if m.duplicateExtensions {
1325 count = 2
1326 }
1327
1328 for i := 0; i < count; i++ {
1329 if m.hasSelectedGroup {
1330 extensions.addU16(extensionKeyShare)
1331 extensions.addU16(2) // length
1332 extensions.addU16(uint16(m.selectedGroup))
1333 }
1334 if len(m.cookie) > 0 {
1335 extensions.addU16(extensionCookie)
1336 body := extensions.addU16LengthPrefixed()
1337 body.addU16LengthPrefixed().addBytes(m.cookie)
1338 }
1339 if len(m.customExtension) > 0 {
1340 extensions.addU16(extensionCustom)
1341 extensions.addU16LengthPrefixed().addBytes([]byte(m.customExtension))
1342 }
1343 }
Nick Harperdcfbc672016-07-16 17:47:31 +02001344
1345 m.raw = retryRequestMsg.finish()
1346 return m.raw
1347}
1348
1349func (m *helloRetryRequestMsg) unmarshal(data []byte) bool {
1350 m.raw = data
David Benjamin3baa6e12016-10-07 21:10:38 -04001351 if len(data) < 8 {
Nick Harperdcfbc672016-07-16 17:47:31 +02001352 return false
1353 }
1354 m.vers = uint16(data[4])<<8 | uint16(data[5])
David Benjamin3baa6e12016-10-07 21:10:38 -04001355 extLen := int(data[6])<<8 | int(data[7])
1356 data = data[8:]
1357 if len(data) != extLen || len(data) == 0 {
Nick Harperdcfbc672016-07-16 17:47:31 +02001358 return false
1359 }
David Benjamin3baa6e12016-10-07 21:10:38 -04001360 for len(data) > 0 {
1361 if len(data) < 4 {
1362 return false
1363 }
1364 extension := uint16(data[0])<<8 | uint16(data[1])
1365 length := int(data[2])<<8 | int(data[3])
1366 data = data[4:]
1367 if len(data) < length {
1368 return false
1369 }
1370
1371 switch extension {
1372 case extensionKeyShare:
1373 if length != 2 {
1374 return false
1375 }
1376 m.hasSelectedGroup = true
1377 m.selectedGroup = CurveID(data[0])<<8 | CurveID(data[1])
1378 case extensionCookie:
1379 if length < 2 {
1380 return false
1381 }
1382 cookieLen := int(data[0])<<8 | int(data[1])
1383 if 2+cookieLen != length {
1384 return false
1385 }
1386 m.cookie = data[2 : 2+cookieLen]
1387 default:
1388 // Unknown extensions are illegal from the server.
1389 return false
1390 }
1391 data = data[length:]
1392 }
Nick Harperdcfbc672016-07-16 17:47:31 +02001393 return true
1394}
1395
Steven Valdeza833c352016-11-01 13:39:36 -04001396type certificateEntry struct {
1397 data []byte
1398 ocspResponse []byte
1399 sctList []byte
1400 duplicateExtensions bool
1401 extraExtension []byte
1402}
1403
Adam Langley95c29f32014-06-20 12:00:00 -07001404type certificateMsg struct {
Nick Harperb41d2e42016-07-01 17:50:32 -04001405 raw []byte
1406 hasRequestContext bool
1407 requestContext []byte
Steven Valdeza833c352016-11-01 13:39:36 -04001408 certificates []certificateEntry
Adam Langley95c29f32014-06-20 12:00:00 -07001409}
1410
Adam Langley95c29f32014-06-20 12:00:00 -07001411func (m *certificateMsg) marshal() (x []byte) {
1412 if m.raw != nil {
1413 return m.raw
1414 }
1415
Nick Harper7e0442a2016-07-01 17:40:09 -04001416 certMsg := newByteBuilder()
1417 certMsg.addU8(typeCertificate)
1418 certificate := certMsg.addU24LengthPrefixed()
Nick Harperb41d2e42016-07-01 17:50:32 -04001419 if m.hasRequestContext {
1420 context := certificate.addU8LengthPrefixed()
1421 context.addBytes(m.requestContext)
1422 }
Nick Harper7e0442a2016-07-01 17:40:09 -04001423 certificateList := certificate.addU24LengthPrefixed()
1424 for _, cert := range m.certificates {
1425 certEntry := certificateList.addU24LengthPrefixed()
Steven Valdeza833c352016-11-01 13:39:36 -04001426 certEntry.addBytes(cert.data)
1427 if m.hasRequestContext {
1428 extensions := certificateList.addU16LengthPrefixed()
1429 count := 1
1430 if cert.duplicateExtensions {
1431 count = 2
1432 }
1433
1434 for i := 0; i < count; i++ {
1435 if cert.ocspResponse != nil {
1436 extensions.addU16(extensionStatusRequest)
1437 body := extensions.addU16LengthPrefixed()
1438 body.addU8(statusTypeOCSP)
1439 response := body.addU24LengthPrefixed()
1440 response.addBytes(cert.ocspResponse)
1441 }
1442
1443 if cert.sctList != nil {
1444 extensions.addU16(extensionSignedCertificateTimestamp)
1445 extension := extensions.addU16LengthPrefixed()
1446 extension.addBytes(cert.sctList)
1447 }
1448 }
1449 if cert.extraExtension != nil {
1450 extensions.addBytes(cert.extraExtension)
1451 }
1452 }
Adam Langley95c29f32014-06-20 12:00:00 -07001453 }
1454
Nick Harper7e0442a2016-07-01 17:40:09 -04001455 m.raw = certMsg.finish()
1456 return m.raw
Adam Langley95c29f32014-06-20 12:00:00 -07001457}
1458
1459func (m *certificateMsg) unmarshal(data []byte) bool {
Nick Harperb41d2e42016-07-01 17:50:32 -04001460 if len(data) < 4 {
Adam Langley95c29f32014-06-20 12:00:00 -07001461 return false
1462 }
1463
1464 m.raw = data
Nick Harperb41d2e42016-07-01 17:50:32 -04001465 data = data[4:]
1466
1467 if m.hasRequestContext {
1468 if len(data) == 0 {
1469 return false
1470 }
1471 contextLen := int(data[0])
1472 if len(data) < 1+contextLen {
1473 return false
1474 }
1475 m.requestContext = make([]byte, contextLen)
1476 copy(m.requestContext, data[1:])
1477 data = data[1+contextLen:]
1478 }
1479
1480 if len(data) < 3 {
1481 return false
1482 }
1483 certsLen := int(data[0])<<16 | int(data[1])<<8 | int(data[2])
1484 data = data[3:]
1485 if len(data) != certsLen {
Adam Langley95c29f32014-06-20 12:00:00 -07001486 return false
1487 }
1488
Steven Valdeza833c352016-11-01 13:39:36 -04001489 m.certificates = nil
1490 for len(data) != 0 {
1491 if len(data) < 3 {
Adam Langley95c29f32014-06-20 12:00:00 -07001492 return false
1493 }
Steven Valdeza833c352016-11-01 13:39:36 -04001494 certLen := int(data[0])<<16 | int(data[1])<<8 | int(data[2])
1495 if len(data) < 3+certLen {
Adam Langley95c29f32014-06-20 12:00:00 -07001496 return false
1497 }
Steven Valdeza833c352016-11-01 13:39:36 -04001498 cert := certificateEntry{
1499 data: data[3 : 3+certLen],
1500 }
1501 data = data[3+certLen:]
1502 if m.hasRequestContext {
1503 if len(data) < 2 {
1504 return false
1505 }
1506 extensionsLen := int(data[0])<<8 | int(data[1])
1507 if len(data) < 2+extensionsLen {
1508 return false
1509 }
1510 extensions := data[2 : 2+extensionsLen]
1511 data = data[2+extensionsLen:]
1512 for len(extensions) != 0 {
1513 if len(extensions) < 4 {
1514 return false
1515 }
1516 extension := uint16(extensions[0])<<8 | uint16(extensions[1])
1517 length := int(extensions[2])<<8 | int(extensions[3])
1518 if len(extensions) < 4+length {
1519 return false
1520 }
1521 contents := extensions[4 : 4+length]
1522 extensions = extensions[4+length:]
Adam Langley95c29f32014-06-20 12:00:00 -07001523
Steven Valdeza833c352016-11-01 13:39:36 -04001524 switch extension {
1525 case extensionStatusRequest:
1526 if length < 4 {
1527 return false
1528 }
1529 if contents[0] != statusTypeOCSP {
1530 return false
1531 }
1532 respLen := int(contents[1])<<16 | int(contents[2])<<8 | int(contents[3])
1533 if respLen+4 != len(contents) || respLen == 0 {
1534 return false
1535 }
1536 cert.ocspResponse = contents[4:]
1537 case extensionSignedCertificateTimestamp:
1538 cert.sctList = contents
1539 default:
1540 return false
1541 }
1542 }
1543 }
1544 m.certificates = append(m.certificates, cert)
Adam Langley95c29f32014-06-20 12:00:00 -07001545 }
1546
1547 return true
1548}
1549
1550type serverKeyExchangeMsg struct {
1551 raw []byte
1552 key []byte
1553}
1554
Adam Langley95c29f32014-06-20 12:00:00 -07001555func (m *serverKeyExchangeMsg) marshal() []byte {
1556 if m.raw != nil {
1557 return m.raw
1558 }
1559 length := len(m.key)
1560 x := make([]byte, length+4)
1561 x[0] = typeServerKeyExchange
1562 x[1] = uint8(length >> 16)
1563 x[2] = uint8(length >> 8)
1564 x[3] = uint8(length)
1565 copy(x[4:], m.key)
1566
1567 m.raw = x
1568 return x
1569}
1570
1571func (m *serverKeyExchangeMsg) unmarshal(data []byte) bool {
1572 m.raw = data
1573 if len(data) < 4 {
1574 return false
1575 }
1576 m.key = data[4:]
1577 return true
1578}
1579
1580type certificateStatusMsg struct {
1581 raw []byte
1582 statusType uint8
1583 response []byte
1584}
1585
Adam Langley95c29f32014-06-20 12:00:00 -07001586func (m *certificateStatusMsg) marshal() []byte {
1587 if m.raw != nil {
1588 return m.raw
1589 }
1590
1591 var x []byte
1592 if m.statusType == statusTypeOCSP {
1593 x = make([]byte, 4+4+len(m.response))
1594 x[0] = typeCertificateStatus
1595 l := len(m.response) + 4
1596 x[1] = byte(l >> 16)
1597 x[2] = byte(l >> 8)
1598 x[3] = byte(l)
1599 x[4] = statusTypeOCSP
1600
1601 l -= 4
1602 x[5] = byte(l >> 16)
1603 x[6] = byte(l >> 8)
1604 x[7] = byte(l)
1605 copy(x[8:], m.response)
1606 } else {
1607 x = []byte{typeCertificateStatus, 0, 0, 1, m.statusType}
1608 }
1609
1610 m.raw = x
1611 return x
1612}
1613
1614func (m *certificateStatusMsg) unmarshal(data []byte) bool {
1615 m.raw = data
1616 if len(data) < 5 {
1617 return false
1618 }
1619 m.statusType = data[4]
1620
1621 m.response = nil
1622 if m.statusType == statusTypeOCSP {
1623 if len(data) < 8 {
1624 return false
1625 }
1626 respLen := uint32(data[5])<<16 | uint32(data[6])<<8 | uint32(data[7])
1627 if uint32(len(data)) != 4+4+respLen {
1628 return false
1629 }
1630 m.response = data[8:]
1631 }
1632 return true
1633}
1634
1635type serverHelloDoneMsg struct{}
1636
Adam Langley95c29f32014-06-20 12:00:00 -07001637func (m *serverHelloDoneMsg) marshal() []byte {
1638 x := make([]byte, 4)
1639 x[0] = typeServerHelloDone
1640 return x
1641}
1642
1643func (m *serverHelloDoneMsg) unmarshal(data []byte) bool {
1644 return len(data) == 4
1645}
1646
1647type clientKeyExchangeMsg struct {
1648 raw []byte
1649 ciphertext []byte
1650}
1651
Adam Langley95c29f32014-06-20 12:00:00 -07001652func (m *clientKeyExchangeMsg) marshal() []byte {
1653 if m.raw != nil {
1654 return m.raw
1655 }
1656 length := len(m.ciphertext)
1657 x := make([]byte, length+4)
1658 x[0] = typeClientKeyExchange
1659 x[1] = uint8(length >> 16)
1660 x[2] = uint8(length >> 8)
1661 x[3] = uint8(length)
1662 copy(x[4:], m.ciphertext)
1663
1664 m.raw = x
1665 return x
1666}
1667
1668func (m *clientKeyExchangeMsg) unmarshal(data []byte) bool {
1669 m.raw = data
1670 if len(data) < 4 {
1671 return false
1672 }
1673 l := int(data[1])<<16 | int(data[2])<<8 | int(data[3])
1674 if l != len(data)-4 {
1675 return false
1676 }
1677 m.ciphertext = data[4:]
1678 return true
1679}
1680
1681type finishedMsg struct {
1682 raw []byte
1683 verifyData []byte
1684}
1685
Adam Langley95c29f32014-06-20 12:00:00 -07001686func (m *finishedMsg) marshal() (x []byte) {
1687 if m.raw != nil {
1688 return m.raw
1689 }
1690
1691 x = make([]byte, 4+len(m.verifyData))
1692 x[0] = typeFinished
1693 x[3] = byte(len(m.verifyData))
1694 copy(x[4:], m.verifyData)
1695 m.raw = x
1696 return
1697}
1698
1699func (m *finishedMsg) unmarshal(data []byte) bool {
1700 m.raw = data
1701 if len(data) < 4 {
1702 return false
1703 }
1704 m.verifyData = data[4:]
1705 return true
1706}
1707
1708type nextProtoMsg struct {
1709 raw []byte
1710 proto string
1711}
1712
Adam Langley95c29f32014-06-20 12:00:00 -07001713func (m *nextProtoMsg) marshal() []byte {
1714 if m.raw != nil {
1715 return m.raw
1716 }
1717 l := len(m.proto)
1718 if l > 255 {
1719 l = 255
1720 }
1721
1722 padding := 32 - (l+2)%32
1723 length := l + padding + 2
1724 x := make([]byte, length+4)
1725 x[0] = typeNextProtocol
1726 x[1] = uint8(length >> 16)
1727 x[2] = uint8(length >> 8)
1728 x[3] = uint8(length)
1729
1730 y := x[4:]
1731 y[0] = byte(l)
1732 copy(y[1:], []byte(m.proto[0:l]))
1733 y = y[1+l:]
1734 y[0] = byte(padding)
1735
1736 m.raw = x
1737
1738 return x
1739}
1740
1741func (m *nextProtoMsg) unmarshal(data []byte) bool {
1742 m.raw = data
1743
1744 if len(data) < 5 {
1745 return false
1746 }
1747 data = data[4:]
1748 protoLen := int(data[0])
1749 data = data[1:]
1750 if len(data) < protoLen {
1751 return false
1752 }
1753 m.proto = string(data[0:protoLen])
1754 data = data[protoLen:]
1755
1756 if len(data) < 1 {
1757 return false
1758 }
1759 paddingLen := int(data[0])
1760 data = data[1:]
1761 if len(data) != paddingLen {
1762 return false
1763 }
1764
1765 return true
1766}
1767
1768type certificateRequestMsg struct {
1769 raw []byte
Nick Harper60edffd2016-06-21 15:19:24 -07001770 // hasSignatureAlgorithm indicates whether this message includes a list
Adam Langley95c29f32014-06-20 12:00:00 -07001771 // of signature and hash functions. This change was introduced with TLS
1772 // 1.2.
Nick Harper60edffd2016-06-21 15:19:24 -07001773 hasSignatureAlgorithm bool
Nick Harperb41d2e42016-07-01 17:50:32 -04001774 // hasRequestContext indicates whether this message includes a context
1775 // field instead of certificateTypes. This change was introduced with
1776 // TLS 1.3.
1777 hasRequestContext bool
Adam Langley95c29f32014-06-20 12:00:00 -07001778
1779 certificateTypes []byte
Nick Harperb41d2e42016-07-01 17:50:32 -04001780 requestContext []byte
Nick Harper60edffd2016-06-21 15:19:24 -07001781 signatureAlgorithms []signatureAlgorithm
Adam Langley95c29f32014-06-20 12:00:00 -07001782 certificateAuthorities [][]byte
1783}
1784
Nick Harper7e0442a2016-07-01 17:40:09 -04001785func (m *certificateRequestMsg) marshal() []byte {
Adam Langley95c29f32014-06-20 12:00:00 -07001786 if m.raw != nil {
1787 return m.raw
1788 }
1789
1790 // See http://tools.ietf.org/html/rfc4346#section-7.4.4
Nick Harper7e0442a2016-07-01 17:40:09 -04001791 builder := newByteBuilder()
1792 builder.addU8(typeCertificateRequest)
1793 body := builder.addU24LengthPrefixed()
1794
Nick Harperb41d2e42016-07-01 17:50:32 -04001795 if m.hasRequestContext {
1796 requestContext := body.addU8LengthPrefixed()
1797 requestContext.addBytes(m.requestContext)
1798 } else {
1799 certificateTypes := body.addU8LengthPrefixed()
1800 certificateTypes.addBytes(m.certificateTypes)
1801 }
Adam Langley95c29f32014-06-20 12:00:00 -07001802
Nick Harper60edffd2016-06-21 15:19:24 -07001803 if m.hasSignatureAlgorithm {
Nick Harper7e0442a2016-07-01 17:40:09 -04001804 signatureAlgorithms := body.addU16LengthPrefixed()
Nick Harper60edffd2016-06-21 15:19:24 -07001805 for _, sigAlg := range m.signatureAlgorithms {
Nick Harper7e0442a2016-07-01 17:40:09 -04001806 signatureAlgorithms.addU16(uint16(sigAlg))
Adam Langley95c29f32014-06-20 12:00:00 -07001807 }
1808 }
1809
Nick Harper7e0442a2016-07-01 17:40:09 -04001810 certificateAuthorities := body.addU16LengthPrefixed()
Adam Langley95c29f32014-06-20 12:00:00 -07001811 for _, ca := range m.certificateAuthorities {
Nick Harper7e0442a2016-07-01 17:40:09 -04001812 caEntry := certificateAuthorities.addU16LengthPrefixed()
1813 caEntry.addBytes(ca)
Adam Langley95c29f32014-06-20 12:00:00 -07001814 }
1815
David Benjamin8d343b42016-07-09 14:26:01 -07001816 if m.hasRequestContext {
1817 // Emit no certificate extensions.
1818 body.addU16(0)
1819 }
1820
Nick Harper7e0442a2016-07-01 17:40:09 -04001821 m.raw = builder.finish()
1822 return m.raw
Adam Langley95c29f32014-06-20 12:00:00 -07001823}
1824
1825func (m *certificateRequestMsg) unmarshal(data []byte) bool {
1826 m.raw = data
1827
1828 if len(data) < 5 {
1829 return false
1830 }
Nick Harperb41d2e42016-07-01 17:50:32 -04001831 data = data[4:]
Adam Langley95c29f32014-06-20 12:00:00 -07001832
Nick Harperb41d2e42016-07-01 17:50:32 -04001833 if m.hasRequestContext {
1834 contextLen := int(data[0])
1835 if len(data) < 1+contextLen {
1836 return false
1837 }
1838 m.requestContext = make([]byte, contextLen)
1839 copy(m.requestContext, data[1:])
1840 data = data[1+contextLen:]
1841 } else {
1842 numCertTypes := int(data[0])
1843 if len(data) < 1+numCertTypes {
1844 return false
1845 }
1846 m.certificateTypes = make([]byte, numCertTypes)
1847 copy(m.certificateTypes, data[1:])
1848 data = data[1+numCertTypes:]
Adam Langley95c29f32014-06-20 12:00:00 -07001849 }
1850
Nick Harper60edffd2016-06-21 15:19:24 -07001851 if m.hasSignatureAlgorithm {
Adam Langley95c29f32014-06-20 12:00:00 -07001852 if len(data) < 2 {
1853 return false
1854 }
Nick Harper60edffd2016-06-21 15:19:24 -07001855 sigAlgsLen := uint16(data[0])<<8 | uint16(data[1])
Adam Langley95c29f32014-06-20 12:00:00 -07001856 data = data[2:]
Nick Harper60edffd2016-06-21 15:19:24 -07001857 if sigAlgsLen&1 != 0 {
Adam Langley95c29f32014-06-20 12:00:00 -07001858 return false
1859 }
Nick Harper60edffd2016-06-21 15:19:24 -07001860 if len(data) < int(sigAlgsLen) {
Adam Langley95c29f32014-06-20 12:00:00 -07001861 return false
1862 }
Nick Harper60edffd2016-06-21 15:19:24 -07001863 numSigAlgs := sigAlgsLen / 2
1864 m.signatureAlgorithms = make([]signatureAlgorithm, numSigAlgs)
1865 for i := range m.signatureAlgorithms {
1866 m.signatureAlgorithms[i] = signatureAlgorithm(data[0])<<8 | signatureAlgorithm(data[1])
Adam Langley95c29f32014-06-20 12:00:00 -07001867 data = data[2:]
1868 }
1869 }
1870
1871 if len(data) < 2 {
1872 return false
1873 }
1874 casLength := uint16(data[0])<<8 | uint16(data[1])
1875 data = data[2:]
1876 if len(data) < int(casLength) {
1877 return false
1878 }
1879 cas := make([]byte, casLength)
1880 copy(cas, data)
1881 data = data[casLength:]
1882
1883 m.certificateAuthorities = nil
1884 for len(cas) > 0 {
1885 if len(cas) < 2 {
1886 return false
1887 }
1888 caLen := uint16(cas[0])<<8 | uint16(cas[1])
1889 cas = cas[2:]
1890
1891 if len(cas) < int(caLen) {
1892 return false
1893 }
1894
1895 m.certificateAuthorities = append(m.certificateAuthorities, cas[:caLen])
1896 cas = cas[caLen:]
1897 }
David Benjamin8d343b42016-07-09 14:26:01 -07001898
1899 if m.hasRequestContext {
1900 // Ignore certificate extensions.
1901 if len(data) < 2 {
1902 return false
1903 }
1904 extsLength := int(data[0])<<8 | int(data[1])
1905 if len(data) < 2+extsLength {
1906 return false
1907 }
1908 data = data[2+extsLength:]
1909 }
1910
Adam Langley95c29f32014-06-20 12:00:00 -07001911 if len(data) > 0 {
1912 return false
1913 }
1914
1915 return true
1916}
1917
1918type certificateVerifyMsg struct {
Nick Harper60edffd2016-06-21 15:19:24 -07001919 raw []byte
1920 hasSignatureAlgorithm bool
1921 signatureAlgorithm signatureAlgorithm
1922 signature []byte
Adam Langley95c29f32014-06-20 12:00:00 -07001923}
1924
Adam Langley95c29f32014-06-20 12:00:00 -07001925func (m *certificateVerifyMsg) marshal() (x []byte) {
1926 if m.raw != nil {
1927 return m.raw
1928 }
1929
1930 // See http://tools.ietf.org/html/rfc4346#section-7.4.8
1931 siglength := len(m.signature)
1932 length := 2 + siglength
Nick Harper60edffd2016-06-21 15:19:24 -07001933 if m.hasSignatureAlgorithm {
Adam Langley95c29f32014-06-20 12:00:00 -07001934 length += 2
1935 }
1936 x = make([]byte, 4+length)
1937 x[0] = typeCertificateVerify
1938 x[1] = uint8(length >> 16)
1939 x[2] = uint8(length >> 8)
1940 x[3] = uint8(length)
1941 y := x[4:]
Nick Harper60edffd2016-06-21 15:19:24 -07001942 if m.hasSignatureAlgorithm {
1943 y[0] = byte(m.signatureAlgorithm >> 8)
1944 y[1] = byte(m.signatureAlgorithm)
Adam Langley95c29f32014-06-20 12:00:00 -07001945 y = y[2:]
1946 }
1947 y[0] = uint8(siglength >> 8)
1948 y[1] = uint8(siglength)
1949 copy(y[2:], m.signature)
1950
1951 m.raw = x
1952
1953 return
1954}
1955
1956func (m *certificateVerifyMsg) unmarshal(data []byte) bool {
1957 m.raw = data
1958
1959 if len(data) < 6 {
1960 return false
1961 }
1962
1963 length := uint32(data[1])<<16 | uint32(data[2])<<8 | uint32(data[3])
1964 if uint32(len(data))-4 != length {
1965 return false
1966 }
1967
1968 data = data[4:]
Nick Harper60edffd2016-06-21 15:19:24 -07001969 if m.hasSignatureAlgorithm {
1970 m.signatureAlgorithm = signatureAlgorithm(data[0])<<8 | signatureAlgorithm(data[1])
Adam Langley95c29f32014-06-20 12:00:00 -07001971 data = data[2:]
1972 }
1973
1974 if len(data) < 2 {
1975 return false
1976 }
1977 siglength := int(data[0])<<8 + int(data[1])
1978 data = data[2:]
1979 if len(data) != siglength {
1980 return false
1981 }
1982
1983 m.signature = data
1984
1985 return true
1986}
1987
1988type newSessionTicketMsg struct {
David Benjamin9c33ae82017-01-08 06:04:43 -05001989 raw []byte
1990 version uint16
1991 ticketLifetime uint32
1992 ticketAgeAdd uint32
1993 ticket []byte
Nick Harperf2511f12016-12-06 16:02:31 -08001994 maxEarlyDataSize uint32
David Benjamin9c33ae82017-01-08 06:04:43 -05001995 customExtension string
1996 duplicateEarlyDataInfo bool
1997 hasGREASEExtension bool
Adam Langley95c29f32014-06-20 12:00:00 -07001998}
1999
David Benjamin58104882016-07-18 01:25:41 +02002000func (m *newSessionTicketMsg) marshal() []byte {
Adam Langley95c29f32014-06-20 12:00:00 -07002001 if m.raw != nil {
2002 return m.raw
2003 }
2004
2005 // See http://tools.ietf.org/html/rfc5077#section-3.3
David Benjamin58104882016-07-18 01:25:41 +02002006 ticketMsg := newByteBuilder()
2007 ticketMsg.addU8(typeNewSessionTicket)
2008 body := ticketMsg.addU24LengthPrefixed()
2009 body.addU32(m.ticketLifetime)
2010 if m.version >= VersionTLS13 {
Steven Valdeza833c352016-11-01 13:39:36 -04002011 body.addU32(m.ticketAgeAdd)
Steven Valdez5b986082016-09-01 12:29:49 -04002012 }
2013
2014 ticket := body.addU16LengthPrefixed()
2015 ticket.addBytes(m.ticket)
2016
2017 if m.version >= VersionTLS13 {
David Benjamin1286bee2016-10-07 15:25:06 -04002018 extensions := body.addU16LengthPrefixed()
Nick Harperf2511f12016-12-06 16:02:31 -08002019 if m.maxEarlyDataSize > 0 {
Steven Valdez08b65f42016-12-07 15:29:45 -05002020 extensions.addU16(extensionTicketEarlyDataInfo)
Nick Harperf2511f12016-12-06 16:02:31 -08002021 extensions.addU16LengthPrefixed().addU32(m.maxEarlyDataSize)
David Benjamin9c33ae82017-01-08 06:04:43 -05002022 if m.duplicateEarlyDataInfo {
2023 extensions.addU16(extensionTicketEarlyDataInfo)
Nick Harperf2511f12016-12-06 16:02:31 -08002024 extensions.addU16LengthPrefixed().addU32(m.maxEarlyDataSize)
David Benjamin9c33ae82017-01-08 06:04:43 -05002025 }
Steven Valdez08b65f42016-12-07 15:29:45 -05002026 }
David Benjamin1286bee2016-10-07 15:25:06 -04002027 if len(m.customExtension) > 0 {
Steven Valdez08b65f42016-12-07 15:29:45 -05002028 extensions.addU16(extensionCustom)
David Benjamin1286bee2016-10-07 15:25:06 -04002029 extensions.addU16LengthPrefixed().addBytes([]byte(m.customExtension))
2030 }
David Benjamin58104882016-07-18 01:25:41 +02002031 }
Adam Langley95c29f32014-06-20 12:00:00 -07002032
David Benjamin58104882016-07-18 01:25:41 +02002033 m.raw = ticketMsg.finish()
2034 return m.raw
Adam Langley95c29f32014-06-20 12:00:00 -07002035}
2036
2037func (m *newSessionTicketMsg) unmarshal(data []byte) bool {
2038 m.raw = data
2039
David Benjamin58104882016-07-18 01:25:41 +02002040 if len(data) < 8 {
2041 return false
2042 }
2043 m.ticketLifetime = uint32(data[4])<<24 | uint32(data[5])<<16 | uint32(data[6])<<8 | uint32(data[7])
2044 data = data[8:]
2045
2046 if m.version >= VersionTLS13 {
Steven Valdeza833c352016-11-01 13:39:36 -04002047 if len(data) < 4 {
David Benjamin58104882016-07-18 01:25:41 +02002048 return false
2049 }
Steven Valdeza833c352016-11-01 13:39:36 -04002050 m.ticketAgeAdd = uint32(data[0])<<24 | uint32(data[1])<<16 | uint32(data[2])<<8 | uint32(data[3])
2051 data = data[4:]
David Benjamin58104882016-07-18 01:25:41 +02002052 }
2053
2054 if len(data) < 2 {
2055 return false
2056 }
2057 ticketLen := int(data[0])<<8 + int(data[1])
Steven Valdez5b986082016-09-01 12:29:49 -04002058 data = data[2:]
2059 if len(data) < ticketLen {
David Benjamin58104882016-07-18 01:25:41 +02002060 return false
2061 }
Steven Valdez5b986082016-09-01 12:29:49 -04002062
David Benjamin58104882016-07-18 01:25:41 +02002063 if m.version >= VersionTLS13 && ticketLen == 0 {
Adam Langley95c29f32014-06-20 12:00:00 -07002064 return false
2065 }
2066
Steven Valdez5b986082016-09-01 12:29:49 -04002067 m.ticket = data[:ticketLen]
2068 data = data[ticketLen:]
2069
2070 if m.version >= VersionTLS13 {
2071 if len(data) < 2 {
2072 return false
2073 }
Steven Valdez08b65f42016-12-07 15:29:45 -05002074
2075 extensionsLength := int(data[0])<<8 | int(data[1])
Steven Valdez5b986082016-09-01 12:29:49 -04002076 data = data[2:]
Steven Valdez08b65f42016-12-07 15:29:45 -05002077 if extensionsLength != len(data) {
Steven Valdez5b986082016-09-01 12:29:49 -04002078 return false
2079 }
David Benjamin1a5e8ec2016-10-07 15:19:18 -04002080
Steven Valdez08b65f42016-12-07 15:29:45 -05002081 for len(data) != 0 {
2082 if len(data) < 4 {
David Benjamin1a5e8ec2016-10-07 15:19:18 -04002083 return false
2084 }
Steven Valdez08b65f42016-12-07 15:29:45 -05002085 extension := uint16(data[0])<<8 | uint16(data[1])
2086 length := int(data[2])<<8 | int(data[3])
2087 data = data[4:]
2088 if len(data) < length {
David Benjamin1a5e8ec2016-10-07 15:19:18 -04002089 return false
2090 }
David Benjamin1a5e8ec2016-10-07 15:19:18 -04002091
Steven Valdez08b65f42016-12-07 15:29:45 -05002092 switch extension {
2093 case extensionTicketEarlyDataInfo:
2094 if length != 4 {
2095 return false
2096 }
Nick Harperf2511f12016-12-06 16:02:31 -08002097 m.maxEarlyDataSize = uint32(data[0])<<24 | uint32(data[1])<<16 | uint32(data[2])<<8 | uint32(data[3])
Steven Valdez08b65f42016-12-07 15:29:45 -05002098 default:
2099 if isGREASEValue(extension) {
2100 m.hasGREASEExtension = true
2101 }
David Benjamin1a5e8ec2016-10-07 15:19:18 -04002102 }
Steven Valdez08b65f42016-12-07 15:29:45 -05002103
2104 data = data[length:]
David Benjamin1a5e8ec2016-10-07 15:19:18 -04002105 }
Steven Valdez5b986082016-09-01 12:29:49 -04002106 }
2107
2108 if len(data) > 0 {
2109 return false
2110 }
Adam Langley95c29f32014-06-20 12:00:00 -07002111
2112 return true
2113}
2114
David Benjamind86c7672014-08-02 04:07:12 -04002115type v2ClientHelloMsg struct {
2116 raw []byte
2117 vers uint16
2118 cipherSuites []uint16
2119 sessionId []byte
2120 challenge []byte
2121}
2122
David Benjamind86c7672014-08-02 04:07:12 -04002123func (m *v2ClientHelloMsg) marshal() []byte {
2124 if m.raw != nil {
2125 return m.raw
2126 }
2127
2128 length := 1 + 2 + 2 + 2 + 2 + len(m.cipherSuites)*3 + len(m.sessionId) + len(m.challenge)
2129
2130 x := make([]byte, length)
2131 x[0] = 1
2132 x[1] = uint8(m.vers >> 8)
2133 x[2] = uint8(m.vers)
2134 x[3] = uint8((len(m.cipherSuites) * 3) >> 8)
2135 x[4] = uint8(len(m.cipherSuites) * 3)
2136 x[5] = uint8(len(m.sessionId) >> 8)
2137 x[6] = uint8(len(m.sessionId))
2138 x[7] = uint8(len(m.challenge) >> 8)
2139 x[8] = uint8(len(m.challenge))
2140 y := x[9:]
2141 for i, spec := range m.cipherSuites {
2142 y[i*3] = 0
2143 y[i*3+1] = uint8(spec >> 8)
2144 y[i*3+2] = uint8(spec)
2145 }
2146 y = y[len(m.cipherSuites)*3:]
2147 copy(y, m.sessionId)
2148 y = y[len(m.sessionId):]
2149 copy(y, m.challenge)
2150
2151 m.raw = x
2152
2153 return x
2154}
2155
David Benjamin83c0bc92014-08-04 01:23:53 -04002156type helloVerifyRequestMsg struct {
2157 raw []byte
2158 vers uint16
2159 cookie []byte
2160}
2161
David Benjamin83c0bc92014-08-04 01:23:53 -04002162func (m *helloVerifyRequestMsg) marshal() []byte {
2163 if m.raw != nil {
2164 return m.raw
2165 }
2166
2167 length := 2 + 1 + len(m.cookie)
2168
2169 x := make([]byte, 4+length)
2170 x[0] = typeHelloVerifyRequest
2171 x[1] = uint8(length >> 16)
2172 x[2] = uint8(length >> 8)
2173 x[3] = uint8(length)
David Benjamin3c6a1ea2016-09-26 18:30:05 -04002174 vers := m.vers
David Benjamin83c0bc92014-08-04 01:23:53 -04002175 x[4] = uint8(vers >> 8)
2176 x[5] = uint8(vers)
2177 x[6] = uint8(len(m.cookie))
2178 copy(x[7:7+len(m.cookie)], m.cookie)
2179
2180 return x
2181}
2182
2183func (m *helloVerifyRequestMsg) unmarshal(data []byte) bool {
2184 if len(data) < 4+2+1 {
2185 return false
2186 }
2187 m.raw = data
David Benjamin3c6a1ea2016-09-26 18:30:05 -04002188 m.vers = uint16(data[4])<<8 | uint16(data[5])
David Benjamin83c0bc92014-08-04 01:23:53 -04002189 cookieLen := int(data[6])
2190 if cookieLen > 32 || len(data) != 7+cookieLen {
2191 return false
2192 }
2193 m.cookie = data[7 : 7+cookieLen]
2194
2195 return true
2196}
2197
David Benjamin24599a82016-06-30 18:56:53 -04002198type channelIDMsg struct {
David Benjamind30a9902014-08-24 01:44:23 -04002199 raw []byte
2200 channelID []byte
2201}
2202
David Benjamin24599a82016-06-30 18:56:53 -04002203func (m *channelIDMsg) marshal() []byte {
David Benjamind30a9902014-08-24 01:44:23 -04002204 if m.raw != nil {
2205 return m.raw
2206 }
2207
2208 length := 2 + 2 + len(m.channelID)
2209
2210 x := make([]byte, 4+length)
David Benjamin24599a82016-06-30 18:56:53 -04002211 x[0] = typeChannelID
David Benjamind30a9902014-08-24 01:44:23 -04002212 x[1] = uint8(length >> 16)
2213 x[2] = uint8(length >> 8)
2214 x[3] = uint8(length)
2215 x[4] = uint8(extensionChannelID >> 8)
2216 x[5] = uint8(extensionChannelID & 0xff)
2217 x[6] = uint8(len(m.channelID) >> 8)
2218 x[7] = uint8(len(m.channelID) & 0xff)
2219 copy(x[8:], m.channelID)
2220
2221 return x
2222}
2223
David Benjamin24599a82016-06-30 18:56:53 -04002224func (m *channelIDMsg) unmarshal(data []byte) bool {
David Benjamind30a9902014-08-24 01:44:23 -04002225 if len(data) != 4+2+2+128 {
2226 return false
2227 }
2228 m.raw = data
2229 if (uint16(data[4])<<8)|uint16(data[5]) != extensionChannelID {
2230 return false
2231 }
2232 if int(data[6])<<8|int(data[7]) != 128 {
2233 return false
2234 }
2235 m.channelID = data[4+2+2:]
2236
2237 return true
2238}
2239
Adam Langley2ae77d22014-10-28 17:29:33 -07002240type helloRequestMsg struct {
2241}
2242
2243func (*helloRequestMsg) marshal() []byte {
2244 return []byte{typeHelloRequest, 0, 0, 0}
2245}
2246
2247func (*helloRequestMsg) unmarshal(data []byte) bool {
2248 return len(data) == 4
2249}
2250
David Benjamin21c00282016-07-18 21:56:23 +02002251type keyUpdateMsg struct {
Steven Valdezc4aa7272016-10-03 12:25:56 -04002252 raw []byte
2253 keyUpdateRequest byte
David Benjamin21c00282016-07-18 21:56:23 +02002254}
2255
Steven Valdezc4aa7272016-10-03 12:25:56 -04002256func (m *keyUpdateMsg) marshal() []byte {
2257 if m.raw != nil {
2258 return m.raw
2259 }
2260
2261 return []byte{typeKeyUpdate, 0, 0, 1, m.keyUpdateRequest}
David Benjamin21c00282016-07-18 21:56:23 +02002262}
2263
Steven Valdezc4aa7272016-10-03 12:25:56 -04002264func (m *keyUpdateMsg) unmarshal(data []byte) bool {
2265 m.raw = data
2266
2267 if len(data) != 5 {
2268 return false
2269 }
2270
2271 length := int(data[1])<<16 | int(data[2])<<8 | int(data[3])
2272 if len(data)-4 != length {
2273 return false
2274 }
2275
2276 m.keyUpdateRequest = data[4]
2277 return m.keyUpdateRequest == keyUpdateNotRequested || m.keyUpdateRequest == keyUpdateRequested
David Benjamin21c00282016-07-18 21:56:23 +02002278}
2279
David Benjamin053fee92017-01-02 08:30:36 -05002280// ssl3NoCertificateMsg is a dummy message to handle SSL 3.0 using a warning
2281// alert in the handshake.
2282type ssl3NoCertificateMsg struct{}
2283
Adam Langley95c29f32014-06-20 12:00:00 -07002284func eqUint16s(x, y []uint16) bool {
2285 if len(x) != len(y) {
2286 return false
2287 }
2288 for i, v := range x {
2289 if y[i] != v {
2290 return false
2291 }
2292 }
2293 return true
2294}
2295
2296func eqCurveIDs(x, y []CurveID) bool {
2297 if len(x) != len(y) {
2298 return false
2299 }
2300 for i, v := range x {
2301 if y[i] != v {
2302 return false
2303 }
2304 }
2305 return true
2306}
2307
2308func eqStrings(x, y []string) bool {
2309 if len(x) != len(y) {
2310 return false
2311 }
2312 for i, v := range x {
2313 if y[i] != v {
2314 return false
2315 }
2316 }
2317 return true
2318}
2319
2320func eqByteSlices(x, y [][]byte) bool {
2321 if len(x) != len(y) {
2322 return false
2323 }
2324 for i, v := range x {
2325 if !bytes.Equal(v, y[i]) {
2326 return false
2327 }
2328 }
2329 return true
2330}
2331
Nick Harper60edffd2016-06-21 15:19:24 -07002332func eqSignatureAlgorithms(x, y []signatureAlgorithm) bool {
Adam Langley95c29f32014-06-20 12:00:00 -07002333 if len(x) != len(y) {
2334 return false
2335 }
2336 for i, v := range x {
2337 v2 := y[i]
Nick Harper60edffd2016-06-21 15:19:24 -07002338 if v != v2 {
Adam Langley95c29f32014-06-20 12:00:00 -07002339 return false
2340 }
2341 }
2342 return true
2343}
Nick Harperf8b0e702016-06-30 19:59:01 -04002344
2345func eqKeyShareEntryLists(x, y []keyShareEntry) bool {
2346 if len(x) != len(y) {
2347 return false
2348 }
2349 for i, v := range x {
2350 if y[i].group != v.group || !bytes.Equal(y[i].keyExchange, v.keyExchange) {
2351 return false
2352 }
2353 }
2354 return true
2355
2356}
Steven Valdez5b986082016-09-01 12:29:49 -04002357
2358func eqPSKIdentityLists(x, y []pskIdentity) bool {
2359 if len(x) != len(y) {
2360 return false
2361 }
2362 for i, v := range x {
Steven Valdeza833c352016-11-01 13:39:36 -04002363 if !bytes.Equal(y[i].ticket, v.ticket) || y[i].obfuscatedTicketAge != v.obfuscatedTicketAge {
Steven Valdez5b986082016-09-01 12:29:49 -04002364 return false
2365 }
2366 }
2367 return true
2368
2369}