Gilles Peskine | 952f409 | 2019-05-23 20:25:48 +0200 | [diff] [blame] | 1 | /* |
| 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 Peskine | dd413d3 | 2019-05-28 15:06:43 +0200 | [diff] [blame^] | 35 | static int test_helper_is_psa_pristine( int line, const char *file ) |
Gilles Peskine | a6d252a | 2019-05-23 20:34:30 +0200 | [diff] [blame] | 36 | { |
| 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 Peskine | dd413d3 | 2019-05-28 15:06:43 +0200 | [diff] [blame^] | 51 | /* 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 Peskine | a6d252a | 2019-05-23 20:34:30 +0200 | [diff] [blame] | 54 | if( msg != NULL && test_info.failed == 0 ) |
| 55 | test_fail( msg, line, file ); |
| 56 | |
Gilles Peskine | dd413d3 | 2019-05-28 15:06:43 +0200 | [diff] [blame^] | 57 | 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 | |
| 70 | static void test_helper_psa_done( int line, const char *file ) |
| 71 | { |
| 72 | (void) test_helper_is_psa_pristine( line, file ); |
Gilles Peskine | a6d252a | 2019-05-23 20:34:30 +0200 | [diff] [blame] | 73 | 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 Peskine | 952f409 | 2019-05-23 20:25:48 +0200 | [diff] [blame] | 81 | /* |
| 82 | * Local Variables: |
| 83 | * mode: c |
| 84 | * End: |
| 85 | */ |