PER: Fix aligments bugs for short strings

The encoder wrongly assumed that a known multiplier string (such as
IA5String) encoded as exactly 16 bits did not need to be aligned to an
octet boundary. X.691 (07/2002) 27.5.7 says that it does. Since an
OCTET STRING encoded to 16 bits (two octets) should not be aligned to
an octet boundary, that means that asnct_imm:dec_string() needs an
additional parameter to determine whether a string of a given length
needs to be aligned.

Furthermore, there is another subtle rule difference: An OCTET STRING
which does not have fixed length is always aligned (in PER), but
a known multiplier string is aligned if its upper bound is greater
than or equal to 16.

In encoding, make sure that short known multiplier strings and
OCTET STRINGs with extensible sizes are not aligned when they are
below the appropriate limit.

1 files changed, 72 insertions, 0 deletions

diff --git a/lib/asn1/test/asn1_SUITE_data/PrimStrings.asn1 b/lib/asn1/test/asn1_SUITE_data/PrimStrings.asn1
index cfaf4cf034..99fe38c07c 100644
--- a/lib/asn1/test/asn1_SUITE_data/PrimStrings.asn1
+++ b/lib/asn1/test/asn1_SUITE_data/PrimStrings.asn1
@@ -72,6 +72,32 @@ BS1024 ::= BIT STRING (SIZE (1024))
     i INTEGER (0..1024)
   }
 
+  OsFixedStringsExt ::= SEQUENCE {
+    b1 BOOLEAN,  -- Unalign
+    s0 OCTET STRING (SIZE (0, ...)),
+    s1 OCTET STRING (SIZE (1, ...)),
+    s2 OCTET STRING (SIZE (2, ...)),
+    s3 OCTET STRING (SIZE (3, ...)),
+    b2 BOOLEAN,  -- Unalign
+    s255 OCTET STRING (SIZE (255, ...)),
+    s256 OCTET STRING (SIZE (256, ...)),
+    s257 OCTET STRING (SIZE (257, ...)),
+    i INTEGER (0..1024)
+  }
+
+  OsVarStringsExt ::= SEQUENCE {
+    b1 BOOLEAN,  -- Unalign
+    s0 OCTET STRING (SIZE (0, ...)),
+    s1 OCTET STRING (SIZE (0..1, ...)),
+    s2 OCTET STRING (SIZE (1..2, ...)),
+    s3 OCTET STRING (SIZE (2..3, ...)),
+    b2 BOOLEAN,  -- Unalign
+    s255 OCTET STRING (SIZE (254..255, ...)),
+    s256 OCTET STRING (SIZE (255..256, ...)),
+    s257 OCTET STRING (SIZE (256..257, ...)),
+    i INTEGER (0..1024)
+  }
+
   OsAlignment ::= SEQUENCE {
     b1 BOOLEAN,
     s1 Os,
@@ -82,6 +108,52 @@ BS1024 ::= BIT STRING (SIZE (1024))
     i INTEGER (0..63)
   }
 
+  IA5FixedStrings ::= SEQUENCE {
+    b1 BOOLEAN,  -- Unalign
+    s0 IA5String (SIZE (0)),
+    s1 IA5String (SIZE (1)),
+    s2 IA5String (SIZE (2)),
+    s3 IA5String (SIZE (3)),
+    b2 BOOLEAN,  -- Unalign
+    s4 IA5String (SIZE (4)),
+    b3 BOOLEAN,  -- Unalign
+    s255 IA5String (SIZE (255)),
+    s256 IA5String (SIZE (256)),
+    s257 IA5String (SIZE (257)),
+    i INTEGER (0..1024)
+  }
+
+  IA5FixedStringsExt ::= SEQUENCE {
+    b1 BOOLEAN,  -- Unalign
+    s0 IA5String (SIZE (0, ...)),
+    s1 IA5String (SIZE (1, ...)),
+    s2 IA5String (SIZE (2, ...)),
+    s3 IA5String (SIZE (3, ...)),
+    b2 BOOLEAN,  -- Unalign
+    s4 IA5String (SIZE (4, ...)),
+    b3 BOOLEAN,  -- Unalign
+    s255 IA5String (SIZE (255, ...)),
+    s256 IA5String (SIZE (256, ...)),
+    s257 IA5String (SIZE (257, ...)),
+    i INTEGER (0..1024)
+  }
+
+  IA5VarStringsExt ::= SEQUENCE {
+    b1 BOOLEAN,  -- Unalign
+    s0 IA5String (SIZE (0, ...)),
+    s1 IA5String (SIZE (0..1, ...)),
+    s2 IA5String (SIZE (1..2, ...)),
+    s3 IA5String (SIZE (2..3, ...)),
+    b2 BOOLEAN,  -- Unalign
+    s4 IA5String (SIZE (3..4, ...)),
+    b3 BOOLEAN,  -- Unalign
+    s255 IA5String (SIZE (254..255, ...)),
+    s256 IA5String (SIZE (255..256, ...)),
+    s257 IA5String (SIZE (256..257, ...)),
+    i INTEGER (0..1024)
+  }
+
+
   Ns ::= NumericString
   NsCon ::= [70] NumericString
   NsExpCon ::= [71] EXPLICIT NumericString