net/der/parser_unittest.cc

   1 // Copyright 2015 The Chromium Authors. All rights reserved.
   2 // Use of this source code is governed by a BSD-style license that can be
   3 // found in the LICENSE file.
   4
   5 #include "base/logging.h"
   6 #include "base/numerics/safe_math.h"
   7 #include "net/der/input.h"
   8 #include "net/der/parse_values.h"
   9 #include "net/der/parser.h"
  10 #include "testing/gtest/include/gtest/gtest.h"
  11
  12 namespace net {
  13 namespace der {
  14 namespace test {
  15
  16 TEST(ParserTest, ConsumesAllBytesOfTLV) {
  17   const uint8_t der[] = {0x04, 0x00};
  18   Parser parser(Input(der, sizeof(der)));
  19   Tag tag;
  20   Input value;
  21   ASSERT_TRUE(parser.ReadTagAndValue(&tag, &value));
  22   ASSERT_EQ(0x04, tag);
  23   ASSERT_FALSE(parser.HasMore());
  24 }
  25
  26 TEST(ParserTest, CanReadRawTLV) {
  27   const uint8_t der[] = {0x02, 0x01, 0x01};
  28   Parser parser(Input(der, sizeof(der)));
  29   Input tlv;
  30   ASSERT_TRUE(parser.ReadRawTLV(&tlv));
  31   ByteReader tlv_reader(tlv);
  32   size_t tlv_len = tlv_reader.BytesLeft();
  33   ASSERT_EQ(3u, tlv_len);
  34   Input tlv_data;
  35   ASSERT_TRUE(tlv_reader.ReadBytes(tlv_len, &tlv_data));
  36   ASSERT_FALSE(parser.HasMore());
  37 }
  38
  39 TEST(ParserTest, IgnoresContentsOfInnerValues) {
  40   // This is a SEQUENCE which has one member. The member is another SEQUENCE
  41   // with an invalid encoding - its length is too long.
  42   const uint8_t der[] = {0x30, 0x02, 0x30, 0x7e};
  43   Parser parser(Input(der, sizeof(der)));
  44   Tag tag;
  45   Input value;
  46   ASSERT_TRUE(parser.ReadTagAndValue(&tag, &value));
  47 }
  48
  49 TEST(ParserTest, FailsIfLengthOverlapsAnotherTLV) {
  50   // This DER encoding has 2 top-level TLV tuples. The first is a SEQUENCE;
  51   // the second is an INTEGER. The SEQUENCE contains an INTEGER, but its length
  52   // is longer than what it has contents for.
  53   const uint8_t der[] = {0x30, 0x02, 0x02, 0x01, 0x02, 0x01, 0x01};
  54   Parser parser(Input(der, sizeof(der)));
  55
  56   Parser inner_sequence;
  57   ASSERT_TRUE(parser.ReadSequence(&inner_sequence));
  58   uint64_t int_value;
  59   ASSERT_TRUE(parser.ReadUint64(&int_value));
  60   ASSERT_EQ(1u, int_value);
  61   ASSERT_FALSE(parser.HasMore());
  62
  63   // Try to read the INTEGER from the SEQUENCE, which should fail.
  64   Tag tag;
  65   Input value;
  66   ASSERT_FALSE(inner_sequence.ReadTagAndValue(&tag, &value));
  67 }
  68
  69 TEST(ParserTest, CanSkipOptionalTagAtEndOfInput) {
  70   const uint8_t der[] = {0x02, 0x01, 0x01};
  71   Parser parser(Input(der, sizeof(der)));
  72
  73   Tag tag;
  74   Input value;
  75   ASSERT_TRUE(parser.ReadTagAndValue(&tag, &value));
  76   bool present;
  77   ASSERT_TRUE(parser.ReadOptionalTag(0x02, &value, &present));
  78   ASSERT_FALSE(present);
  79   ASSERT_FALSE(parser.HasMore());
  80 }
  81
  82 TEST(ParserTest, SkipOptionalTagDoesntConsumePresentNonMatchingTLVs) {
  83   const uint8_t der[] = {0x02, 0x01, 0x01};
  84   Parser parser(Input(der, sizeof(der)));
  85
  86   bool present;
  87   ASSERT_TRUE(parser.SkipOptionalTag(0x04, &present));
  88   ASSERT_FALSE(present);
  89   ASSERT_TRUE(parser.SkipOptionalTag(0x02, &present));
  90   ASSERT_TRUE(present);
  91   ASSERT_FALSE(parser.HasMore());
  92 }
  93
  94 TEST(ParserTest, TagNumbersAboveThirtyUnsupported) {
  95   // Context-specific class, tag number 31, length 0.
  96   const uint8_t der[] = {0x9f, 0x1f, 0x00};
  97   Parser parser(Input(der, sizeof(der)));
  98
  99   Tag tag;
 100   Input value;
 101   ASSERT_FALSE(parser.ReadTagAndValue(&tag, &value));
 102   ASSERT_TRUE(parser.HasMore());
 103 }
 104
 105 TEST(ParserTest, IncompleteEncodingTagOnly) {
 106   const uint8_t der[] = {0x01};
 107   Parser parser(Input(der, sizeof(der)));
 108
 109   Tag tag;
 110   Input value;
 111   ASSERT_FALSE(parser.ReadTagAndValue(&tag, &value));
 112   ASSERT_TRUE(parser.HasMore());
 113 }
 114
 115 TEST(ParserTest, IncompleteEncodingLengthTruncated) {
 116   // Tag: octet string; length: long form, should have 2 total octets, but
 117   // the last one is missing. (There's also no value.)
 118   const uint8_t der[] = {0x04, 0x81};
 119   Parser parser(Input(der, sizeof(der)));
 120
 121   Tag tag;
 122   Input value;
 123   ASSERT_FALSE(parser.ReadTagAndValue(&tag, &value));
 124   ASSERT_TRUE(parser.HasMore());
 125 }
 126
 127 TEST(ParserTest, IncompleteEncodingValueShorterThanLength) {
 128   // Tag: octet string; length: 2; value: first octet 'T', second octet missing.
 129   const uint8_t der[] = {0x04, 0x02, 0x84};
 130   Parser parser(Input(der, sizeof(der)));
 131
 132   Tag tag;
 133   Input value;
 134   ASSERT_FALSE(parser.ReadTagAndValue(&tag, &value));
 135   ASSERT_TRUE(parser.HasMore());
 136 }
 137
 138 TEST(ParserTest, LengthMustBeEncodedWithMinimumNumberOfOctets) {
 139   const uint8_t der[] = {0x01, 0x81, 0x01, 0x00};
 140   Parser parser(Input(der, sizeof(der)));
 141
 142   Tag tag;
 143   Input value;
 144   ASSERT_FALSE(parser.ReadTagAndValue(&tag, &value));
 145   ASSERT_TRUE(parser.HasMore());
 146 }
 147
 148 TEST(ParserTest, LengthMustNotHaveLeadingZeroes) {
 149   // Tag: octet string; length: 3 bytes of length encoding a value of 128
 150   // (it should be encoded in only 2 bytes). Value: 128 bytes of 0.
 151   const uint8_t der[] = {
 152       0x04, 0x83, 0x80, 0x81, 0x80,  // group the 0s separately
 153       0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 154       0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 155       0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 156       0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 157       0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 158       0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 159       0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 160       0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 161       0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 162       0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
 163       0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00};
 164   Parser parser(Input(der, sizeof(der)));
 165
 166   Tag tag;
 167   Input value;
 168   ASSERT_FALSE(parser.ReadTagAndValue(&tag, &value));
 169   ASSERT_TRUE(parser.HasMore());
 170 }
 171
 172 TEST(ParserTest, ReadConstructedFailsForNonConstructedTags) {
 173   // Tag number is for SEQUENCE, but the constructed bit isn't set.
 174   const uint8_t der[] = {0x10, 0x00};
 175   Parser parser(Input(der, sizeof(der)));
 176
 177   Tag expected_tag = 0x10;
 178   Parser sequence_parser;
 179   ASSERT_FALSE(parser.ReadConstructed(expected_tag, &sequence_parser));
 180
 181   // Check that we didn't fail above because of a tag mismatch or an improperly
 182   // encoded TLV.
 183   Input value;
 184   ASSERT_TRUE(parser.ReadTag(expected_tag, &value));
 185   ASSERT_FALSE(parser.HasMore());
 186 }
 187
 188 TEST(ParserTest, CannotAdvanceAfterReadOptionalTag) {
 189   const uint8_t der[] = {0x02, 0x01, 0x01};
 190   Parser parser(Input(der, sizeof(der)));
 191
 192   Input value;
 193   bool present;
 194   ASSERT_TRUE(parser.ReadOptionalTag(0x04, &value, &present));
 195   ASSERT_FALSE(present);
 196   ASSERT_FALSE(parser.Advance());
 197 }
 198
 199 }  // namespace test
 200 }  // namespace der
 201 }  // namespace net