ruby/test/openssl/test_asn1.rb

require_relative 'utils'

class  OpenSSL::TestASN1 < Test::Unit::TestCase
  def test_decode
    subj = OpenSSL::X509::Name.parse("/DC=org/DC=ruby-lang/CN=TestCA")
    key = OpenSSL::TestUtils::TEST_KEY_RSA1024
    now = Time.at(Time.now.to_i) # suppress usec
    s = 0xdeadbeafdeadbeafdeadbeafdeadbeaf
    exts = [
      ["basicConstraints","CA:TRUE,pathlen:1",true],
      ["keyUsage","keyCertSign, cRLSign",true],
      ["subjectKeyIdentifier","hash",false],
    ]
    dgst = OpenSSL::Digest::SHA1.new
    cert = OpenSSL::TestUtils.issue_cert(
      subj, key, s, now, now+3600, exts, nil, nil, dgst)


    asn1 = OpenSSL::ASN1.decode(cert)
    assert_equal(OpenSSL::ASN1::Sequence, asn1.class)
    assert_equal(3, asn1.value.size)
    tbs_cert, sig_alg, sig_val = *asn1.value

    assert_equal(OpenSSL::ASN1::Sequence, tbs_cert.class)
    assert_equal(8, tbs_cert.value.size)

    version = tbs_cert.value[0]
    assert_equal(:CONTEXT_SPECIFIC, version.tag_class)
    assert_equal(0, version.tag)
    assert_equal(1, version.value.size)
    assert_equal(OpenSSL::ASN1::Integer, version.value[0].class)
    assert_equal(2, version.value[0].value)

    serial = tbs_cert.value[1]
    assert_equal(OpenSSL::ASN1::Integer, serial.class)
    assert_equal(0xdeadbeafdeadbeafdeadbeafdeadbeaf, serial.value)

    sig = tbs_cert.value[2]
    assert_equal(OpenSSL::ASN1::Sequence, sig.class)
    assert_equal(2, sig.value.size)
    assert_equal(OpenSSL::ASN1::ObjectId, sig.value[0].class)
    assert_equal("1.2.840.113549.1.1.5", sig.value[0].oid)
    assert_equal(OpenSSL::ASN1::Null, sig.value[1].class)

    dn = tbs_cert.value[3] # issuer
    assert_equal(subj.hash, OpenSSL::X509::Name.new(dn).hash)
    assert_equal(OpenSSL::ASN1::Sequence, dn.class)
    assert_equal(3, dn.value.size)
    assert_equal(OpenSSL::ASN1::Set, dn.value[0].class)
    assert_equal(OpenSSL::ASN1::Set, dn.value[1].class)
    assert_equal(OpenSSL::ASN1::Set, dn.value[2].class)
    assert_equal(1, dn.value[0].value.size)
    assert_equal(1, dn.value[1].value.size)
    assert_equal(1, dn.value[2].value.size)
    assert_equal(OpenSSL::ASN1::Sequence, dn.value[0].value[0].class)
    assert_equal(OpenSSL::ASN1::Sequence, dn.value[1].value[0].class)
    assert_equal(OpenSSL::ASN1::Sequence, dn.value[2].value[0].class)
    assert_equal(2, dn.value[0].value[0].value.size)
    assert_equal(2, dn.value[1].value[0].value.size)
    assert_equal(2, dn.value[2].value[0].value.size)
    oid, value = *dn.value[0].value[0].value
    assert_equal(OpenSSL::ASN1::ObjectId, oid.class)
    assert_equal("0.9.2342.19200300.100.1.25", oid.oid)
    assert_equal(OpenSSL::ASN1::IA5String, value.class)
    assert_equal("org", value.value)
    oid, value = *dn.value[1].value[0].value
    assert_equal(OpenSSL::ASN1::ObjectId, oid.class)
    assert_equal("0.9.2342.19200300.100.1.25", oid.oid)
    assert_equal(OpenSSL::ASN1::IA5String, value.class)
    assert_equal("ruby-lang", value.value)
    oid, value = *dn.value[2].value[0].value
    assert_equal(OpenSSL::ASN1::ObjectId, oid.class)
    assert_equal("2.5.4.3", oid.oid)
    assert_equal(OpenSSL::ASN1::UTF8String, value.class)
    assert_equal("TestCA", value.value)

    validity = tbs_cert.value[4]
    assert_equal(OpenSSL::ASN1::Sequence, validity.class)
    assert_equal(2, validity.value.size)
    assert_equal(OpenSSL::ASN1::UTCTime, validity.value[0].class)
    assert_equal(now, validity.value[0].value)
    assert_equal(OpenSSL::ASN1::UTCTime, validity.value[1].class)
    assert_equal(now+3600, validity.value[1].value)

    dn = tbs_cert.value[5] # subject
    assert_equal(subj.hash, OpenSSL::X509::Name.new(dn).hash)
    assert_equal(OpenSSL::ASN1::Sequence, dn.class)
    assert_equal(3, dn.value.size)
    assert_equal(OpenSSL::ASN1::Set, dn.value[0].class)
    assert_equal(OpenSSL::ASN1::Set, dn.value[1].class)
    assert_equal(OpenSSL::ASN1::Set, dn.value[2].class)
    assert_equal(1, dn.value[0].value.size)
    assert_equal(1, dn.value[1].value.size)
    assert_equal(1, dn.value[2].value.size)
    assert_equal(OpenSSL::ASN1::Sequence, dn.value[0].value[0].class)
    assert_equal(OpenSSL::ASN1::Sequence, dn.value[1].value[0].class)
    assert_equal(OpenSSL::ASN1::Sequence, dn.value[2].value[0].class)
    assert_equal(2, dn.value[0].value[0].value.size)
    assert_equal(2, dn.value[1].value[0].value.size)
    assert_equal(2, dn.value[2].value[0].value.size)
    oid, value = *dn.value[0].value[0].value
    assert_equal(OpenSSL::ASN1::ObjectId, oid.class)
    assert_equal("0.9.2342.19200300.100.1.25", oid.oid)
    assert_equal(OpenSSL::ASN1::IA5String, value.class)
    assert_equal("org", value.value)
    oid, value = *dn.value[1].value[0].value
    assert_equal(OpenSSL::ASN1::ObjectId, oid.class)
    assert_equal("0.9.2342.19200300.100.1.25", oid.oid)
    assert_equal(OpenSSL::ASN1::IA5String, value.class)
    assert_equal("ruby-lang", value.value)
    oid, value = *dn.value[2].value[0].value
    assert_equal(OpenSSL::ASN1::ObjectId, oid.class)
    assert_equal("2.5.4.3", oid.oid)
    assert_equal(OpenSSL::ASN1::UTF8String, value.class)
    assert_equal("TestCA", value.value)

    pkey = tbs_cert.value[6]
    assert_equal(OpenSSL::ASN1::Sequence, pkey.class)
    assert_equal(2, pkey.value.size)
    assert_equal(OpenSSL::ASN1::Sequence, pkey.value[0].class)
    assert_equal(2, pkey.value[0].value.size)
    assert_equal(OpenSSL::ASN1::ObjectId, pkey.value[0].value[0].class)
    assert_equal("1.2.840.113549.1.1.1", pkey.value[0].value[0].oid)
    assert_equal(OpenSSL::ASN1::BitString, pkey.value[1].class)
    assert_equal(0, pkey.value[1].unused_bits)
    spkey = OpenSSL::ASN1.decode(pkey.value[1].value)
    assert_equal(OpenSSL::ASN1::Sequence, spkey.class)
    assert_equal(2, spkey.value.size)
    assert_equal(OpenSSL::ASN1::Integer, spkey.value[0].class)
    assert_equal(143085709396403084580358323862163416700436550432664688288860593156058579474547937626086626045206357324274536445865308750491138538454154232826011964045825759324933943290377903384882276841880081931690695505836279972214003660451338124170055999155993192881685495391496854691199517389593073052473319331505702779271, spkey.value[0].value)
    assert_equal(OpenSSL::ASN1::Integer, spkey.value[1].class)
    assert_equal(65537, spkey.value[1].value)

    extensions = tbs_cert.value[7]
    assert_equal(:CONTEXT_SPECIFIC, extensions.tag_class)
    assert_equal(3, extensions.tag)
    assert_equal(1, extensions.value.size)
    assert_equal(OpenSSL::ASN1::Sequence, extensions.value[0].class)
    assert_equal(3, extensions.value[0].value.size)

    ext = extensions.value[0].value[0]  # basicConstraints
    assert_equal(OpenSSL::ASN1::Sequence, ext.class)
    assert_equal(3, ext.value.size)
    assert_equal(OpenSSL::ASN1::ObjectId, ext.value[0].class)
    assert_equal("2.5.29.19",  ext.value[0].oid)
    assert_equal(OpenSSL::ASN1::Boolean, ext.value[1].class)
    assert_equal(true, ext.value[1].value)
    assert_equal(OpenSSL::ASN1::OctetString, ext.value[2].class)
    extv = OpenSSL::ASN1.decode(ext.value[2].value)
    assert_equal(OpenSSL::ASN1::Sequence, extv.class)
    assert_equal(2, extv.value.size)
    assert_equal(OpenSSL::ASN1::Boolean, extv.value[0].class)
    assert_equal(true, extv.value[0].value)
    assert_equal(OpenSSL::ASN1::Integer, extv.value[1].class)
    assert_equal(1, extv.value[1].value)

    ext = extensions.value[0].value[1]  # keyUsage
    assert_equal(OpenSSL::ASN1::Sequence, ext.class)
    assert_equal(3, ext.value.size)
    assert_equal(OpenSSL::ASN1::ObjectId, ext.value[0].class)
    assert_equal("2.5.29.15",  ext.value[0].oid)
    assert_equal(OpenSSL::ASN1::Boolean, ext.value[1].class)
    assert_equal(true, ext.value[1].value)
    assert_equal(OpenSSL::ASN1::OctetString, ext.value[2].class)
    extv = OpenSSL::ASN1.decode(ext.value[2].value)
    assert_equal(OpenSSL::ASN1::BitString, extv.class)
    str = "\000"; str[0] = 0b00000110.chr
    assert_equal(str, extv.value)

    ext = extensions.value[0].value[2]  # subjetKeyIdentifier
    assert_equal(OpenSSL::ASN1::Sequence, ext.class)
    assert_equal(2, ext.value.size)
    assert_equal(OpenSSL::ASN1::ObjectId, ext.value[0].class)
    assert_equal("2.5.29.14",  ext.value[0].oid)
    assert_equal(OpenSSL::ASN1::OctetString, ext.value[1].class)
    extv = OpenSSL::ASN1.decode(ext.value[1].value)
    assert_equal(OpenSSL::ASN1::OctetString, extv.class)
    sha1 = OpenSSL::Digest::SHA1.new
    sha1.update(pkey.value[1].value)
    assert_equal(sha1.digest, extv.value)

    assert_equal(OpenSSL::ASN1::Sequence, sig_alg.class)
    assert_equal(2, sig_alg.value.size)
    assert_equal(OpenSSL::ASN1::ObjectId, pkey.value[0].value[0].class)
    assert_equal("1.2.840.113549.1.1.1", pkey.value[0].value[0].oid)
    assert_equal(OpenSSL::ASN1::Null, pkey.value[0].value[1].class)

    assert_equal(OpenSSL::ASN1::BitString, sig_val.class)
    cululated_sig = key.sign(OpenSSL::Digest::SHA1.new, tbs_cert.to_der)
    assert_equal(cululated_sig, sig_val.value)
  end

  def test_encode_boolean
    encode_decode_test(OpenSSL::ASN1::Boolean, [true, false])
  end

  def test_encode_integer
    encode_decode_test(OpenSSL::ASN1::Integer, [72, -127, -128, 128, -1, 0, 1, -(2**12345), 2**12345])
  end

  def test_encode_nil
    m = OpenSSL::ASN1
    [
      m::Boolean, m::Integer, m::BitString, m::OctetString,
      m::ObjectId, m::Enumerated, m::UTF8String, m::UTCTime,
      m::GeneralizedTime, m::Sequence, m::Set
    ].each do |klass|
      #Primitives raise TypeError, Constructives NoMethodError
      assert_raise(TypeError, NoMethodError) { klass.send(:new, nil).to_der }
    end
  end

  def encode_decode_test(type, values)
    values.each do |v|
      assert_equal(v, OpenSSL::ASN1.decode(type.new(v).to_der).value)
    end
  end

  def test_decode_pem #should fail gracefully (cf. [ruby-dev:44542])
    pem = <<-_EOS_
