Gilles Peskine 0abb8e4bd8 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>		2021-02-12 15:55:15 +01:00
..
.jenkins	Add Jenkinsfile for PR job	2018-10-19 15:25:57 +01:00
configs	Update copyright notices to use Linux Foundation guidance	2020-08-19 16:54:51 +02:00
data_files	Merge branch 'mbedtls-2.7-restricted' into mbedtls-2.7.18r0-pr	2020-12-08 21:00:50 +00:00
git-scripts	Fix license header in pre-commit hook	2020-08-20 09:27:07 +02:00
scripts	Use $ASAN_FLAGS instead of repeating its contents	2021-01-13 22:24:51 +01:00
suites	Detect and report mutex usage errors	2021-02-12 15:55:15 +01:00
.gitignore
CMakeLists.txt	Add a facility to skip running some test suites	2018-12-14 18:50:34 +01:00
compat.sh	Fix printf escape errors in shell scripts	2020-10-27 23:48:40 +01:00
Descriptions.txt
Makefile	Merge remote-tracking branch 'origin/pr/2320' into mbedtls-2.7	2019-06-21 15:55:21 +01:00
ssl-opt.sh	Fix printf escape errors in shell scripts	2020-10-27 23:48:40 +01:00