tree 0620bd3d73acaf549a32878f0dbc3fe451a9a65d
parent 1061ec678205ee7e3b4ed4ee3dfa61094e314758
author Gilles Peskine <Gilles.Peskine@arm.com> 1611951489 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1614017294 +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>