mbedtls/tests
Manuel Pégourié-Gonnard 6240defd17 Add MBEDTLS_TEST_CONSTANT_FLOW_MEMSAN
This option allows to test the constant-flow nature of selected code, using
MemSan and the fundamental observation behind ctgrind that the set of
operations allowed on undefined memory by dynamic analysers is the same as the
set of operations allowed on secret data to avoid leaking it to a local
attacker via side channels, namely, any operation except branching and
dereferencing.

(This isn't the full story, as on some CPUs some instructions have variable
execution depending on the inputs, most notably division and on some cores
multiplication. However, testing that no branch or memory access depends on
secret data is already a good start.)

Signed-off-by: Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com>
2020-07-15 12:26:22 +02:00
..
.jenkins Add a Jenkinsfile for PR job testing 2018-10-19 16:41:54 +01:00
configs Add a test component with malloc(0) returning NULL 2020-02-11 19:26:28 +01:00
data_files Add Apache-2.0 headers to all scripts 2020-06-15 12:05:47 +02:00
docker/bionic Improve compatibility with firewalled networks 2019-06-29 17:45:34 -05:00
git-scripts Merge pull request #2639 from mpg/use-all-sh-checks-for-pre-push 2020-06-23 14:37:16 +02:00
include/test Add MBEDTLS_TEST_CONSTANT_FLOW_MEMSAN 2020-07-15 12:26:22 +02:00
scripts Add MBEDTLS_TEST_CONSTANT_FLOW_MEMSAN 2020-07-15 12:26:22 +02:00
src Rework mbedtls_test_unhexify() 2020-06-26 10:45:16 +02:00
suites Make cf_hmac() STATIC_TESTABLE 2020-07-15 12:26:21 +02:00
.gitignore tests: Add helpers.c and helpers.h files 2020-06-12 14:33:00 +02:00
CMakeLists.txt Add comments explaining include paths 2020-07-02 15:59:45 +02:00
compat-in-docker.sh Clean up file prologue comments 2019-06-29 17:45:34 -05:00
compat.sh Add Apache-2.0 headers to all scripts 2020-06-15 12:05:47 +02:00
context-info.sh Add Apache-2.0 headers to all scripts 2020-06-15 12:05:47 +02:00
Descriptions.txt Revert "Remove tests that depend on TLS or X.509" 2020-03-19 14:17:54 +01:00
make-in-docker.sh Clean up file prologue comments 2019-06-29 17:45:34 -05:00
Makefile Add comments explaining include paths 2020-07-02 15:59:45 +02:00
ssl-opt-in-docker.sh Clean up file prologue comments 2019-06-29 17:45:34 -05:00
ssl-opt.sh Fix erroneous skip of test cases for disabled ciphersuites 2020-07-02 11:38:21 +02:00