MCUX CLNS
MCUX Crypto Library Normal Secure

Support for flow protected branches. More...

Macros

#define MCUX_CSSL_FP_BRANCH_ID(id)
 Generator for branch identifiers. More...
 
#define MCUX_CSSL_FP_BRANCH_DECL_IMPL(id)
 Declaration implementation of a flow protected branch. More...
 
#define MCUX_CSSL_FP_BRANCH_VALUE(id)
 Macro to get the value for a given branch. More...
 
#define MCUX_CSSL_FP_BRANCH_POSITIVE_VALUE
 Value to use for the positive scenario. More...
 
#define MCUX_CSSL_FP_BRANCH_NEGATIVE_VALUE
 Value to use for the negative scenario. More...
 
#define MCUX_CSSL_FP_BRANCH_SCENARIO_IMPL(id, scenario, ...)
 Event implementation for the execution of a specified branch scenario. More...
 
#define MCUX_CSSL_FP_BRANCH_POSITIVE_IMPLn(id, ...)
 Event implementation for the execution of a positive branch scenario (with expectations). More...
 
#define MCUX_CSSL_FP_BRANCH_POSITIVE_IMPL1(id)
 Event implementation for the execution of a positive branch scenario (without expectations). More...
 
#define MCUX_CSSL_FP_BRANCH_POSITIVE_IMPL(...)
 Event implementation for the execution of a positive branch scenario. More...
 
#define MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPLn(id, ...)
 Event implementation for the execution of a negative branch scenario (with expectations). More...
 
#define MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPL1(id)
 Event implementation for the execution of a negative branch scenario (without expectations). More...
 
#define MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPL(...)
 Event implementation for the execution of a negative branch scenario. More...
 
#define MCUX_CSSL_FP_BRANCH_TAKEN_IMPL(id, scenario, condition)
 Expectation implementation of an executed specified branch scenario. More...
 
#define MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL2(id, condition)
 Expectation implementation of an executed positive branch (with condition). More...
 
#define MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL1(id)
 Expectation implementation of an executed positive branch (without condition). More...
 
#define MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL(...)
 Expectation implementation of an executed positive branch. More...
 
#define MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL2(id, condition)
 Expectation implementation of an executed negative branch (with condition). More...
 
#define MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL1(id)
 Expectation implementation of an executed negative branch (without condition). More...
 
#define MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL(...)
 Expectation implementation of an executed negative branch. More...
 

Detailed Description

Support for flow protected branches.

Declaration
MCUX_CSSL_FP_BRANCH_DECL_IMPL
Events
MCUX_CSSL_FP_BRANCH_POSITIVE_IMPL
MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPL
Expectations
MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL
MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL

Macro Definition Documentation

◆ MCUX_CSSL_FP_BRANCH_ID

#define MCUX_CSSL_FP_BRANCH_ID (   id)

Generator for branch identifiers.

Parameters
idIdentifier for the flow protected branch.
Returns
Counter value for the given branch.

◆ MCUX_CSSL_FP_BRANCH_DECL_IMPL

#define MCUX_CSSL_FP_BRANCH_DECL_IMPL (   id)

Declaration implementation of a flow protected branch.

Parameters
idIdentifier for the branch that is flow protected.

◆ MCUX_CSSL_FP_BRANCH_VALUE

#define MCUX_CSSL_FP_BRANCH_VALUE (   id)

Macro to get the value for a given branch.

Parameters
idIdentifier for the branch that is flow protected.
Returns
The counter value for the given branch id.

◆ MCUX_CSSL_FP_BRANCH_POSITIVE_VALUE

#define MCUX_CSSL_FP_BRANCH_POSITIVE_VALUE

Value to use for the positive scenario.

◆ MCUX_CSSL_FP_BRANCH_NEGATIVE_VALUE

#define MCUX_CSSL_FP_BRANCH_NEGATIVE_VALUE

Value to use for the negative scenario.

◆ MCUX_CSSL_FP_BRANCH_SCENARIO_IMPL

#define MCUX_CSSL_FP_BRANCH_SCENARIO_IMPL (   id,
  scenario,
  ... 
)

Event implementation for the execution of a specified branch scenario.

See also
MCUX_CSSL_FP_BRANCH_POSITIVE_IMPL
MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPL
Parameters
idIdentifier for the branch for which the given scenario is executed.
scenarioThe scenario for a branch is either positive or negative.
expectOne or more (comma separated) declarations of expected code flow behavior related to this event.

