tree fdd9a5d5e98e39bd24a3138db788aec360ec4c6a
parent 793778f6d6861fc05165f2ecd9b7f4237cff344e
author Gilles Peskine <Gilles.Peskine@arm.com> 1619188632 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1646421507 +0100

Add storage format checks to the interface checker

Expand abi_check.py to look for backward incompatibilities not only in
the interface exposed to application code (and to some extent driver
code), but also to the interface exposed via the storage format, which
is relevant when upgrading Mbed TLS on a device with a PSA keystore.

Strictly speaking, the storage format checks look for regressions in
the automatically generated storage format test data. Incompatible
changes that are not covered by the generated tests will also not be
covered by the interface checker.

A known defect in this commit is that the --brief output is not brief
for storage format checks.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>