Gilles Peskine 34bd04d6dd Support mutex API type being separate from the platform type ...

The way the mutex usage verification framework plugs into the library
requires it to have access to the API type, which holds the state field. In
the new threading API, the mutable function that the framework overrides now
only receives a pointer to the platform object that is embedded in the API
object. Hence we need to calculate a pointer to the containing API object
when given a pointer to the platform object. It's ugly, but it works.

A follow-up should clean this up by changing how the mutex usage
verification framework plugs into the library. It should use a more normal
hook function mechanism instead of replacing the function pointers.

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

2025-09-01 19:47:23 +02:00

..

.jenkins

Move programs into the framework

2025-02-19 15:17:23 +00:00

include

Changed the private header preprocessor condition, so that the old (non-private) path is only taken in case of mbedtls 3.6

2025-08-21 12:12:14 +02:00

programs

Adapt to the renaming of common.h

2025-07-29 10:20:11 +02:00

src

Support mutex API type being separate from the platform type

2025-09-01 19:47:23 +02:00

.gitignore

Move programs into the framework

2025-02-19 15:17:23 +00:00