blob: 57a9741254a5dd5b30a91f47dcd014649671e410 [file] [log] [blame]
Manuel Pégourié-Gonnard36178ff2014-05-29 14:26:03 +02001/* BEGIN_HEADER */
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00002#include "mbedtls/asn1write.h"
Manuel Pégourié-Gonnard36178ff2014-05-29 14:26:03 +02003
4#define GUARD_LEN 4
5#define GUARD_VAL 0x2a
6/* END_HEADER */
7
8/* BEGIN_DEPENDENCIES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02009 * depends_on:MBEDTLS_ASN1_WRITE_C
Manuel Pégourié-Gonnard36178ff2014-05-29 14:26:03 +020010 * END_DEPENDENCIES
11 */
12
13/* BEGIN_CASE */
Azim Khan5fcca462018-06-29 11:05:32 +010014void mbedtls_asn1_write_octet_string( data_t * str, data_t * asn1,
Azim Khanf1aaec92017-05-30 14:23:15 +010015 int buf_len, int result )
Manuel Pégourié-Gonnard36178ff2014-05-29 14:26:03 +020016{
17 int ret;
18 unsigned char buf[150];
Azim Khan90791702017-05-30 00:57:11 +010019 size_t i;
Manuel Pégourié-Gonnard36178ff2014-05-29 14:26:03 +020020 unsigned char *p;
21
22 memset( buf, GUARD_VAL, sizeof( buf ) );
23
Manuel Pégourié-Gonnard36178ff2014-05-29 14:26:03 +020024
25 p = buf + GUARD_LEN + buf_len;
26
Azim Khand30ca132017-06-09 04:32:58 +010027 ret = mbedtls_asn1_write_octet_string( &p, buf + GUARD_LEN, str->x, str->len );
Manuel Pégourié-Gonnard36178ff2014-05-29 14:26:03 +020028
29 /* Check for buffer overwrite on both sides */
30 for( i = 0; i < GUARD_LEN; i++ )
31 {
32 TEST_ASSERT( buf[i] == GUARD_VAL );
33 TEST_ASSERT( buf[GUARD_LEN + buf_len + i] == GUARD_VAL );
34 }
35
36 if( result >= 0 )
37 {
Azim Khand30ca132017-06-09 04:32:58 +010038 TEST_ASSERT( (size_t) ret == asn1->len );
39 TEST_ASSERT( p + asn1->len == buf + GUARD_LEN + buf_len );
Manuel Pégourié-Gonnard36178ff2014-05-29 14:26:03 +020040
Azim Khand30ca132017-06-09 04:32:58 +010041 TEST_ASSERT( memcmp( p, asn1->x, asn1->len ) == 0 );
Manuel Pégourié-Gonnard36178ff2014-05-29 14:26:03 +020042 }
43}
44/* END_CASE */
Manuel Pégourié-Gonnardc22bb492014-05-29 17:16:45 +020045
46/* BEGIN_CASE */
Azim Khan5fcca462018-06-29 11:05:32 +010047void mbedtls_asn1_write_ia5_string( char * str, data_t * asn1,
Azim Khand30ca132017-06-09 04:32:58 +010048 int buf_len, int result )
Manuel Pégourié-Gonnardc22bb492014-05-29 17:16:45 +020049{
50 int ret;
51 unsigned char buf[150];
Azim Khan90791702017-05-30 00:57:11 +010052 size_t str_len;
Azim Khan90791702017-05-30 00:57:11 +010053 size_t i;
Manuel Pégourié-Gonnardc22bb492014-05-29 17:16:45 +020054 unsigned char *p;
55
56 memset( buf, GUARD_VAL, sizeof( buf ) );
57
58 str_len = strlen( str );
Manuel Pégourié-Gonnardc22bb492014-05-29 17:16:45 +020059
60 p = buf + GUARD_LEN + buf_len;
61
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020062 ret = mbedtls_asn1_write_ia5_string( &p, buf + GUARD_LEN, str, str_len );
Manuel Pégourié-Gonnardc22bb492014-05-29 17:16:45 +020063
64 /* Check for buffer overwrite on both sides */
65 for( i = 0; i < GUARD_LEN; i++ )
66 {
67 TEST_ASSERT( buf[i] == GUARD_VAL );
68 TEST_ASSERT( buf[GUARD_LEN + buf_len + i] == GUARD_VAL );
69 }
70
71 if( result >= 0 )
72 {
Azim Khand30ca132017-06-09 04:32:58 +010073 TEST_ASSERT( (size_t) ret == asn1->len );
74 TEST_ASSERT( p + asn1->len == buf + GUARD_LEN + buf_len );
Manuel Pégourié-Gonnardc22bb492014-05-29 17:16:45 +020075
Azim Khand30ca132017-06-09 04:32:58 +010076 TEST_ASSERT( memcmp( p, asn1->x, asn1->len ) == 0 );
Manuel Pégourié-Gonnardc22bb492014-05-29 17:16:45 +020077 }
78}
79/* END_CASE */
Paul Bakkere325db92016-07-14 10:27:36 +010080
Hanno Becker0fbbc642018-10-16 13:48:23 +010081/* BEGIN_CASE depends_on:MBEDTLS_ASN1PARSE_C */
Azim Khan5fcca462018-06-29 11:05:32 +010082void mbedtls_asn1_write_len( int len, data_t * asn1, int buf_len,
Azim Khand30ca132017-06-09 04:32:58 +010083 int result )
Paul Bakkere325db92016-07-14 10:27:36 +010084{
85 int ret;
86 unsigned char buf[150];
Paul Bakkere325db92016-07-14 10:27:36 +010087 unsigned char *p;
Azim Khan90791702017-05-30 00:57:11 +010088 size_t i;
89 size_t read_len;
Paul Bakkere325db92016-07-14 10:27:36 +010090
91 memset( buf, GUARD_VAL, sizeof( buf ) );
Paul Bakkere325db92016-07-14 10:27:36 +010092
Paul Bakker58bfb832016-07-14 11:02:31 +010093 p = buf + GUARD_LEN + buf_len;
Paul Bakkere325db92016-07-14 10:27:36 +010094
95 ret = mbedtls_asn1_write_len( &p, buf + GUARD_LEN, (size_t) len );
96
97 TEST_ASSERT( ret == result );
98
99 /* Check for buffer overwrite on both sides */
100 for( i = 0; i < GUARD_LEN; i++ )
101 {
102 TEST_ASSERT( buf[i] == GUARD_VAL );
Paul Bakker58bfb832016-07-14 11:02:31 +0100103 TEST_ASSERT( buf[GUARD_LEN + buf_len + i] == GUARD_VAL );
Paul Bakkere325db92016-07-14 10:27:36 +0100104 }
105
106 if( result >= 0 )
107 {
Azim Khand30ca132017-06-09 04:32:58 +0100108 TEST_ASSERT( p + asn1->len == buf + GUARD_LEN + buf_len );
Paul Bakkere325db92016-07-14 10:27:36 +0100109
Azim Khand30ca132017-06-09 04:32:58 +0100110 TEST_ASSERT( memcmp( p, asn1->x, asn1->len ) == 0 );
Paul Bakker5e8b77c2016-07-14 11:14:54 +0100111
112 /* Read back with mbedtls_asn1_get_len() to check */
113 ret = mbedtls_asn1_get_len( &p, buf + GUARD_LEN + buf_len, &read_len );
114
115 if( len == 0 )
116 {
117 TEST_ASSERT( ret == 0 );
118 }
119 else
120 {
121 /* Return will be MBEDTLS_ERR_ASN1_OUT_OF_DATA because the rest of
122 * the buffer is missing
123 */
124 TEST_ASSERT( ret == MBEDTLS_ERR_ASN1_OUT_OF_DATA );
125 }
126 TEST_ASSERT( read_len == (size_t) len );
127 TEST_ASSERT( p == buf + GUARD_LEN + buf_len );
Paul Bakkere325db92016-07-14 10:27:36 +0100128 }
129}
130/* END_CASE */