mbedtls_stub.h

00001 /*
00002  * Copyright (c) 2015 ARM Limited. All Rights Reserved.
00003  *
00004  * SPDX-License-Identifier: Apache-2.0
00005  *
00006  * Licensed under the Apache License, Version 2.0 (the "License"); you may
00007  * not use this file except in compliance with the License.
00008  * You may obtain a copy of the License at
00009  *
00010  * http://www.apache.org/licenses/LICENSE-2.0
00011  *
00012  * Unless required by applicable law or agreed to in writing, software
00013  * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
00014  * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
00015  * See the License for the specific language governing permissions and
00016  * limitations under the License.
00017  */
00018 #ifndef MBEDTLS_STUB_H
00019 #define MBEDTLS_STUB_H
00020 
00021 #define MBEDTLS_SSL_EXPORT_KEYS
00022 
00023 #include <inttypes.h>
00024 #include <stdbool.h>
00025 #include "mbedtls/platform.h"
00026 #include "mbedtls/ssl.h"
00027 #include "mbedtls/ctr_drbg.h"
00028 #include "mbedtls/x509_crt.h"
00029 #include "mbedtls/sha256.h"
00030 #include "mbedtls/entropy.h"
00031 #include "mbedtls/pk.h"
00032 
00033 
00034 
00035 #define HANDSHAKE_FINISHED_VALUE 8888
00036 #define HANDSHAKE_FINISHED_VALUE_RETURN_ZERO 8889
00037 
00038 typedef struct {
00039     int crt_expected_int;
00040     bool useCounter;
00041     int counter;
00042     int retArray[20];
00043     int expected_int;
00044     uint32_t uint32_value;
00045     bool invalidate_timer;
00046     void *cookie_obj;
00047     unsigned char cookie_value[8];
00048     size_t cookie_len;
00049 } mbedtls_stub_def;
00050 
00051 extern mbedtls_stub_def mbedtls_stub;
00052 
00053 #endif // MBEDTLS_STUB_H