mbedtls/library
Manuel Pégourié-Gonnard 40597cef01 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-28 13:03:28 +02:00
..
.gitignore
aes.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
aesni.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
arc4.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
asn1parse.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
asn1write.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
base64.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
bignum.c Merge pull request #3409 from bensze01/license-2.7 2020-06-18 15:54:09 +01:00
blowfish.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
camellia.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
ccm.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
certs.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
cipher_wrap.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
cipher.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
cmac.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
CMakeLists.txt Bump version to Mbed TLS 2.7.16 2020-06-26 12:37:57 +01:00
ctr_drbg.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
debug.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
des.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
dhm.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
ecdh.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
ecdsa.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
ecjpake.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
ecp_curves.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
ecp.c Merge branch 'mbedtls-2.7-restricted' into mbedtls-2.7.16r0 2020-06-25 09:20:57 +01:00
entropy_poll.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
entropy.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
error.c Merge pull request #3409 from bensze01/license-2.7 2020-06-18 15:54:09 +01:00
gcm.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
havege.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
hmac_drbg.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
Makefile Fix #2370, minor typos and spelling mistakes 2019-02-18 15:57:54 +00:00
md2.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
md4.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
md5.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
md_wrap.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
md.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
memory_buffer_alloc.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
net_sockets.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
oid.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
padlock.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
pem.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
pk_wrap.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
pk.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
pkcs5.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
pkcs11.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
pkcs12.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
pkparse.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
pkwrite.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
platform.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
ripemd160.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
rsa_internal.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
rsa.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
sha1.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
sha256.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
sha512.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
ssl_cache.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
ssl_ciphersuites.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
ssl_cli.c Merge pull request #3409 from bensze01/license-2.7 2020-06-18 15:54:09 +01:00
ssl_cookie.c Merge pull request #3409 from bensze01/license-2.7 2020-06-18 15:54:09 +01:00
ssl_srv.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
ssl_ticket.c Merge pull request #3409 from bensze01/license-2.7 2020-06-18 15:54:09 +01:00
ssl_tls.c Use existing implementation of cf_hmac() 2020-07-28 13:03:28 +02:00
threading.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
timing.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
version_features.c Add MBEDTLS_TEST_CONSTANT_FLOW_MEMSAN 2020-07-28 13:03:28 +02:00
version.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
x509_create.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
x509_crl.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
x509_crt.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
x509_csr.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
x509.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
x509write_crt.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
x509write_csr.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00
xtea.c Update license headers to Apache-2.0 OR GPL-2.0-or-later 2020-06-15 12:56:41 +02:00