MCUX CLNS MCUX Crypto Library Normal Secure |

Macros
Expectation handling
MCUX CSSL &ndash; API » Flow Protection API

Expectation handling support functionality. More...

## Macros
#define | MCUX_CSSL_FP_EXPECT(...)
| Declaration(s) of expected code flow behavior. More...
#define | MCUX_CSSL_FP_CONDITIONAL(condition, ...)
| Handling of conditionally expected code flow behavior. More...

## Detailed Description

Expectation handling support functionality.

## Macro Definition Documentation

## ◆ MCUX_CSSL_FP_EXPECT

#define MCUX_CSSL_FP_EXPECT | ( |  | ... | ) |

Declaration(s) of expected code flow behavior.

This macro can be used to indicate expectations in the function body at another location than the function entry or exit.

Note
  In general the use of this macro is discouraged, to avoid a potential security and/or code-size impact. However, it may be usefull for complex code, where an intermediate update can actually save code, since conditions for expectations can than be locallized.

Expectations
  MCUX_CSSL_FP_FUNCTION_CALLED
  MCUX_CSSL_FP_LOOP_ITERATIONS
  MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE
  MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE
  MCUX_CSSL_FP_SWITCH_TAKEN

See also
  MCUX_CSSL_FP_FUNCTION_ENTRY
  MCUX_CSSL_FP_FUNCTION_EXIT
  MCUX_CSSL_FP_FUNCTION_EXIT_WITH_CHECK
  MCUX_CSSL_FP_CONDITIONAL

Parameters

  ... | The following parameters need to be passed (comma separated): expect: One or more (comma separated) declarations of expected code flow behavior.

## ◆ MCUX_CSSL_FP_CONDITIONAL

#define MCUX_CSSL_FP_CONDITIONAL | ( |  | condition,
|  |  | ...
| ) |  |

Handling of conditionally expected code flow behavior.

This macro can be used to indicate expectations that are only true under a given `condition`.

Expectations
  MCUX_CSSL_FP_FUNCTION_CALLED
  MCUX_CSSL_FP_LOOP_ITERATIONS
  MCUX_CSSL_FP_BRANCH_TAKEN_POSITIVE
  MCUX_CSSL_FP_BRANCH_TAKEN_NEGATIVE
  MCUX_CSSL_FP_SWITCH_TAKEN

See also
  MCUX_CSSL_FP_FUNCTION_ENTRY
  MCUX_CSSL_FP_FUNCTION_EXIT
  MCUX_CSSL_FP_FUNCTION_EXIT_WITH_CHECK
  MCUX_CSSL_FP_EXPECT

Parameters

  condition | Condition under which the given expectations apply.
  ... | One or more (comma separated) declarations of expected code flow behavior.