mirror of
https://github.com/klzgrad/naiveproxy.git
synced 2024-11-24 14:26:09 +03:00
393 lines
12 KiB
C++
393 lines
12 KiB
C++
|
// Copyright 2015 The Chromium Authors. All rights reserved.
|
||
|
// Use of this source code is governed by a BSD-style license that can be
|
||
|
// found in the LICENSE file.
|
||
|
|
||
|
#include "net/der/parse_values.h"
|
||
|
|
||
|
#include <tuple>
|
||
|
|
||
|
#include "base/logging.h"
|
||
|
|
||
|
namespace net {
|
||
|
|
||
|
namespace der {
|
||
|
|
||
|
namespace {
|
||
|
|
||
|
bool ParseBoolInternal(const Input& in, bool* out, bool relaxed) {
|
||
|
// According to ITU-T X.690 section 8.2, a bool is encoded as a single octet
|
||
|
// where the octet of all zeroes is FALSE and a non-zero value for the octet
|
||
|
// is TRUE.
|
||
|
if (in.Length() != 1)
|
||
|
return false;
|
||
|
ByteReader data(in);
|
||
|
uint8_t byte;
|
||
|
if (!data.ReadByte(&byte))
|
||
|
return false;
|
||
|
if (byte == 0) {
|
||
|
*out = false;
|
||
|
return true;
|
||
|
}
|
||
|
// ITU-T X.690 section 11.1 specifies that for DER, the TRUE value must be
|
||
|
// encoded as an octet of all ones.
|
||
|
if (byte == 0xff || relaxed) {
|
||
|
*out = true;
|
||
|
return true;
|
||
|
}
|
||
|
return false;
|
||
|
}
|
||
|
|
||
|
// Reads a positive decimal number with |digits| digits and stores it in
|
||
|
// |*out|. This function does not check that the type of |*out| is large
|
||
|
// enough to hold 10^digits - 1; the caller must choose an appropriate type
|
||
|
// based on the number of digits they wish to parse.
|
||
|
template <typename UINT>
|
||
|
bool DecimalStringToUint(ByteReader& in, size_t digits, UINT* out) {
|
||
|
UINT value = 0;
|
||
|
for (size_t i = 0; i < digits; ++i) {
|
||
|
uint8_t digit;
|
||
|
if (!in.ReadByte(&digit)) {
|
||
|
return false;
|
||
|
}
|
||
|
if (digit < '0' || digit > '9') {
|
||
|
return false;
|
||
|
}
|
||
|
value = (value * 10) + (digit - '0');
|
||
|
}
|
||
|
*out = value;
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
// Checks that the values in a GeneralizedTime struct are valid. This involves
|
||
|
// checking that the year is 4 digits, the month is between 1 and 12, the day
|
||
|
// is a day that exists in that month (following current leap year rules),
|
||
|
// hours are between 0 and 23, minutes between 0 and 59, and seconds between
|
||
|
// 0 and 60 (to allow for leap seconds; no validation is done that a leap
|
||
|
// second is on a day that could be a leap second).
|
||
|
bool ValidateGeneralizedTime(const GeneralizedTime& time) {
|
||
|
if (time.month < 1 || time.month > 12)
|
||
|
return false;
|
||
|
if (time.day < 1)
|
||
|
return false;
|
||
|
if (time.hours < 0 || time.hours > 23)
|
||
|
return false;
|
||
|
if (time.minutes < 0 || time.minutes > 59)
|
||
|
return false;
|
||
|
// Leap seconds are allowed.
|
||
|
if (time.seconds < 0 || time.seconds > 60)
|
||
|
return false;
|
||
|
|
||
|
// validate upper bound for day of month
|
||
|
switch (time.month) {
|
||
|
case 4:
|
||
|
case 6:
|
||
|
case 9:
|
||
|
case 11:
|
||
|
if (time.day > 30)
|
||
|
return false;
|
||
|
break;
|
||
|
case 1:
|
||
|
case 3:
|
||
|
case 5:
|
||
|
case 7:
|
||
|
case 8:
|
||
|
case 10:
|
||
|
case 12:
|
||
|
if (time.day > 31)
|
||
|
return false;
|
||
|
break;
|
||
|
case 2:
|
||
|
if (time.year % 4 == 0 &&
|
||
|
(time.year % 100 != 0 || time.year % 400 == 0)) {
|
||
|
if (time.day > 29)
|
||
|
return false;
|
||
|
} else {
|
||
|
if (time.day > 28)
|
||
|
return false;
|
||
|
}
|
||
|
break;
|
||
|
default:
|
||
|
NOTREACHED();
|
||
|
return false;
|
||
|
}
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
// Returns the number of bytes of numeric precision in a DER encoded INTEGER
|
||
|
// value. |in| must be a valid DER encoding of an INTEGER for this to work.
|
||
|
//
|
||
|
// Normally the precision of the number is exactly in.Length(). However when
|
||
|
// encoding positive numbers using DER it is possible to have a leading zero
|
||
|
// (to prevent number from being interpreted as negative).
|
||
|
//
|
||
|
// For instance a 160-bit positive number might take 21 bytes to encode. This
|
||
|
// function will return 20 in such a case.
|
||
|
size_t GetUnsignedIntegerLength(const Input& in) {
|
||
|
der::ByteReader reader(in);
|
||
|
uint8_t first_byte;
|
||
|
if (!reader.ReadByte(&first_byte))
|
||
|
return 0; // Not valid DER as |in| was empty.
|
||
|
|
||
|
if (first_byte == 0 && in.Length() > 1)
|
||
|
return in.Length() - 1;
|
||
|
return in.Length();
|
||
|
}
|
||
|
|
||
|
} // namespace
|
||
|
|
||
|
bool ParseBool(const Input& in, bool* out) {
|
||
|
return ParseBoolInternal(in, out, false /* relaxed */);
|
||
|
}
|
||
|
|
||
|
// BER interprets any non-zero value as true, while DER requires a bool to
|
||
|
// have either all bits zero (false) or all bits one (true). To support
|
||
|
// malformed certs, we recognized the BER encoding instead of failing to
|
||
|
// parse.
|
||
|
bool ParseBoolRelaxed(const Input& in, bool* out) {
|
||
|
return ParseBoolInternal(in, out, true /* relaxed */);
|
||
|
}
|
||
|
|
||
|
// ITU-T X.690 section 8.3.2 specifies that an integer value must be encoded
|
||
|
// in the smallest number of octets. If the encoding consists of more than
|
||
|
// one octet, then the bits of the first octet and the most significant bit
|
||
|
// of the second octet must not be all zeroes or all ones.
|
||
|
bool IsValidInteger(const Input& in, bool* negative) {
|
||
|
der::ByteReader reader(in);
|
||
|
uint8_t first_byte;
|
||
|
|
||
|
if (!reader.ReadByte(&first_byte))
|
||
|
return false; // Empty inputs are not allowed.
|
||
|
|
||
|
uint8_t second_byte;
|
||
|
if (reader.ReadByte(&second_byte)) {
|
||
|
if ((first_byte == 0x00 || first_byte == 0xFF) &&
|
||
|
(first_byte & 0x80) == (second_byte & 0x80)) {
|
||
|
// Not a minimal encoding.
|
||
|
return false;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
*negative = (first_byte & 0x80) == 0x80;
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
bool ParseUint64(const Input& in, uint64_t* out) {
|
||
|
// Reject non-minimally encoded numbers and negative numbers.
|
||
|
bool negative;
|
||
|
if (!IsValidInteger(in, &negative) || negative)
|
||
|
return false;
|
||
|
|
||
|
// Reject (non-negative) integers whose value would overflow the output type.
|
||
|
if (GetUnsignedIntegerLength(in) > sizeof(*out))
|
||
|
return false;
|
||
|
|
||
|
ByteReader reader(in);
|
||
|
uint8_t data;
|
||
|
uint64_t value = 0;
|
||
|
|
||
|
while (reader.ReadByte(&data)) {
|
||
|
value <<= 8;
|
||
|
value |= data;
|
||
|
}
|
||
|
*out = value;
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
bool ParseUint8(const Input& in, uint8_t* out) {
|
||
|
// TODO(eroman): Implement this more directly.
|
||
|
uint64_t value;
|
||
|
if (!ParseUint64(in, &value))
|
||
|
return false;
|
||
|
|
||
|
if (value > 0xFF)
|
||
|
return false;
|
||
|
|
||
|
*out = static_cast<uint8_t>(value);
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
BitString::BitString(const Input& bytes, uint8_t unused_bits)
|
||
|
: bytes_(bytes), unused_bits_(unused_bits) {
|
||
|
DCHECK_LT(unused_bits, 8);
|
||
|
DCHECK(unused_bits == 0 || bytes.Length() != 0);
|
||
|
// The unused bits must be zero.
|
||
|
DCHECK(bytes.Length() == 0 ||
|
||
|
(bytes.UnsafeData()[bytes.Length() - 1] & ((1u << unused_bits) - 1)) ==
|
||
|
0);
|
||
|
}
|
||
|
|
||
|
bool BitString::AssertsBit(size_t bit_index) const {
|
||
|
// Index of the byte that contains the bit.
|
||
|
size_t byte_index = bit_index / 8;
|
||
|
|
||
|
// If the bit is outside of the bitstring, by definition it is not
|
||
|
// asserted.
|
||
|
if (byte_index >= bytes_.Length())
|
||
|
return false;
|
||
|
|
||
|
// Within a byte, bits are ordered from most significant to least significant.
|
||
|
// Convert |bit_index| to an index within the |byte_index| byte, measured from
|
||
|
// its least significant bit.
|
||
|
uint8_t bit_index_in_byte = 7 - (bit_index - byte_index * 8);
|
||
|
|
||
|
// BIT STRING parsing already guarantees that unused bits in a byte are zero
|
||
|
// (otherwise it wouldn't be valid DER). Therefore it isn't necessary to check
|
||
|
// |unused_bits_|
|
||
|
uint8_t byte = bytes_.UnsafeData()[byte_index];
|
||
|
return 0 != (byte & (1 << bit_index_in_byte));
|
||
|
}
|
||
|
|
||
|
bool ParseBitString(const Input& in, BitString* out) {
|
||
|
ByteReader reader(in);
|
||
|
|
||
|
// From ITU-T X.690, section 8.6.2.2 (applies to BER, CER, DER):
|
||
|
//
|
||
|
// The initial octet shall encode, as an unsigned binary integer with
|
||
|
// bit 1 as the least significant bit, the number of unused bits in the final
|
||
|
// subsequent octet. The number shall be in the range zero to seven.
|
||
|
uint8_t unused_bits;
|
||
|
if (!reader.ReadByte(&unused_bits))
|
||
|
return false;
|
||
|
if (unused_bits > 7)
|
||
|
return false;
|
||
|
|
||
|
Input bytes;
|
||
|
if (!reader.ReadBytes(reader.BytesLeft(), &bytes))
|
||
|
return false; // Not reachable.
|
||
|
|
||
|
// Ensure that unused bits in the last byte are set to 0.
|
||
|
if (unused_bits > 0) {
|
||
|
// From ITU-T X.690, section 8.6.2.3 (applies to BER, CER, DER):
|
||
|
//
|
||
|
// If the bitstring is empty, there shall be no subsequent octets,
|
||
|
// and the initial octet shall be zero.
|
||
|
if (bytes.Length() == 0)
|
||
|
return false;
|
||
|
uint8_t last_byte = bytes.UnsafeData()[bytes.Length() - 1];
|
||
|
|
||
|
// From ITU-T X.690, section 11.2.1 (applies to CER and DER, but not BER):
|
||
|
//
|
||
|
// Each unused bit in the final octet of the encoding of a bit string value
|
||
|
// shall be set to zero.
|
||
|
uint8_t mask = 0xFF >> (8 - unused_bits);
|
||
|
if ((mask & last_byte) != 0)
|
||
|
return false;
|
||
|
}
|
||
|
|
||
|
*out = BitString(bytes, unused_bits);
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
bool GeneralizedTime::InUTCTimeRange() const {
|
||
|
return 1950 <= year && year < 2050;
|
||
|
}
|
||
|
|
||
|
bool operator<(const GeneralizedTime& lhs, const GeneralizedTime& rhs) {
|
||
|
return std::tie(lhs.year, lhs.month, lhs.day, lhs.hours, lhs.minutes,
|
||
|
lhs.seconds) < std::tie(rhs.year, rhs.month, rhs.day,
|
||
|
rhs.hours, rhs.minutes, rhs.seconds);
|
||
|
}
|
||
|
|
||
|
bool operator>(const GeneralizedTime& lhs, const GeneralizedTime& rhs) {
|
||
|
return rhs < lhs;
|
||
|
}
|
||
|
|
||
|
bool operator<=(const GeneralizedTime& lhs, const GeneralizedTime& rhs) {
|
||
|
return !(lhs > rhs);
|
||
|
}
|
||
|
|
||
|
bool operator>=(const GeneralizedTime& lhs, const GeneralizedTime& rhs) {
|
||
|
return !(lhs < rhs);
|
||
|
}
|
||
|
|
||
|
// A UTC Time in DER encoding should be YYMMDDHHMMSSZ, but some CAs encode
|
||
|
// the time following BER rules, which allows for YYMMDDHHMMZ. If the length
|
||
|
// is 11, assume it's YYMMDDHHMMZ, and in converting it to a GeneralizedTime,
|
||
|
// add in the seconds (set to 0).
|
||
|
bool ParseUTCTimeRelaxed(const Input& in, GeneralizedTime* value) {
|
||
|
ByteReader reader(in);
|
||
|
GeneralizedTime time;
|
||
|
if (!DecimalStringToUint(reader, 2, &time.year) ||
|
||
|
!DecimalStringToUint(reader, 2, &time.month) ||
|
||
|
!DecimalStringToUint(reader, 2, &time.day) ||
|
||
|
!DecimalStringToUint(reader, 2, &time.hours) ||
|
||
|
!DecimalStringToUint(reader, 2, &time.minutes)) {
|
||
|
return false;
|
||
|
}
|
||
|
|
||
|
// Try to read the 'Z' at the end. If we read something else, then for it to
|
||
|
// be valid the next bytes should be seconds (and then followed by 'Z').
|
||
|
uint8_t zulu;
|
||
|
ByteReader zulu_reader = reader;
|
||
|
if (!zulu_reader.ReadByte(&zulu))
|
||
|
return false;
|
||
|
if (zulu == 'Z' && !zulu_reader.HasMore()) {
|
||
|
time.seconds = 0;
|
||
|
*value = time;
|
||
|
} else {
|
||
|
if (!DecimalStringToUint(reader, 2, &time.seconds))
|
||
|
return false;
|
||
|
if (!reader.ReadByte(&zulu) || zulu != 'Z' || reader.HasMore())
|
||
|
return false;
|
||
|
}
|
||
|
|
||
|
if (time.year < 50) {
|
||
|
time.year += 2000;
|
||
|
} else {
|
||
|
time.year += 1900;
|
||
|
}
|
||
|
if (!ValidateGeneralizedTime(time))
|
||
|
return false;
|
||
|
*value = time;
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
bool ParseUTCTime(const Input& in, GeneralizedTime* value) {
|
||
|
ByteReader reader(in);
|
||
|
GeneralizedTime time;
|
||
|
if (!DecimalStringToUint(reader, 2, &time.year) ||
|
||
|
!DecimalStringToUint(reader, 2, &time.month) ||
|
||
|
!DecimalStringToUint(reader, 2, &time.day) ||
|
||
|
!DecimalStringToUint(reader, 2, &time.hours) ||
|
||
|
!DecimalStringToUint(reader, 2, &time.minutes) ||
|
||
|
!DecimalStringToUint(reader, 2, &time.seconds)) {
|
||
|
return false;
|
||
|
}
|
||
|
uint8_t zulu;
|
||
|
if (!reader.ReadByte(&zulu) || zulu != 'Z' || reader.HasMore())
|
||
|
return false;
|
||
|
if (time.year < 50) {
|
||
|
time.year += 2000;
|
||
|
} else {
|
||
|
time.year += 1900;
|
||
|
}
|
||
|
if (!ValidateGeneralizedTime(time))
|
||
|
return false;
|
||
|
*value = time;
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
bool ParseGeneralizedTime(const Input& in, GeneralizedTime* value) {
|
||
|
ByteReader reader(in);
|
||
|
GeneralizedTime time;
|
||
|
if (!DecimalStringToUint(reader, 4, &time.year) ||
|
||
|
!DecimalStringToUint(reader, 2, &time.month) ||
|
||
|
!DecimalStringToUint(reader, 2, &time.day) ||
|
||
|
!DecimalStringToUint(reader, 2, &time.hours) ||
|
||
|
!DecimalStringToUint(reader, 2, &time.minutes) ||
|
||
|
!DecimalStringToUint(reader, 2, &time.seconds)) {
|
||
|
return false;
|
||
|
}
|
||
|
uint8_t zulu;
|
||
|
if (!reader.ReadByte(&zulu) || zulu != 'Z' || reader.HasMore())
|
||
|
return false;
|
||
|
if (!ValidateGeneralizedTime(time))
|
||
|
return false;
|
||
|
*value = time;
|
||
|
return true;
|
||
|
}
|
||
|
|
||
|
} // namespace der
|
||
|
|
||
|
} // namespace net
|