| /openthread-latest/third_party/mbedtls/repo/3rdparty/everest/library/kremlib/ |
| D | FStar_UInt128_extracted.c | 25 static uint64_t FStar_UInt128_constant_time_carry(uint64_t a, uint64_t b) in FStar_UInt128_constant_time_carry() argument
27 return (a ^ ((a ^ b) | ((a - b) ^ b))) >> (uint32_t)63U; in FStar_UInt128_constant_time_carry()
30 static uint64_t FStar_UInt128_carry(uint64_t a, uint64_t b) in FStar_UInt128_carry() argument
32 return FStar_UInt128_constant_time_carry(a, b); in FStar_UInt128_carry()
35 FStar_UInt128_uint128 FStar_UInt128_add(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_add() argument
38 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add()
43 FStar_UInt128_add_underspec(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_add_underspec() argument
46 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add_underspec()
50 FStar_UInt128_uint128 FStar_UInt128_add_mod(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b) in FStar_UInt128_add_mod() argument
53 flat = { a.low + b.low, a.high + b.high + FStar_UInt128_carry(a.low + b.low, b.low) }; in FStar_UInt128_add_mod()
[all …]
|
| D | FStar_UInt64_FStar_UInt32_FStar_UInt16_FStar_UInt8.c | 13 uint64_t FStar_UInt64_eq_mask(uint64_t a, uint64_t b) in FStar_UInt64_eq_mask() argument
15 uint64_t x = a ^ b; in FStar_UInt64_eq_mask()
22 uint64_t FStar_UInt64_gte_mask(uint64_t a, uint64_t b) in FStar_UInt64_gte_mask() argument
24 uint64_t x = a; in FStar_UInt64_gte_mask()
35 uint32_t FStar_UInt32_eq_mask(uint32_t a, uint32_t b) in FStar_UInt32_eq_mask() argument
37 uint32_t x = a ^ b; in FStar_UInt32_eq_mask()
44 uint32_t FStar_UInt32_gte_mask(uint32_t a, uint32_t b) in FStar_UInt32_gte_mask() argument
46 uint32_t x = a; in FStar_UInt32_gte_mask()
57 uint16_t FStar_UInt16_eq_mask(uint16_t a, uint16_t b) in FStar_UInt16_eq_mask() argument
59 uint16_t x = a ^ b; in FStar_UInt16_eq_mask()
[all …]
|
| /openthread-latest/tests/scripts/thread-cert/pktverify/ |
| D | addrs.py | 96 a = ipaddress.IPv6Address(addr)
97 return a.exploded
152 a = EthAddr("010203040506") variable
153 assert a == EthAddr("01:02:03:04:05:06")
154 assert a == EthAddr("0102:0304:0506")
155 assert eval(repr(a)) == a
156 assert a == str(a)
157 assert str(a) == a
159 print(a, repr(a))
160 assert isinstance(a[:], Bytes)
[all …]
|
| /openthread-latest/third_party/tcplp/bsdtcp/ |
| D | ip6.h | 122 #define IN6_ARE_ADDR_EQUAL(a, b) \ argument
123 (memcmp(&(a)->s6_addr[0], &(b)->s6_addr[0], sizeof(struct in6_addr)) == 0)
126 #define IN6_IS_ADDR_MULTICAST(a) ((a)->s6_addr[0] == 0xff) argument
131 #define IN6_IS_ADDR_UNSPECIFIED(a) \ argument
132 ((a)->__u6_addr.__u6_addr32[0] == 0 && \
133 (a)->__u6_addr.__u6_addr32[1] == 0 && \
134 (a)->__u6_addr.__u6_addr32[2] == 0 && \
135 (a)->__u6_addr.__u6_addr32[3] == 0)
140 #define IN6_IS_ADDR_LOOPBACK(a) \ argument
141 ((a)->__u6_addr.__u6_addr32[0] == 0 && \
[all …]
|
| D | tcp_seq.h | 43 #define SEQ_LT(a,b) ((int)((a)-(b)) < 0) argument
44 #define SEQ_LEQ(a,b) ((int)((a)-(b)) <= 0) argument
45 #define SEQ_GT(a,b) ((int)((a)-(b)) > 0) argument
46 #define SEQ_GEQ(a,b) ((int)((a)-(b)) >= 0) argument
48 #define SEQ_MIN(a, b) ((SEQ_LT(a, b)) ? (a) : (b)) argument
49 #define SEQ_MAX(a, b) ((SEQ_GT(a, b)) ? (a) : (b)) argument
52 #define TSTMP_LT(a,b) ((int)((a)-(b)) < 0) argument
53 #define TSTMP_GT(a,b) ((int)((a)-(b)) > 0) argument
54 #define TSTMP_GEQ(a,b) ((int)((a)-(b)) >= 0) argument
|
| /openthread-latest/tests/unit/ |
| D | test_linked_list.cpp | 136 Entry a("a", 1, kAlphaType), b("b", 2, kAlphaType), c("c", 3, kBetaType); in TestLinkedList() local
147 VerifyOrQuit(list.Find(a, prev) == kErrorNotFound, "succeeded when empty"); in TestLinkedList()
151 list.Push(a); in TestLinkedList()
153 VerifyLinkedListContent(&list, &a, nullptr); in TestLinkedList()
157 VerifyLinkedListContent(&list, &b, &a, nullptr); in TestLinkedList()
161 VerifyLinkedListContent(&list, &c, &b, &a, nullptr); in TestLinkedList()
164 VerifyLinkedListContent(&list, &d, &c, &b, &a, nullptr); in TestLinkedList()
167 VerifyLinkedListContent(&list, &e, &d, &c, &b, &a, nullptr); in TestLinkedList()
169 VerifyOrQuit(list.Add(a) == kErrorAlready, "did not detect duplicate"); in TestLinkedList()
175 VerifyLinkedListContent(&list, &d, &c, &b, &a, nullptr); in TestLinkedList()
[all …]
|
| /openthread-latest/third_party/mbedtls/repo/3rdparty/everest/include/everest/kremlib/ |
| D | FStar_UInt128.h | 26 FStar_UInt128_uint128 FStar_UInt128_add(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
29 FStar_UInt128_add_underspec(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
31 FStar_UInt128_uint128 FStar_UInt128_add_mod(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
33 FStar_UInt128_uint128 FStar_UInt128_sub(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
36 FStar_UInt128_sub_underspec(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
38 FStar_UInt128_uint128 FStar_UInt128_sub_mod(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
40 FStar_UInt128_uint128 FStar_UInt128_logand(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
42 FStar_UInt128_uint128 FStar_UInt128_logxor(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
44 FStar_UInt128_uint128 FStar_UInt128_logor(FStar_UInt128_uint128 a, FStar_UInt128_uint128 b);
46 FStar_UInt128_uint128 FStar_UInt128_lognot(FStar_UInt128_uint128 a);
[all …]
|
| /openthread-latest/third_party/mbedtls/repo/tests/suites/ |
| D | test_suite_common.function | 4 void fill_arrays(unsigned char *a, unsigned char *b, unsigned char *r1, unsigned char *r2, size_t n)
7 a[i] = (unsigned char) i * 3;
19 unsigned char *a = NULL, *b = NULL, *r1 = NULL, *r2 = NULL;
20 TEST_CALLOC(a, n + 1);
26 fill_arrays(a, b, r1, r2, n);
28 r1[i] = a[i] ^ b[i];
30 mbedtls_xor(r2, a, b, n);
33 /* Test r == a */
34 fill_arrays(a, b, r1, r2, n);
42 fill_arrays(a, b, r1, r2, n);
[all …]
|
| D | test_suite_bignum_mod.function | 9 #define TEST_COMPARE_MPI_RESIDUES(a, b) \
10 TEST_MEMORY_COMPARE((a).p, (a).limbs * sizeof(mbedtls_mpi_uint), \
237 mbedtls_mpi_mod_residue a = { NULL, 0 };
252 * with a non-zero final parameter. */
253 TEST_EQUAL(0, test_read_residue(&a, &m, input_A, expected_ret != 0));
267 mbedtls_mpi_mod_sub(&x, &a, &b, &m));
279 mbedtls_mpi_mod_sub(&x, &a, &b, &m));
285 /* Negative testing with too many/too few limbs in a and b is covered by
293 /* a - b => Correct result, or expected error */
294 TEST_EQUAL(expected_ret, mbedtls_mpi_mod_sub(&x, &a, &b, &m));
[all …]
|
| /openthread-latest/third_party/mbedtls/repo/tests/data_files/ |
| D | dh.optlen.pem | 5 80:0a:bf:e7:dc:66:7a:a1:7b:cd:7c:04:61:4b:c2:
6 21:a6:54:82:cc:c0:4b:60:46:02:b0:e1:31:90:8a:
7 93:8e:a1:1b:48:dc:51:5d:ab:7a:bc:bb:1e:0c:7f:
9 43:57:e1:c4:ea:07:a7:ce:1e:38:1a:2f:ca:fd:ff:
16 c8:75:5c:7a:46:8d:47:f5:6d:6d:b9:ea:01:29:24:
18 8e:e5:4e:eb:59:45:48:28:5f:06:a9:73:cb:be:2a:
19 0c:b0:2e:90:f3:23:fe:04:55:21:f3:4c:68:35:4a:
20 6d:3e:95:db:ff:f1:eb:64:69:2e:dc:0a:44:f3:d3:
25 b3:12:6a:ea:f4:71:53:c7:d6:7f:40:30:30:b2:92:
26 b5:bd:5a:6c:9e:ae:1c:13:7a:f3:40:87:fc:e2:a3:
[all …]
|
| /openthread-latest/third_party/mbedtls/repo/programs/ |
| D | README.md | 4 …ample programs that illustrate specific features of the library, as well as a few test and support…
20 …ey.c`](pkey/gen_key.c): generates a key for any of the supported public-key algorithms (RSA or ECC…
22 * [`pkey/key_app.c`](pkey/key_app.c): loads a PEM or DER public key or private key file and dumps i…
24 …app_writer.c`](pkey/key_app_writer.c): loads a PEM or DER public key or private key file and write…
26 …_decrypt.c`](pkey/pk_decrypt.c): loads a PEM or DER public/private key file and uses the key to en…
28 …y/pk_verify.c`](pkey/pk_verify.c): loads a PEM or DER private/public key file and uses the key to …
32 * [`pkey/ecdsa.c`](pkey/ecdsa.c): generates an ECDSA key, signs a fixed message and verifies the si…
34 …_decrypt.c): loads an RSA public/private key and uses it to encrypt/decrypt a short string through…
36 * [`pkey/rsa_genkey.c`](pkey/rsa_genkey.c): generates an RSA key and writes it to a file that can b…
38 …y/rsa_verify.c): loads an RSA private/public key and uses it to sign/verify a short string with th…
[all …]
|
| /openthread-latest/ |
| D | README.md | 7 …a href="https://www.threadgroup.org/What-is-Thread/Thread-Benefits#certifiedproducts"> <img src="h…
11 **...OS and platform agnostic**, with a narrow platform abstraction layer and a small memory footpr…
13 **...a Thread Certified Component**, implementing all features defined in the [Thread 1.4.0 specifi…
15 …hread can be found at [threadgroup.org](http://threadgroup.org/). Thread is a registered trademark…
30 …a href="https://www.amazon.com/"><img src="https://github.com/openthread/openthread/raw/main/doc/i…
38 - Learn how to build and configure a Thread network
39 - Port OpenThread to a new platform
41 - Certify a product using OpenThread
59 … accurately referencing this software distribution. Do not use the marks in a way that suggests yo…
|
| /openthread-latest/third_party/mbedtls/repo/ |
| D | .uncrustify.cfg | 82 # No space after a unary negation '-'
107 # No spaces inside the first parentheses in a function type
127 # At least 1 space before a '*' pointer star
133 # No space after a pointer star
136 # But allow a space in the case of e.g. char * const x;
139 # Remove space after star in a function return type
142 # At least 1 space after a type in variable definition etc
145 # Force exactly 1 space between a statement keyword (e.g. 'if') and an opening parenthesis
148 # Remove a space before a ';'
150 # (Uncrustify >= 0.73.0) Remove space before a semi in a non-empty for
[all …]
|
| D | CONTRIBUTING.md | 12 - [Changelog](#documentation): if needed, please provide a changelog entry.
13 - [Backports](#long-term-support-branches): provide a backport if needed (it's fine to wait until t…
17 …ibution passes basic tests before submission, and check the CI results after making a pull request.
18 - The code should be written in a clean and readable style, and must follow [our coding standards](…
19 - The code should be written in a portable generic way, that will benefit the whole community, and …
20 - The code should be secure, and will be reviewed from a security point of view as well.
22 Making a Contribution
24 …es) or [start a discussion](https://lists.trustedfirmware.org/mailman3/lists/mbed-tls.lists.truste…
25 … your changes. As a general rule, you should use the ["development" branch](https://github.com/Mbe…
26 1. Write a test which shows that the bug was fixed or that the feature works as expected.
[all …]
|
| D | .pylintrc | 8 argument-rgx=[a-z_][a-z0-9_]*$
21 method-rgx=[a-z_][a-z0-9_]{2,}$
23 # Allow module names containing a dash (but no underscore or uppercase letter).
26 module-rgx=(([a-z_][a-z0-9_]*)|([A-Z][a-zA-Z0-9]+)|[a-z][-0-9a-z]+)$
34 variable-rgx=[a-z_][a-z0-9_]*$
47 # * locally-disabled, locally-enabled: If we disable or enable a message
52 # This is of minor utility (mainly a performance gain when there are
65 # * unnecessary-pass: If we take the trouble of adding a line with "pass",
|
| /openthread-latest/third_party/mbedtls/repo/library/ |
| D | aesce.c | 410 #define vreinterpretq_u64_p64(a) ((uint64x2_t) a) argument
414 static inline poly128_t vmull_p64(poly64_t a, poly64_t b) in vmull_p64() argument
417 asm ("vmull.p64 %[r], %[a], %[b]" : [r] "=w" (r) : [a] "w" (a), [b] "w" (b) :); in vmull_p64()
424 static inline poly128_t vmull_high_p64(poly64x2_t a, poly64x2_t b) in vmull_high_p64() argument
426 return vmull_p64((poly64_t) (vget_high_u64((uint64x2_t) a)), in vmull_high_p64()
470 #define vreinterpretq_p64_u8(a) ((poly64x2_t) a) argument
471 #define vreinterpretq_u8_p128(a) ((uint8x16_t) a) argument
473 static inline poly64x1_t vget_low_p64(poly64x2_t a) in vget_low_p64() argument
475 uint64x1_t r = vget_low_u64(vreinterpretq_u64_p64(a)); in vget_low_p64()
490 #define MBEDTLS_VMULL_P64(a, b) vmull_p64((poly64_t) a, (poly64_t) b) argument
[all …]
|
| D | aria.c | 109 static inline void aria_a(uint32_t *a, uint32_t *b, in aria_a() argument
114 *b = *a; // 0123 in aria_a()
115 *a = ARIA_P2(ta); // 6745 in aria_a()
123 tc ^= ARIA_P1(*a); // 2301+7654 in aria_a()
126 *a ^= ARIA_P1(tb); // 3210+4567+6745+89ab+98ba+dcfe+efcd OUT in aria_a()
141 static inline void aria_sl(uint32_t *a, uint32_t *b, in aria_sl() argument
146 *a = ((uint32_t) sa[MBEDTLS_BYTE_0(*a)]) ^ in aria_sl()
147 (((uint32_t) sb[MBEDTLS_BYTE_1(*a)]) << 8) ^ in aria_sl()
148 (((uint32_t) sc[MBEDTLS_BYTE_2(*a)]) << 16) ^ in aria_sl()
149 (((uint32_t) sd[MBEDTLS_BYTE_3(*a)]) << 24); in aria_sl()
[all …]
|
| /openthread-latest/third_party/mbedtls/repo/framework/ |
| D | README.md | 3 This repository contains a version-independent build and test framework for [TF-PSA-Crypto](https:/…
5 You need this repository as a Git submodule in a branch of one of the above repositories if:
7 …tribute to Mbed TLS 3.6.0 or above, and you are working from a snapshot of a Git commit on a devel…
8 …est or contribute to TF-PSA-Crypto, and you are working from a snapshot of a Git commit on a devel…
13 * You want to build or test a release of Mbed TLS.
18 Unless specifically indicated otherwise in a file, Mbed TLS files are provided under a dual [Apache…
|
| /openthread-latest/third_party/mbedtls/repo/docs/architecture/psa-migration/ |
| D | psa-legacy-bridges.md | 10 …a design document. The target audience is library maintainers. See the companion document [“Transi…
15 * [OPEN] Open question: a specific aspect of the design where there are several plausible decisions.
27 In Mbed TLS 4.0, the cryptography will be provided by a separate project [TF-PSA-Crypto](https://gi…
40 * Only PSA supports isolating cryptographic material in a secure service.
45 …ion, many applications cannot be migrated in a single go. For large projects, it is impractical to…
53 …oducing encrypted or signed files, finding mutually supported algorithms in a network protocol neg…
61 * Creating a key with the legacy API and consuming it in the PSA API.
62 * Creating a key with the PSA API and consuming it in the legacy API.
67 The goal of this document is to bridge the legacy API and the PSA API. The goal is not to provide a…
86 …callback (returning `MBEDTLS_ERR_xxx`) on top of PSA functions, but this is a very limited use cas…
[all …]
|
| /openthread-latest/third_party/mbedtls/repo/docs/architecture/ |
| D | mbed-crypto-storage-specification.md | 5 Key storage was originally introduced in a product called Mbed Crypto, which was re-distributed via…
11 …ation from this document unless it has always been incorrect or it is about a version that you are…
28 * [Persistent transparent keys](#key-file-format-for-0.1.0) designated by a [slot number](#key-name…
31 This is a beta release, and we do not promise backward compatibility, with one exception:
33 > On Mbed OS, if a device has a nonvolatile random seed file produced with Mbed OS 5.11.x and is up…
39 Information about each key is stored in a dedicated file whose name is constructed from the key ide…
41 The valid values for a key identifier are the range from 1 to 0xfffeffff. This limitation on the ra…
47 There is a shared namespace for all callers.
53 The layout of a key file is:
66 The nonvolatile random seed file contains a seed for the random generator. If present, it is rewrit…
[all …]
|
| D | psa-storage-resilience.md | 5 …a persistent key store. It is possible to create a persistent key and read it back later. This mus…
7 …a system crash or power loss. That is, we assume that the underlying platform behaves nominally, e…
9 This document explores the problem space, defines a library design and a test design.
15 …any given point in time, the system is either in a state where the function has not started yet, o…
17 …a function returns, the data has been written to the persistent storage. As a consequence, if the …
19 …mple, if a key creation function in the PSA Crypto API reports to the application that a key has b…
23 PSA relies on a PSA ITS (Internal Trusted Storage) interface, which exposes a simple API. There are…
25 * `set()` writes a whole file (either creating it, or replacing the previous content).
26 * `remove()` removes a file (returning a specific error code if the file does not exist).
30 …atomic, the content of a file is always a version that was previously passed to `set()`. We do not…
[all …]
|
| /openthread-latest/third_party/mbedtls/repo/docs/proposed/ |
| D | psa-driver-interface.md | 4 …/#application-programming-interface), which describes the interface between a PSA Cryptography imp…
6 This specification is work in progress and should be considered to be in a beta stage. There is ong…
8 For a practical guide, with a description of the current state of drivers Mbed TLS, see our [PSA Cr…
14 …n interface that allows applications to perform cryptographic operations in a uniform way regardle…
16 …mpositionally. An implementation of the PSA Cryptography API is composed of a **core** and zero or…
24 …a transparent driver is available for a particular combination of parameters (cryptographic algori…
25 …hat can only be used inside a protected environment such as a **secure element**, a hardware secur…
35 …that operate on keys in cleartext; cryptoprocessors that can wrap keys with a built-in keys but no…
37 … with platform-specific hardware happen only inside the driver (and in fact a driver need not invo…
41 …erator drivers can specify that they do not fully support a cryptographic mechanism and that a fal…
[all …]
|
| D | psa-driver-developer-guide.md | 4 **This is a specification of work in progress. The implementation is not yet merged into Mbed TLS.**
5 For a description of the current state of drivers Mbed TLS, see our [PSA Cryptoprocessor driver dev…
9 This document focuses on behavior that is specific to Mbed TLS. For a reference of the interface be…
17 The PSA cryptography driver interface provides a way to build Mbed TLS with additional code that im…
21 …a transparent driver is available for a particular combination of parameters (cryptographic algori…
22 …hat can only be used inside a protected environment such as a **secure element**, a hardware secur…
24 ### Deliverables for a driver
26 …a driver, you need to implement some functions with C linkage, and to declare these functions in a…
28 The concrete syntax for a driver description file is JSON. The structure of this JSON file is speci…
43 …include complex preprocessor definitions to conditionally include header files for a given driver.
[all …]
|
| /openthread-latest/third_party/mbedtls/repo/docs/architecture/testing/ |
| D | driver-interface-test-strategy.md | 21 …a driver usable by Mbed TLS, the initialization code must call `psa_register_se_driver` with a str…
25 …the secure element driver interface. Note that a test case may cover multiple requirements; for ex…
27 …rface unit tests could be covered by running the existing API tests with a key in a secure element.
34 * Make at least one failing call to `psa_register_se_driver` followed by a successful call.
39 For each API function that can lead to a driver call (more precisely, for each driver method call s…
41 * Make at least one test with a key in a secure element that checks that the driver method is calle…
42 * Make at least one test with a key that is not in a secure element that checks that the driver met…
43 * Make at least one test with a key in a secure element with a driver that does not have the requis…
44 * Make at least one test with a key in a secure element with a driver that does not have the substr…
45 …e drivers with a key in each driver and check that the expected driver is called. This does not ne…
[all …]
|
| /openthread-latest/third_party/mbedtls/repo/tests/data_files/dir3/ |
| D | test-ca.crt | 17 58:08:94:a5:ec:9b:c5:8b:df:1a:1e:99:38:99:87:
21 ec:4a:63:c0:b8:29:00:74:9c:57:3b:a8:a5:04:90:
22 71:f1:bd:83:d9:3f:d6:a5:e2:3c:2a:8f:ef:27:60:
28 58:b1:54:0d:21:9a:73:37:a1:30:cf:6f:92:dc:f6:
46 1d:87:89:4a:c4:78:11:d8:07:b5:d7:22:50:8e:48:eb:62:7a:
49 09:3a:24:e4:36:d9:e9:2c:da:38:d0:73:75:61:d7:c1:6c:26:
51 2a:ce:2c:0d:08:59:05:09:05:a6:39:9f:b3:67:1b:e2:83:e5:
52 e1:8f:53:f6:67:93:c7:f9:6f:76:44:58:12:e8:3a:d4:97:e7:
53 e9:c0:3e:a8:7a:72:3d:87:53:1f:e5:2c:84:84:e7:9a:9e:7f:
55 35:cc:58:19:d1:d2:99:ef:4d:73:f8:1f:89:d4:5a:d0:52:ce:
[all …]
|
