Support for flow protected branches. More...
Macros | |
#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. | |
Support for flow protected branches.
#define MCUX_CSSL_FP_BRANCH_DECL | ( | id | ) |
Declaration of a flow protected branch.
To inform the flow protection mechanism about a branch that needs to be protected, a branch identifier needs to be declared. This identifier can then be used in the events and expectation macros. For example:
id | Identifier for the branch that is flow protected. |
#define MCUX_CSSL_FP_BRANCH_POSITIVE | ( | ... | ) |
Positive scenario for a branch is executed.
This branch event macro informs the flow mechanism that the positive scenario of the branch is executed for the branch declared by MCUX_CSSL_FP_BRANCH_DECL with the given id
. For example:
... | The following parameters need to be passed (comma separated):
|
#define MCUX_CSSL_FP_BRANCH_NEGATIVE | ( | ... | ) |
Negative scenario of a branch is executed.
This branch event macro informs the flow mechanism that the positive scenario of the branch is executed for the branch declared by MCUX_CSSL_FP_BRANCH_DECL with the given id
. For example:
... | The following parameters need to be passed (comma separated):
|
#define MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE | ( | ... | ) |
Expectation that positive branch has been taken.
This expectation macro indicates to the flow protection mechanism that the branch declared by MCUX_CSSL_FP_BRANCH_DECL with the given id
has executed the positive scenario (under the given condition
). For example:
... | The following parameters need to be passed (comma separated):
|
#define MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE | ( | ... | ) |
Expectation that negative branch has been taken.
This expectation macro indicates to the flow protection mechanism that the branch declared by MCUX_CSSL_FP_BRANCH_DECL with the given id
has executed the negative scenario (under the given condition
). For example:
... | The following parameters need to be passed (comma separated):
|