13d3b0591SJens WiklanderREADME for Mbed TLS 2817466cbSJens Wiklander=================== 3817466cbSJens Wiklander 411fa71b9SJerome ForissierMbed TLS is a C library that implements cryptographic primitives, X.509 certificate manipulation and the SSL/TLS and DTLS protocols. Its small code footprint makes it suitable for embedded systems. 511fa71b9SJerome Forissier 611fa71b9SJerome ForissierMbed TLS includes a reference implementation of the [PSA Cryptography API](#psa-cryptography-api). This is currently a preview for evaluation purposes only. 711fa71b9SJerome Forissier 8817466cbSJens WiklanderConfiguration 9817466cbSJens Wiklander------------- 10817466cbSJens Wiklander 1111fa71b9SJerome ForissierMbed TLS should build out of the box on most systems. Some platform specific options are available in the fully documented configuration file `include/mbedtls/config.h`, which is also the place where features can be selected. This file can be edited manually, or in a more programmatic way using the Python 3 script `scripts/config.py` (use `--help` for usage instructions). 12817466cbSJens Wiklander 13817466cbSJens WiklanderCompiler options can be set using conventional environment variables such as `CC` and `CFLAGS` when using the Make and CMake build system (see below). 14817466cbSJens Wiklander 1511fa71b9SJerome ForissierWe provide some non-standard configurations focused on specific use cases in the `configs/` directory. You can read more about those in `configs/README.txt` 1611fa71b9SJerome Forissier 1711fa71b9SJerome ForissierDocumentation 1811fa71b9SJerome Forissier------------- 1911fa71b9SJerome Forissier 2011fa71b9SJerome ForissierDocumentation for the Mbed TLS interfaces in the default library configuration is available as part of the [Mbed TLS documentation](https://tls.mbed.org/api/). 2111fa71b9SJerome Forissier 2211fa71b9SJerome ForissierTo generate a local copy of the library documentation in HTML format, tailored to your compile-time configuration: 2311fa71b9SJerome Forissier 2411fa71b9SJerome Forissier1. Make sure that [Doxygen](http://www.doxygen.nl/) is installed. We use version 1.8.11 but slightly older or more recent versions should work. 2511fa71b9SJerome Forissier1. Run `make apidoc`. 2611fa71b9SJerome Forissier1. Browse `apidoc/index.html` or `apidoc/modules.html`. 2711fa71b9SJerome Forissier 287901324dSJerome ForissierFor other sources of documentation, see the [SUPPORT](SUPPORT.md) document. 297901324dSJerome Forissier 30817466cbSJens WiklanderCompiling 31817466cbSJens Wiklander--------- 32817466cbSJens Wiklander 333d3b0591SJens WiklanderThere are currently three active build systems used within Mbed TLS releases: 34817466cbSJens Wiklander 353d3b0591SJens Wiklander- GNU Make 36817466cbSJens Wiklander- CMake 3711fa71b9SJerome Forissier- Microsoft Visual Studio (Microsoft Visual Studio 2013 or later) 38817466cbSJens Wiklander 393d3b0591SJens WiklanderThe main systems used for development are CMake and GNU Make. Those systems are always complete and up-to-date. The others should reflect all changes present in the CMake and Make build system, although features may not be ported there automatically. 40817466cbSJens Wiklander 41*039e02dfSJerome ForissierThe Make and CMake build systems create three libraries: libmbedcrypto, libmbedx509, and libmbedtls. Note that libmbedtls depends on libmbedx509 and libmbedcrypto, and libmbedx509 depends on libmbedcrypto. As a result, some linkers will expect flags to be in a specific order, for example the GNU linker wants `-lmbedtls -lmbedx509 -lmbedcrypto`. 42817466cbSJens Wiklander 4311fa71b9SJerome Forissier### Tool versions 4411fa71b9SJerome Forissier 4511fa71b9SJerome ForissierYou need the following tools to build the library with the provided makefiles: 4611fa71b9SJerome Forissier 4711fa71b9SJerome Forissier* GNU Make or a build tool that CMake supports. 4811fa71b9SJerome Forissier* A C99 toolchain (compiler, linker, archiver). We actively test with GCC 5.4, Clang 3.8, IAR8 and Visual Studio 2013. More recent versions should work. Slightly older versions may work. 4911fa71b9SJerome Forissier* Python 3 to generate the test code. 5011fa71b9SJerome Forissier* Perl to run the tests. 5111fa71b9SJerome Forissier 52817466cbSJens Wiklander### Make 53817466cbSJens Wiklander 543d3b0591SJens WiklanderWe require GNU Make. To build the library and the sample programs, GNU Make and a C compiler are sufficient. Some of the more advanced build targets require some Unix/Linux tools. 55817466cbSJens Wiklander 563d3b0591SJens WiklanderWe intentionally only use a minimum of functionality in the makefiles in order to keep them as simple and independent of different toolchains as possible, to allow users to more easily move between different platforms. Users who need more features are recommended to use CMake. 573d3b0591SJens Wiklander 583d3b0591SJens WiklanderIn order to build from the source code using GNU Make, just enter at the command line: 59817466cbSJens Wiklander 60817466cbSJens Wiklander make 61817466cbSJens Wiklander 62817466cbSJens WiklanderIn order to run the tests, enter: 63817466cbSJens Wiklander 64817466cbSJens Wiklander make check 65817466cbSJens Wiklander 665b25c76aSJerome ForissierThe tests need Python to be built and Perl to be run. If you don't have one of them installed, you can skip building the tests with: 67817466cbSJens Wiklander 68817466cbSJens Wiklander make no_test 69817466cbSJens Wiklander 70817466cbSJens WiklanderYou'll still be able to run a much smaller set of tests with: 71817466cbSJens Wiklander 72817466cbSJens Wiklander programs/test/selftest 73817466cbSJens Wiklander 74817466cbSJens WiklanderIn order to build for a Windows platform, you should use `WINDOWS_BUILD=1` if the target is Windows but the build environment is Unix-like (for instance when cross-compiling, or compiling from an MSYS shell), and `WINDOWS=1` if the build environment is a Windows shell (for instance using mingw32-make) (in that case some targets will not be available). 75817466cbSJens Wiklander 763d3b0591SJens WiklanderSetting the variable `SHARED` in your environment will build shared libraries in addition to the static libraries. Setting `DEBUG` gives you a debug build. You can override `CFLAGS` and `LDFLAGS` by setting them in your environment or on the make command line; compiler warning options may be overridden separately using `WARNING_CFLAGS`. Some directory-specific options (for example, `-I` directives) are still preserved. 77817466cbSJens Wiklander 7811fa71b9SJerome ForissierPlease note that setting `CFLAGS` overrides its default value of `-O2` and setting `WARNING_CFLAGS` overrides its default value (starting with `-Wall -Wextra`), so if you just want to add some warning options to the default ones, you can do so by setting `CFLAGS=-O2 -Werror` for example. Setting `WARNING_CFLAGS` is useful when you want to get rid of its default content (for example because your compiler doesn't accept `-Wall` as an option). Directory-specific options cannot be overridden from the command line. 79817466cbSJens Wiklander 803d3b0591SJens WiklanderDepending on your platform, you might run into some issues. Please check the Makefiles in `library/`, `programs/` and `tests/` for options to manually add or remove for specific platforms. You can also check [the Mbed TLS Knowledge Base](https://tls.mbed.org/kb) for articles on your platform or issue. 813d3b0591SJens Wiklander 823d3b0591SJens WiklanderIn case you find that you need to do something else as well, please let us know what, so we can add it to the [Mbed TLS Knowledge Base](https://tls.mbed.org/kb). 83817466cbSJens Wiklander 84817466cbSJens Wiklander### CMake 85817466cbSJens Wiklander 863d3b0591SJens WiklanderIn order to build the source using CMake in a separate directory (recommended), just enter at the command line: 87817466cbSJens Wiklander 883d3b0591SJens Wiklander mkdir /path/to/build_dir && cd /path/to/build_dir 893d3b0591SJens Wiklander cmake /path/to/mbedtls_source 907901324dSJerome Forissier cmake --build . 91817466cbSJens Wiklander 92817466cbSJens WiklanderIn order to run the tests, enter: 93817466cbSJens Wiklander 947901324dSJerome Forissier ctest 95817466cbSJens Wiklander 965b25c76aSJerome ForissierThe test suites need Python to be built and Perl to be executed. If you don't have one of these installed, you'll want to disable the test suites with: 97817466cbSJens Wiklander 983d3b0591SJens Wiklander cmake -DENABLE_TESTING=Off /path/to/mbedtls_source 99817466cbSJens Wiklander 100817466cbSJens WiklanderIf you disabled the test suites, but kept the programs enabled, you can still run a much smaller set of tests with: 101817466cbSJens Wiklander 102817466cbSJens Wiklander programs/test/selftest 103817466cbSJens Wiklander 104817466cbSJens WiklanderTo configure CMake for building shared libraries, use: 105817466cbSJens Wiklander 1063d3b0591SJens Wiklander cmake -DUSE_SHARED_MBEDTLS_LIBRARY=On /path/to/mbedtls_source 107817466cbSJens Wiklander 108817466cbSJens WiklanderThere are many different build modes available within the CMake buildsystem. Most of them are available for gcc and clang, though some are compiler-specific: 109817466cbSJens Wiklander 1103d3b0591SJens Wiklander- `Release`. This generates the default code without any unnecessary information in the binary files. 1113d3b0591SJens Wiklander- `Debug`. This generates debug information and disables optimization of the code. 1123d3b0591SJens Wiklander- `Coverage`. This generates code coverage information in addition to debug information. 1133d3b0591SJens Wiklander- `ASan`. This instruments the code with AddressSanitizer to check for memory errors. (This includes LeakSanitizer, with recent version of gcc and clang.) (With recent version of clang, this mode also instruments the code with UndefinedSanitizer to check for undefined behaviour.) 1143d3b0591SJens Wiklander- `ASanDbg`. Same as ASan but slower, with debug information and better stack traces. 1153d3b0591SJens Wiklander- `MemSan`. This instruments the code with MemorySanitizer to check for uninitialised memory reads. Experimental, needs recent clang on Linux/x86\_64. 1163d3b0591SJens Wiklander- `MemSanDbg`. Same as MemSan but slower, with debug information, better stack traces and origin tracking. 1173d3b0591SJens Wiklander- `Check`. This activates the compiler warnings that depend on optimization and treats all warnings as errors. 118817466cbSJens Wiklander 119817466cbSJens WiklanderSwitching build modes in CMake is simple. For debug mode, enter at the command line: 120817466cbSJens Wiklander 1213d3b0591SJens Wiklander cmake -D CMAKE_BUILD_TYPE=Debug /path/to/mbedtls_source 122817466cbSJens Wiklander 123817466cbSJens WiklanderTo list other available CMake options, use: 124817466cbSJens Wiklander 125817466cbSJens Wiklander cmake -LH 126817466cbSJens Wiklander 1273d3b0591SJens WiklanderNote that, with CMake, you can't adjust the compiler or its flags after the 1283d3b0591SJens Wiklanderinitial invocation of cmake. This means that `CC=your_cc make` and `make 1293d3b0591SJens WiklanderCC=your_cc` will *not* work (similarly with `CFLAGS` and other variables). 1303d3b0591SJens WiklanderThese variables need to be adjusted when invoking cmake for the first time, 1313d3b0591SJens Wiklanderfor example: 1323d3b0591SJens Wiklander 1333d3b0591SJens Wiklander CC=your_cc cmake /path/to/mbedtls_source 1343d3b0591SJens Wiklander 1353d3b0591SJens WiklanderIf you already invoked cmake and want to change those settings, you need to 1363d3b0591SJens Wiklanderremove the build directory and create it again. 1373d3b0591SJens Wiklander 1383d3b0591SJens WiklanderNote that it is possible to build in-place; this will however overwrite the 1393d3b0591SJens Wiklanderprovided Makefiles (see `scripts/tmp_ignore_makefiles.sh` if you want to 1403d3b0591SJens Wiklanderprevent `git status` from showing them as modified). In order to do so, from 1413d3b0591SJens Wiklanderthe Mbed TLS source directory, use: 1423d3b0591SJens Wiklander 1433d3b0591SJens Wiklander cmake . 1443d3b0591SJens Wiklander make 1453d3b0591SJens Wiklander 1463d3b0591SJens WiklanderIf you want to change `CC` or `CFLAGS` afterwards, you will need to remove the 1473d3b0591SJens WiklanderCMake cache. This can be done with the following command using GNU find: 148817466cbSJens Wiklander 149817466cbSJens Wiklander find . -iname '*cmake*' -not -name CMakeLists.txt -exec rm -rf {} + 1503d3b0591SJens Wiklander 1513d3b0591SJens WiklanderYou can now make the desired change: 1523d3b0591SJens Wiklander 1533d3b0591SJens Wiklander CC=your_cc cmake . 1543d3b0591SJens Wiklander make 1553d3b0591SJens Wiklander 1563d3b0591SJens WiklanderRegarding variables, also note that if you set CFLAGS when invoking cmake, 1573d3b0591SJens Wiklanderyour value of CFLAGS doesn't override the content provided by cmake (depending 1583d3b0591SJens Wiklanderon the build mode as seen above), it's merely prepended to it. 159817466cbSJens Wiklander 16011fa71b9SJerome Forissier#### Mbed TLS as a subproject 16111fa71b9SJerome Forissier 16211fa71b9SJerome ForissierMbed TLS supports being built as a CMake subproject. One can 16311fa71b9SJerome Forissieruse `add_subdirectory()` from a parent CMake project to include Mbed TLS as a 16411fa71b9SJerome Forissiersubproject. 16511fa71b9SJerome Forissier 166817466cbSJens Wiklander### Microsoft Visual Studio 167817466cbSJens Wiklander 168817466cbSJens WiklanderThe build files for Microsoft Visual Studio are generated for Visual Studio 2010. 169817466cbSJens Wiklander 1705b25c76aSJerome ForissierThe solution file `mbedTLS.sln` contains all the basic projects needed to build the library and all the programs. The files in tests are not generated and compiled, as these need Python and perl environments as well. However, the selftest program in `programs/test/` is still available. 171817466cbSJens Wiklander 172817466cbSJens WiklanderExample programs 173817466cbSJens Wiklander---------------- 174817466cbSJens Wiklander 17511fa71b9SJerome ForissierWe've included example programs for a lot of different features and uses in [`programs/`](programs/README.md). 17611fa71b9SJerome ForissierPlease note that the goal of these sample programs is to demonstrate specific features of the library, and the code may need to be adapted to build a real-world application. 177817466cbSJens Wiklander 178817466cbSJens WiklanderTests 179817466cbSJens Wiklander----- 180817466cbSJens Wiklander 1815b25c76aSJerome ForissierMbed TLS includes an elaborate test suite in `tests/` that initially requires Python to generate the tests files (e.g. `test\_suite\_mpi.c`). These files are generated from a `function file` (e.g. `suites/test\_suite\_mpi.function`) and a `data file` (e.g. `suites/test\_suite\_mpi.data`). The `function file` contains the test functions. The `data file` contains the test cases, specified as parameters that will be passed to the test function. 182817466cbSJens Wiklander 183817466cbSJens WiklanderFor machines with a Unix shell and OpenSSL (and optionally GnuTLS) installed, additional test scripts are available: 184817466cbSJens Wiklander 185817466cbSJens Wiklander- `tests/ssl-opt.sh` runs integration tests for various TLS options (renegotiation, resumption, etc.) and tests interoperability of these options with other implementations. 186817466cbSJens Wiklander- `tests/compat.sh` tests interoperability of every ciphersuite with other implementations. 187817466cbSJens Wiklander- `tests/scripts/test-ref-configs.pl` test builds in various reduced configurations. 188817466cbSJens Wiklander- `tests/scripts/key-exchanges.pl` test builds in configurations with a single key exchange enabled 189817466cbSJens Wiklander- `tests/scripts/all.sh` runs a combination of the above tests, plus some more, with various build options (such as ASan, full `config.h`, etc). 190817466cbSJens Wiklander 1913d3b0591SJens WiklanderPorting Mbed TLS 192817466cbSJens Wiklander---------------- 193817466cbSJens Wiklander 1943d3b0591SJens WiklanderMbed TLS can be ported to many different architectures, OS's and platforms. Before starting a port, you may find the following Knowledge Base articles useful: 195817466cbSJens Wiklander 1963d3b0591SJens Wiklander- [Porting Mbed TLS to a new environment or OS](https://tls.mbed.org/kb/how-to/how-do-i-port-mbed-tls-to-a-new-environment-OS) 1973d3b0591SJens Wiklander- [What external dependencies does Mbed TLS rely on?](https://tls.mbed.org/kb/development/what-external-dependencies-does-mbedtls-rely-on) 1983d3b0591SJens Wiklander- [How do I configure Mbed TLS](https://tls.mbed.org/kb/compiling-and-building/how-do-i-configure-mbedtls) 199817466cbSJens Wiklander 200*039e02dfSJerome ForissierMbed TLS is mostly written in portable C99; however, it has a few platform requirements that go beyond the standard, but are met by most modern architectures: 201*039e02dfSJerome Forissier 202*039e02dfSJerome Forissier- Bytes must be 8 bits. 203*039e02dfSJerome Forissier- All-bits-zero must be a valid representation of a null pointer. 204*039e02dfSJerome Forissier- Signed integers must be represented using two's complement. 205*039e02dfSJerome Forissier- `int` and `size_t` must be at least 32 bits wide. 206*039e02dfSJerome Forissier- The types `uint8_t`, `uint16_t`, `uint32_t` and their signed equivalents must be available. 207*039e02dfSJerome Forissier 20811fa71b9SJerome ForissierPSA cryptography API 20911fa71b9SJerome Forissier-------------------- 21011fa71b9SJerome Forissier 21111fa71b9SJerome Forissier### PSA API design 21211fa71b9SJerome Forissier 21311fa71b9SJerome ForissierArm's [Platform Security Architecture (PSA)](https://developer.arm.com/architectures/security-architectures/platform-security-architecture) is a holistic set of threat models, security analyses, hardware and firmware architecture specifications, and an open source firmware reference implementation. PSA provides a recipe, based on industry best practice, that allows security to be consistently designed in, at both a hardware and firmware level. 21411fa71b9SJerome Forissier 21511fa71b9SJerome ForissierThe [PSA cryptography API](https://armmbed.github.io/mbed-crypto/psa/#application-programming-interface) provides access to a set of cryptographic primitives. It has a dual purpose. First, it can be used in a PSA-compliant platform to build services, such as secure boot, secure storage and secure communication. Second, it can also be used independently of other PSA components on any platform. 21611fa71b9SJerome Forissier 21711fa71b9SJerome ForissierThe design goals of the PSA cryptography API include: 21811fa71b9SJerome Forissier 21911fa71b9SJerome Forissier* The API distinguishes caller memory from internal memory, which allows the library to be implemented in an isolated space for additional security. Library calls can be implemented as direct function calls if isolation is not desired, and as remote procedure calls if isolation is desired. 22011fa71b9SJerome Forissier* The structure of internal data is hidden to the application, which allows substituting alternative implementations at build time or run time, for example, in order to take advantage of hardware accelerators. 2217901324dSJerome Forissier* All access to the keys happens through key identifiers, which allows support for external cryptoprocessors that is transparent to applications. 22211fa71b9SJerome Forissier* The interface to algorithms is generic, favoring algorithm agility. 22311fa71b9SJerome Forissier* The interface is designed to be easy to use and hard to accidentally misuse. 22411fa71b9SJerome Forissier 22511fa71b9SJerome ForissierArm welcomes feedback on the design of the API. If you think something could be improved, please open an issue on our Github repository. Alternatively, if you prefer to provide your feedback privately, please email us at [`mbed-crypto@arm.com`](mailto:mbed-crypto@arm.com). All feedback received by email is treated confidentially. 22611fa71b9SJerome Forissier 22711fa71b9SJerome Forissier### PSA API documentation 22811fa71b9SJerome Forissier 22911fa71b9SJerome ForissierA browsable copy of the PSA Cryptography API documents is available on the [PSA cryptography interfaces documentation portal](https://armmbed.github.io/mbed-crypto/psa/#application-programming-interface) in [PDF](https://armmbed.github.io/mbed-crypto/PSA_Cryptography_API_Specification.pdf) and [HTML](https://armmbed.github.io/mbed-crypto/html/index.html) formats. 23011fa71b9SJerome Forissier 23111fa71b9SJerome Forissier### PSA implementation in Mbed TLS 23211fa71b9SJerome Forissier 23311fa71b9SJerome ForissierMbed TLS includes a reference implementation of the PSA Cryptography API. 23411fa71b9SJerome ForissierThis implementation is not yet as mature as the rest of the library. Some parts of the code have not been reviewed as thoroughly, and some parts of the PSA implementation are not yet well optimized for code size. 23511fa71b9SJerome Forissier 23611fa71b9SJerome ForissierThe X.509 and TLS code can use PSA cryptography for a limited subset of operations. To enable this support, activate the compilation option `MBEDTLS_USE_PSA_CRYPTO` in `config.h`. 23711fa71b9SJerome Forissier 238*039e02dfSJerome ForissierThere are currently a few deviations where the library does not yet implement the latest version of the specification. Please refer to the [compliance issues on Github](https://github.com/Mbed-TLS/mbed-crypto/labels/compliance) for an up-to-date list. 23911fa71b9SJerome Forissier 24011fa71b9SJerome Forissier### Upcoming features 24111fa71b9SJerome Forissier 24211fa71b9SJerome ForissierFuture releases of this library will include: 24311fa71b9SJerome Forissier 24411fa71b9SJerome Forissier* A driver programming interface, which makes it possible to use hardware accelerators instead of the default software implementation for chosen algorithms. 24511fa71b9SJerome Forissier* Support for external keys to be stored and manipulated exclusively in a separate cryptoprocessor. 24611fa71b9SJerome Forissier* A configuration mechanism to compile only the algorithms you need for your application. 24711fa71b9SJerome Forissier* A wider set of cryptographic algorithms. 24811fa71b9SJerome Forissier 24911fa71b9SJerome ForissierLicense 25011fa71b9SJerome Forissier------- 25111fa71b9SJerome Forissier 25211fa71b9SJerome ForissierUnless specifically indicated otherwise in a file, Mbed TLS files are provided under the [Apache-2.0](https://spdx.org/licenses/Apache-2.0.html) license. See the [LICENSE](LICENSE) file for the full text of this license. Contributors must accept that their contributions are made under both the Apache-2.0 AND [GPL-2.0-or-later](https://spdx.org/licenses/GPL-2.0-or-later.html) licenses. This enables LTS (Long Term Support) branches of the software to be provided under either the Apache-2.0 OR GPL-2.0-or-later licenses. 25311fa71b9SJerome Forissier 254817466cbSJens WiklanderContributing 255817466cbSJens Wiklander------------ 256817466cbSJens Wiklander 25711fa71b9SJerome ForissierWe gratefully accept bug reports and contributions from the community. Please see the [contributing guidelines](CONTRIBUTING.md) for details on how to do this. 258*039e02dfSJerome Forissier 259*039e02dfSJerome ForissierContact 260*039e02dfSJerome Forissier------- 261*039e02dfSJerome Forissier 262*039e02dfSJerome Forissier* To report a security vulnerability in Mbed TLS, please email <mbed-tls-security@lists.trustedfirmware.org>. For more information, see [`SECURITY.md`](SECURITY.md). 263*039e02dfSJerome Forissier* To report a bug or request a feature in Mbed TLS, please [file an issue on GitHub](https://github.com/Mbed-TLS/mbedtls/issues/new/choose). 264*039e02dfSJerome Forissier* Please see [`SUPPORT.md`](SUPPORT.md) for other channels for discussion and support about Mbed TLS. 265