tree ceb91099117dc2129bff8d8d7fb9573d341dbf05
parent 44498ff9eb9423c6c54f12f5246c409c47c9c094
author Gilles Peskine <Gilles.Peskine@arm.com> 1611951489 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1613141715 +0100

Detect and report mutex usage errors

If the mutex usage verification framework is enabled and it detects a
mutex usage error, report this error and mark the test as failed.

This detects most usage errors, but not all cases of using
uninitialized memory (which is impossible in full generality) and not
leaks due to missing free (which will be handled in a subsequent commit).

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