-----BEGIN CERTIFICATE-----
MIIC8zCCAdugAwIBAgIBATANBgkqhkiG9w0BAQUFADA9MRMwEQYKCZImiZPyLGQB
GRYDb3JnMRkwFwYKCZImiZPyLGQBGRYJcnVieS1sYW5nMQswCQYDVQQDDAJDQTAe
Fw0xMTA5MjUxMzQ4MjZaFw0xMTA5MjUxNDQ4MjZaMD0xEzARBgoJkiaJk/IsZAEZ
FgNvcmcxGTAXBgoJkiaJk/IsZAEZFglydWJ5LWxhbmcxCzAJBgNVBAMMAkNBMIIB
IjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAuV9ht9J7k4NBs38jOXvvTKY9
gW8nLICSno5EETR1cuF7i4pNs9I1QJGAFAX0BEO4KbzXmuOvfCpD3CU+Slp1enen
fzq/t/e/1IRW0wkJUJUFQign4CtrkJL+P07yx18UjyPlBXb81ApEmAB5mrJVSrWm
qbjs07JbuS4QQGGXLc+Su96DkYKmSNVjBiLxVVSpyZfAY3hD37d60uG+X8xdW5v6
8JkRFIhdGlb6JL8fllf/A/blNwdJOhVr9mESHhwGjwfSeTDPfd8ZLE027E5lyAVX
9KZYcU00mOX+fdxOSnGqS/8JDRh0EPHDL15RcJjV2J6vZjPb0rOYGDoMcH+94wID
AQABMA0GCSqGSIb3DQEBBQUAA4IBAQAiAtrIr1pLX4GYN5klviWKb8HC9ICYuAFI
NfE3FwqzErEVXotuMe3yPVyB3Bv6rjYY/x5EtS5+WPTbHlvHZTkfcsnTpizcn4mW
dJ6dDRaFCHt1YKKjUxqBt9lvvrc3nReYZN/P+s1mrDhWzGf8iPZgf8sFUHgnaK7W
CXRVXmPFgCDRNpDDVQ0MQkr509yYfTH+dujNzqTCwSvkyZFyQ7Oe8Yj0VR6kquG3
rEzBQ0F9dUyqQ9gyRg8KHhDfv9HzT1d/rnUZMkoombwYBRIUChGCYV0GnJcan2Zm
/93PnPG1IvPjYNd5VlV+sXSnaxQn974HRCsMv7jA8BD6IgSaX6WK
-----END CERTIFICATE-----
    _EOS_
    assert_raise(OpenSSL::ASN1::ASN1Error) { OpenSSL::ASN1.decode(pem) }
    assert_raise(OpenSSL::ASN1::ASN1Error) { OpenSSL::ASN1.decode_all(pem) }
  end

  def test_primitive_cannot_set_infinite_length
    begin
      prim = OpenSSL::ASN1::Integer.new(50)
      assert_equal(false, prim.infinite_length)
      prim.infinite_length = true
      flunk('Could set infinite length on primitive value')
    rescue NoMethodError
      #ok
    end
  end

  def test_decode_all
    expected = %w{ 02 01 01 02 01 02 02 01 03 }
    raw = [expected.join('')].pack('H*')
    ary = OpenSSL::ASN1.decode_all(raw)
    assert_equal(3, ary.size)
    ary.each_with_index do |asn1, i|
      assert_universal(OpenSSL::ASN1::INTEGER, asn1)
      assert_equal(i + 1, asn1.value)
    end
  end

  def test_create_inf_length_primitive
    expected = %w{ 24 80 04 01 61 00 00 }
    raw = [expected.join('')].pack('H*')
    val = OpenSSL::ASN1::OctetString.new('a')
    cons = OpenSSL::ASN1::Constructive.new([val,
                                            OpenSSL::ASN1::EndOfContent.new],
                                            OpenSSL::ASN1::OCTET_STRING,
                                            nil,
                                            :UNIVERSAL)
    cons.infinite_length = true
    assert_equal(nil, cons.tagging)
    assert_equal(raw, cons.to_der)
    asn1 = OpenSSL::ASN1.decode(raw)
    assert(asn1.infinite_length)
    assert_equal(raw, asn1.to_der)
  end

  def test_cons_without_inf_length_forbidden
    assert_raise(OpenSSL::ASN1::ASN1Error) do
      val = OpenSSL::ASN1::OctetString.new('a')
      cons = OpenSSL::ASN1::Constructive.new([val],
                                            OpenSSL::ASN1::OCTET_STRING,
                                            nil,
                                            :UNIVERSAL)
      cons.to_der
    end
  end

  def test_cons_without_array_forbidden
    assert_raise(OpenSSL::ASN1::ASN1Error) do
      val = OpenSSL::ASN1::OctetString.new('a')
      cons = OpenSSL::ASN1::Constructive.new(val,
                                            OpenSSL::ASN1::OCTET_STRING,
                                            nil,
                                            :UNIVERSAL)
      cons.infinite_length = true
      cons.to_der
    end
  end

  def test_parse_empty_sequence
    expected = %w{ A0 07 30 02 30 00 02 01 00 }
    raw = [expected.join('')].pack('H*')
    asn1 = OpenSSL::ASN1.decode(raw)
    assert_equal(raw, asn1.to_der)
    assert_equal(2, asn1.value.size)
    seq = asn1.value[0]
    assert_equal(1, seq.value.size)
    inner_seq = seq.value[0]
    assert_equal(0, inner_seq.value.size)
  end

  def test_parse_tagged_0_infinite
    expected = %w{ 30 80 02 01 01 80 01 02 00 00 }
    raw = [expected.join('')].pack('H*')
    asn1 = OpenSSL::ASN1.decode(raw)
    assert_equal(3, asn1.value.size)
    int = asn1.value[0]
    assert_universal(OpenSSL::ASN1::INTEGER, int)
    tagged = asn1.value[1]
    assert_equal(0, tagged.tag)
    assert_universal(OpenSSL::ASN1::EOC, asn1.value[2])
    assert_equal(raw, asn1.to_der)
  end

  def test_seq_infinite_length
    begin
      content = [ OpenSSL::ASN1::Null.new(nil),
                  OpenSSL::ASN1::EndOfContent.new ]
      cons = OpenSSL::ASN1::Sequence.new(content)
      cons.infinite_length = true
      expected = %w{ 30 80 05 00 00 00 }
      raw = [expected.join('')].pack('H*')
      assert_equal(raw, cons.to_der)
      assert_equal(raw, OpenSSL::ASN1.decode(raw).to_der)
    end
  end

  def test_set_infinite_length
    begin
      content = [ OpenSSL::ASN1::Null.new(nil),
                  OpenSSL::ASN1::EndOfContent.new() ]
      cons = OpenSSL::ASN1::Set.new(content)
      cons.infinite_length = true
      expected = %w{ 31 80 05 00 00 00 }
      raw = [expected.join('')].pack('H*')
      assert_equal(raw, cons.to_der)
      assert_equal(raw, OpenSSL::ASN1.decode(raw).to_der)
    end
  end

  def test_octet_string_infinite_length
    begin
      octets = [ OpenSSL::ASN1::OctetString.new('aaa'),
                 OpenSSL::ASN1::EndOfContent.new() ]
      cons = OpenSSL::ASN1::Constructive.new(
        octets,
        OpenSSL::ASN1::OCTET_STRING,
        nil,
        :UNIVERSAL)
      cons.infinite_length = true
      expected = %w{ 24 80 04 03 61 61 61 00 00 }
      raw = [expected.join('')].pack('H*')
      assert_equal(raw, cons.to_der)
      assert_equal(raw, OpenSSL::ASN1.decode(raw).to_der)
    end
  end

  def test_prim_explicit_tagging
    begin
      oct_str = OpenSSL::ASN1::OctetString.new("a", 0, :EXPLICIT)
      expected = %w{ A0 03 04 01 61 }
      raw = [expected.join('')].pack('H*')
      assert_equal(raw, oct_str.to_der)
      assert_equal(raw, OpenSSL::ASN1.decode(raw).to_der)
    end
  end

  def test_prim_explicit_tagging_tag_class
    begin
      oct_str = OpenSSL::ASN1::OctetString.new("a", 0, :EXPLICIT)
      oct_str2 = OpenSSL::ASN1::OctetString.new(
        "a",
        0,
        :EXPLICIT,
        :CONTEXT_SPECIFIC)
      assert_equal(oct_str.to_der, oct_str2.to_der)
    end
  end

  def test_prim_implicit_tagging
    begin
      int = OpenSSL::ASN1::Integer.new(1, 0, :IMPLICIT)
      expected = %w{ 80 01 01 }
      raw = [expected.join('')].pack('H*')
      assert_equal(raw, int.to_der)
      assert_equal(raw, OpenSSL::ASN1.decode(raw).to_der)
    end
  end

  def test_prim_implicit_tagging_tag_class
    begin
      int = OpenSSL::ASN1::Integer.new(1, 0, :IMPLICIT)
      int2 = OpenSSL::ASN1::Integer.new(1, 0, :IMPLICIT, :CONTEXT_SPECIFIC);
      assert_equal(int.to_der, int2.to_der)
    end
  end

  def test_cons_explicit_tagging
    begin
      content = [ OpenSSL::ASN1::PrintableString.new('abc') ]
      seq = OpenSSL::ASN1::Sequence.new(content, 2, :EXPLICIT)
      expected = %w{ A2 07 30 05 13 03 61 62 63 }
      raw = [expected.join('')].pack('H*')
      assert_equal(raw, seq.to_der)
      assert_equal(raw, OpenSSL::ASN1.decode(raw).to_der)
    end
  end

  def test_cons_explicit_tagging_inf_length
    begin
      content = [ OpenSSL::ASN1::PrintableString.new('abc') ,
                  OpenSSL::ASN1::EndOfContent.new() ]
      seq = OpenSSL::ASN1::Sequence.new(content, 2, :EXPLICIT)
      seq.infinite_length = true
      expected = %w{ A2 80 30 80 13 03 61 62 63 00 00 00 00 }
      raw = [expected.join('')].pack('H*')
      assert_equal(raw, seq.to_der)
      assert_equal(raw, OpenSSL::ASN1.decode(raw).to_der)
    end
  end

  def test_cons_implicit_tagging
    begin
      content = [ OpenSSL::ASN1::Null.new(nil) ]
      seq = OpenSSL::ASN1::Sequence.new(content, 1, :IMPLICIT)
      expected = %w{ A1 02 05 00 }
      raw = [expected.join('')].pack('H*')
      assert_equal(raw, seq.to_der)
      assert_equal(raw, OpenSSL::ASN1.decode(raw).to_der)
    end
  end

  def test_cons_implicit_tagging_inf_length
    begin
      content = [ OpenSSL::ASN1::Null.new(nil),
                  OpenSSL::ASN1::EndOfContent.new() ]
      seq = OpenSSL::ASN1::Sequence.new(content, 1, :IMPLICIT)
      seq.infinite_length = true
      expected = %w{ A1 80 05 00 00 00 }
      raw = [expected.join('')].pack('H*')
      assert_equal(raw, seq.to_der)
      assert_equal(raw, OpenSSL::ASN1.decode(raw).to_der)
    end
  end

  def test_octet_string_infinite_length_explicit_tagging
    begin
      octets = [ OpenSSL::ASN1::OctetString.new('aaa'),
                 OpenSSL::ASN1::EndOfContent.new() ]
      cons = OpenSSL::ASN1::Constructive.new(
        octets,
        1,
        :EXPLICIT)
      cons.infinite_length = true
      expected = %w{ A1 80 24 80 04 03 61 61 61 00 00 00 00 }
      raw = [expected.join('')].pack('H*')
      assert_equal(raw, cons.to_der)
      assert_equal(raw, OpenSSL::ASN1.decode(raw).to_der)
    end
  end

  def test_octet_string_infinite_length_implicit_tagging
    begin
      octets = [ OpenSSL::ASN1::OctetString.new('aaa'),
                 OpenSSL::ASN1::EndOfContent.new() ]
      cons = OpenSSL::ASN1::Constructive.new(
        octets,
        0,
        :IMPLICIT)
      cons.infinite_length = true
      expected = %w{ A0 80 04 03 61 61 61 00 00 }
      raw = [expected.join('')].pack('H*')
      assert_equal(raw, cons.to_der)
      assert_equal(raw, OpenSSL::ASN1.decode(raw).to_der)
    end
  end

  def test_recursive_octet_string_infinite_length
    begin
      octets_sub1 = [ OpenSSL::ASN1::OctetString.new("\x01"),
                      OpenSSL::ASN1::EndOfContent.new() ]
      octets_sub2 = [ OpenSSL::ASN1::OctetString.new("\x02"),
                      OpenSSL::ASN1::EndOfContent.new() ]
      container1 = OpenSSL::ASN1::Constructive.new(
        octets_sub1,
        OpenSSL::ASN1::OCTET_STRING,
        nil,
        :UNIVERSAL)
      container1.infinite_length = true
      container2 = OpenSSL::ASN1::Constructive.new(
        octets_sub2,
        OpenSSL::ASN1::OCTET_STRING,
        nil,
        :UNIVERSAL)
      container2.infinite_length = true
      octets3 = OpenSSL::ASN1::OctetString.new("\x03")

      octets = [ container1, container2, octets3,
                 OpenSSL::ASN1::EndOfContent.new() ]
      cons = OpenSSL::ASN1::Constructive.new(
        octets,
        OpenSSL::ASN1::OCTET_STRING,
        nil,
        :UNIVERSAL)
      cons.infinite_length = true
      expected = %w{ 24 80 24 80 04 01 01 00 00 24 80 04 01 02 00 00 04 01 03 00 00 }
      raw = [expected.join('')].pack('H*')
      assert_equal(raw, cons.to_der)
      assert_equal(raw, OpenSSL::ASN1.decode(raw).to_der)
    end
  end

  def test_bit_string_infinite_length
    begin
      content = [ OpenSSL::ASN1::BitString.new("\x01"),
                  OpenSSL::ASN1::EndOfContent.new() ]
      cons = OpenSSL::ASN1::Constructive.new(
        content,
        OpenSSL::ASN1::BIT_STRING,
        nil,
        :UNIVERSAL)
      cons.infinite_length = true
      expected = %w{ 23 80 03 02 00 01 00 00 }
      raw = [expected.join('')].pack('H*')
      assert_equal(raw, cons.to_der)
      assert_equal(raw, OpenSSL::ASN1.decode(raw).to_der)
    end
  end

  def test_primitive_inf_length
    assert_raises(OpenSSL::ASN1::ASN1Error) do
      spec = %w{ 02 80 02 01 01 00 00 }
      raw = [spec.join('')].pack('H*')
      OpenSSL::ASN1.decode(raw)
      OpenSSL::ASN1.decode_all(raw)
    end
  end

  def test_recursive_octet_string_parse
    test = %w{ 24 80 24 80 04 01 01 00 00 24 80 04 01 02 00 00 04 01 03 00 00 }
    raw = [test.join('')].pack('H*')
    asn1 = OpenSSL::ASN1.decode(raw)
    assert_equal(OpenSSL::ASN1::Constructive, asn1.class)
    assert_universal(OpenSSL::ASN1::OCTET_STRING, asn1)
    assert_equal(true, asn1.infinite_length)
    assert_equal(4, asn1.value.size)
    nested1 = asn1.value[0]
    assert_equal(OpenSSL::ASN1::Constructive, nested1.class)
    assert_universal(OpenSSL::ASN1::OCTET_STRING, nested1)
    assert_equal(true, nested1.infinite_length)
    assert_equal(2, nested1.value.size)
    oct1 = nested1.value[0]
    assert_universal(OpenSSL::ASN1::OCTET_STRING, oct1)
    assert_equal(false, oct1.infinite_length)
    assert_universal(OpenSSL::ASN1::EOC, nested1.value[1])
    assert_equal(false, nested1.value[1].infinite_length)
    nested2 = asn1.value[1]
    assert_equal(OpenSSL::ASN1::Constructive, nested2.class)
    assert_universal(OpenSSL::ASN1::OCTET_STRING, nested2)
    assert_equal(true, nested2.infinite_length)
    assert_equal(2, nested2.value.size)
    oct2 = nested2.value[0]
    assert_universal(OpenSSL::ASN1::OCTET_STRING, oct2)
    assert_equal(false, oct2.infinite_length)
    assert_universal(OpenSSL::ASN1::EOC, nested2.value[1])
    assert_equal(false, nested2.value[1].infinite_length)
    oct3 = asn1.value[2]
    assert_universal(OpenSSL::ASN1::OCTET_STRING, oct3)
    assert_equal(false, oct3.infinite_length)
    assert_universal(OpenSSL::ASN1::EOC, asn1.value[3])
    assert_equal(false, asn1.value[3].infinite_length)
  end

  private

  def assert_universal(tag, asn1)
    assert_equal(tag, asn1.tag)
    if asn1.respond_to?(:tagging)
      assert_nil(asn1.tagging)
    end
    assert_equal(:UNIVERSAL, asn1.tag_class)
  end

end if defined?(OpenSSL)