MCUX CLNS
MCUX Crypto Library Normal Secure
 
Loading...
Searching...
No Matches
mcuxCsslFlowProtection.h File Reference

Provides the API for the CSSL flow protection mechanism. More...

#include <mcuxCsslAnalysis.h>
#include <mcuxCsslFlowProtection_Impl.h>

Go to the source code of this file.

Macros

#define MCUX_CSSL_FP_PROTECTED_TYPE(resultType)
 Based on a given base type, builds a return type with flow protection.
 
#define MCUX_CSSL_FP_COUNTER_STMT(statement)
 A statement which is only evaluated if a secure counter is used.
 
#define MCUX_CSSL_FP_FUNCTION_DECL(...)
 Declaration of a flow protected function.
 
#define MCUX_CSSL_FP_FUNCTION_DEF(...)
 Definition of a flow protected function.
 
#define MCUX_CSSL_FP_FUNCTION_POINTER(type, definition)
 Definition of a flow protected function pointer.
 
#define MCUX_CSSL_FP_FUNCTION_ENTRY(...)
 Flow protection handler for the function entry point.
 
#define MCUX_CSSL_FP_FUNCTION_EXIT(...)
 Flow protection handler for the function exit point.
 
#define MCUX_CSSL_FP_FUNCTION_EXIT_WITH_CHECK(...)
 Flow protection handler for the function exit point which includes an actual check of the code flow.
 
#define MCUX_CSSL_FP_FUNCTION_EXIT_VOID(...)
 Flow protection handler for the exit point of functions with the return type void.
 
#define MCUX_CSSL_FP_RESULT(...)
 Extract the result value from a protected return value.
 
#define MCUX_CSSL_FP_PROTECTION_TOKEN(return)
 Extract the protection token value from a protected return value.
 
#define MCUX_CSSL_FP_FUNCTION_CALL(...)
 Call a flow protected function.
 
#define MCUX_CSSL_FP_FUNCTION_CALL_VOID(...)
 Call a flow protected void function.
 
#define MCUX_CSSL_FP_FUNCTION_CALL_PROTECTED(...)
 Call a flow protected function from unprotected code.
 
#define MCUX_CSSL_FP_FUNCTION_CALL_VOID_PROTECTED(...)
 Call a flow protected void function from unprotected code.
 
#define MCUX_CSSL_FP_FUNCTION_CALL_BEGIN(...)
 Call a flow protected function and check the protection token.
 
#define MCUX_CSSL_FP_FUNCTION_CALL_END(...)
 End a function call section started by MCUX_CSSL_FP_FUNCTION_CALL_BEGIN.
 
#define MCUX_CSSL_FP_FUNCTION_CALL_VOID_BEGIN(...)
 Call a flow protected void function and check the protection token.
 
#define MCUX_CSSL_FP_FUNCTION_CALL_VOID_END(...)
 End a void function call section started by MCUX_CSSL_FP_FUNCTION_CALL_VOID_BEGIN.
 
#define MCUX_CSSL_FP_FUNCTION_CALLED(...)
 Expectation of a called function.
 
#define MCUX_CSSL_FP_FUNCTION_ENTERED(id)
 Expectation implementation of an entered (but not exited) function.
 
#define MCUX_CSSL_FP_LOOP_DECL(id)
 Declaration of a flow protected loop.
 
#define MCUX_CSSL_FP_LOOP_ITERATION(...)
 Perform a loop iteration.
 
#define MCUX_CSSL_FP_LOOP_ITERATIONS(id, count)
 Expected number of loop iterations.
 
#define MCUX_CSSL_FP_BRANCH_DECL(id)
 Declaration of a flow protected branch.
 
#define MCUX_CSSL_FP_BRANCH_POSITIVE(...)
 Positive scenario for a branch is executed.
 
#define MCUX_CSSL_FP_BRANCH_NEGATIVE(...)
 Negative scenario of a branch is executed.
 
#define MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE(...)
 Expectation that positive branch has been taken.
 
#define MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE(...)
 Expectation that negative branch has been taken.
 
#define MCUX_CSSL_FP_SWITCH_DECL(id)
 Declaration of a flow protected switch.
 
#define MCUX_CSSL_FP_SWITCH_CASE(...)
 Case that is being handled from a switch.
 
#define MCUX_CSSL_FP_SWITCH_DEFAULT(...)
 Case that is being handled from a switch.
 
#define MCUX_CSSL_FP_SWITCH_TAKEN(...)
 Expected that a specific case is handled from a switch.
 
#define MCUX_CSSL_FP_SWITCH_TAKEN_DEFAULT(...)
 Expected that default case is handled from a switch.
 
#define MCUX_CSSL_FP_EXPECT(...)
 Declaration(s) of expected code flow behavior.
 
#define MCUX_CSSL_FP_CONDITIONAL(condition, ...)
 Handling of conditionally expected code flow behavior.
 
#define MCUX_CSSL_FP_ASSERT(...)
 Assert an expected state of the code flow.
 

Detailed Description

Provides the API for the CSSL flow protection mechanism.