◆ MCUX_CSSL_FP_BRANCH_POSITIVE_IMPLn

#define MCUX_CSSL_FP_BRANCH_POSITIVE_IMPLn (   id,
  ... 
)

Event implementation for the execution of a positive branch scenario (with expectations).

See also
MCUX_CSSL_FP_BRANCH_POSITIVE_IMPL
MCUX_CSSL_FP_BRANCH_POSITIVE_IMPL1
Parameters
idIdentifier for the branch for which the positive scenario is executed.
expectOne or more (comma separated) declarations of expected code flow behavior related to this event.

◆ MCUX_CSSL_FP_BRANCH_POSITIVE_IMPL1

#define MCUX_CSSL_FP_BRANCH_POSITIVE_IMPL1 (   id)

Event implementation for the execution of a positive branch scenario (without expectations).

See also
MCUX_CSSL_FP_BRANCH_POSITIVE_IMPL
MCUX_CSSL_FP_BRANCH_POSITIVE_IMPLn
Parameters
idIdentifier for the branch for which the positive scenario is executed.

◆ MCUX_CSSL_FP_BRANCH_POSITIVE_IMPL

#define MCUX_CSSL_FP_BRANCH_POSITIVE_IMPL (   ...)

Event implementation for the execution of a positive branch scenario.

Implemented as an overloaded macro to simplify the use of the API.

See also
MCUX_CSSL_FP_BRANCH_POSITIVE_IMPL1
MCUX_CSSL_FP_BRANCH_POSITIVE_IMPLn
Parameters
idIdentifier for the branch for which the positive scenario is executed.
expectZero or more (comma separated) declarations of expected code flow behavior related to this event.

◆ MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPLn

#define MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPLn (   id,
  ... 
)

Event implementation for the execution of a negative branch scenario (with expectations).

See also
MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPL
MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPL1
Parameters
idIdentifier for the branch for which the negative scenario is executed.
expectOne or more (comma separated) declarations of expected code flow behavior related to this event.

◆ MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPL1

#define MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPL1 (   id)

Event implementation for the execution of a negative branch scenario (without expectations).

See also
MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPL
MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPLn
Parameters
idIdentifier for the branch for which the negative scenario is executed.

◆ MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPL

#define MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPL (   ...)

Event implementation for the execution of a negative branch scenario.

Implemented as an overloaded macro to simplify the use of the API.

See also
MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPL1
MCUX_CSSL_FP_BRANCH_NEGATIVE_IMPLn
Parameters
idIdentifier for the branch for which the negative scenario is executed.
expectZero or more (comma separated) declarations of expected code flow behavior related to this event.

◆ MCUX_CSSL_FP_BRANCH_TAKEN_IMPL

#define MCUX_CSSL_FP_BRANCH_TAKEN_IMPL (   id,
  scenario,
  condition 
)

Expectation implementation of an executed specified branch scenario.

See also
MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL
MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL
Parameters
idIdentifier of the flow protected branch.
scenarioThe scenario for a branch is either positive or negative.
conditionCondition under which this branch is taken.

◆ MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL2

#define MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL2 (   id,
  condition 
)

Expectation implementation of an executed positive branch (with condition).

See also
MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL
MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL1
Parameters
idIdentifier of the flow protected branch.
conditionCondition under which this branch is taken.

◆ MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL1

#define MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL1 (   id)

Expectation implementation of an executed positive branch (without condition).

See also
MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL
MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL2
Parameters
idIdentifier of the flow protected branch.

◆ MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL

#define MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL (   ...)

Expectation implementation of an executed positive branch.

Implemented as an overloaded macro to simplify the use of the API.

See also
MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL1
MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE_IMPL2
Parameters
idIdentifier of the flow protected branch.
conditionOptional, condition under which this branch is taken.

◆ MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL2

#define MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL2 (   id,
  condition 
)

Expectation implementation of an executed negative branch (with condition).

See also
MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL
MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL1
Parameters
idIdentifier of the flow protected branch.
conditionCondition under which this branch is taken.

◆ MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL1

#define MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL1 (   id)

Expectation implementation of an executed negative branch (without condition).

See also
MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL
MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL2
Parameters
idIdentifier of the flow protected branch.

◆ MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL

#define MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL (   ...)

Expectation implementation of an executed negative branch.

Implemented as an overloaded macro to simplify the use of the API.

See also
MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL1
MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE_IMPL2
Parameters
idIdentifier of the flow protected branch.
conditionOptional, condition under which this branch is taken.