/* SPDX-License-Identifier: BSD-2-Clause */

/***********************************************************************

 * Copyright (c) 2018, Intel Corporation

 *

 * All rights reserved.

 ***********************************************************************/

#ifdef HAVE_CONFIG_H

#include <config.h>

#endif

#include <inttypes.h>

#include <stdbool.h>

#include <stdio.h>

#include <string.h>

#include <poll.h>

#include <stdarg.h>

#include <setjmp.h>

#include "tss2_mu.h"

#include "tss2_sys.h"

#include "tss2_tcti_device.h"

#include "tss2-tcti/tcti-common.h"

#include "tss2-tcti/tcti-device.h"

#define LOGMODULE fuzz

#include "tss2_tcti.h"

#include "util/log.h"

#include "test.h"

#include "tss2-sys/sysapi_util.h"

#include "tcti/tcti-fuzzing.h"

int

test_invoke (

        TSS2_SYS_CONTEXT *sysContext)

{

    int ret;

    TPMI_SH_POLICY       policySession = {0};

     TPM2B_TIMEOUT timeout = {0};

     TPM2B_DIGEST  cpHashA = {0};

     TPM2B_NONCE   policyRef = {0};

     TPM2B_NAME    authName = {0};

     TPMT_TK_AUTH  ticket = {0};

    ret = fuzz_fill (

        sysContext,

        12,

        sizeof (policySession), &policySession,

        sizeof (timeout), &timeout,

        sizeof (cpHashA), &cpHashA,

        sizeof (policyRef), &policyRef,

        sizeof (authName), &authName,

        sizeof (ticket), &ticket

    );

    if (ret) {

        return ret;

    }

    Tss2_Sys_PolicyTicket_Prepare (

        sysContext,

        policySession,

        &timeout,

        &cpHashA,

        &policyRef,

        &authName,

        &ticket

    );

    return EXIT_SUCCESS;

}