blob: edaea802445087a3eecaf5135e6dbbd79f8d8a92 [file] [log] [blame]
Gilles Peskine952f4092019-05-23 20:25:48 +02001/*
2 * Helper functions for tests that use the PSA API.
3 */
4/* Copyright (C) 2019, ARM Limited, All Rights Reserved
5 * SPDX-License-Identifier: Apache-2.0
6 *
7 * Licensed under the Apache License, Version 2.0 (the "License"); you may
8 * not use this file except in compliance with the License.
9 * You may obtain a copy of the License at
10 *
11 * http://www.apache.org/licenses/LICENSE-2.0
12 *
13 * Unless required by applicable law or agreed to in writing, software
14 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
15 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
16 * See the License for the specific language governing permissions and
17 * limitations under the License.
18 *
19 * This file is part of mbed TLS (https://tls.mbed.org)
20 */
21
22#if defined(MBEDTLS_PSA_CRYPTO_SPM)
23#include "spm/psa_defs.h"
24#endif
25#include <psa/crypto.h>
26
27/** Evaluate an expression and fail the test case if it returns an error.
28 *
29 * \param expr The expression to evaluate. This is typically a call
30 * to a \c psa_xxx function that returns a value of type
31 * #psa_status_t.
32 */
33#define PSA_ASSERT( expr ) TEST_EQUAL( ( expr ), PSA_SUCCESS )
34
Gilles Peskinedd413d32019-05-28 15:06:43 +020035static int test_helper_is_psa_pristine( int line, const char *file )
Gilles Peskinea6d252a2019-05-23 20:34:30 +020036{
37 mbedtls_psa_stats_t stats;
38 const char *msg = NULL;
39
40 mbedtls_psa_get_stats( &stats );
41
42 if( stats.volatile_slots != 0 )
43 msg = "A volatile slot has not been closed properly.";
44 else if( stats.persistent_slots != 0 )
45 msg = "A persistent slot has not been closed properly.";
46 else if( stats.external_slots != 0 )
47 msg = "An external slot has not been closed properly.";
48 else if( stats.half_filled_slots != 0 )
49 msg = "A half-filled slot has not been cleared properly.";
50
Gilles Peskinedd413d32019-05-28 15:06:43 +020051 /* If the test has already failed, don't overwrite the failure
52 * information. Do keep the stats lookup above, because it can be
53 * convenient to break on it when debugging a failure. */
Gilles Peskinea6d252a2019-05-23 20:34:30 +020054 if( msg != NULL && test_info.failed == 0 )
55 test_fail( msg, line, file );
56
Gilles Peskinedd413d32019-05-28 15:06:43 +020057 return( msg == NULL );
58}
59
60/** Check that no PSA slots are in use.
61 */
62#define ASSERT_PSA_PRISTINE( ) \
63 do \
64 { \
65 if( ! test_helper_is_psa_pristine( __LINE__, __FILE__ ) ) \
66 goto exit; \
67 } \
68 while( 0 )
69
70static void test_helper_psa_done( int line, const char *file )
71{
72 (void) test_helper_is_psa_pristine( line, file );
Gilles Peskinea6d252a2019-05-23 20:34:30 +020073 mbedtls_psa_crypto_free( );
74}
75
76/** Shut down the PSA subsystem. Expect a clean shutdown, with no slots
77 * in use.
78 */
79#define PSA_DONE( ) test_helper_psa_done( __LINE__, __FILE__ )
80
Gilles Peskine952f4092019-05-23 20:25:48 +020081/*
82 * Local Variables:
83 * mode: c
84 * End:
85 */