Home
last modified time | relevance | path

Searched full:a (Results 1 – 25 of 2502) sorted by relevance

12345678910>>...101

/openthread-latest/third_party/mbedtls/repo/3rdparty/everest/library/kremlib/
DFStar_UInt128_extracted.c25 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 …]
/openthread-latest/third_party/mbedtls/repo/tests/suites/
Dtest_suite_bignum_mod.misc.data10 Test mpi_mod_mul #1 N->limbs != A->limbs
19 mpi_mod_sub base case for negative testing (N, a, b all >= 1 limb)
40 mbedtls_mpi_mod_inv non-Mont. form - base case for negative testing (N, A, A^-1)
43 mbedtls_mpi_mod_inv non-Mont. form - A == 0
46 mbedtls_mpi_mod_inv non-Mont. form - A too long
49 mbedtls_mpi_mod_inv non-Mont. form - A too short
52 mbedtls_mpi_mod_inv 32-bit Mont. form - base case for negative testing, A = 1 (N, mont(A), mont(A^-…
56 mbedtls_mpi_mod_inv 32-bit Mont. form - A == 0
60 mbedtls_mpi_mod_inv 32-bit Mont. form - A too long
64 mbedtls_mpi_mod_inv 32-bit Mont. form - A too short
[all …]
Dtest_suite_bignum_core.function10 * \param[in] A Little-endian presentation of the left operand.
12 * \param limbs Number of limbs in each MPI (\p A, \p B, \p S and \p X).
19 static int mpi_core_verify_add(mbedtls_mpi_uint *A,
28 size_t bytes = limbs * sizeof(*A);
30 /* The test cases have A <= B to avoid repetition, so we test A + B then,
31 * if A != B, B + A. If A == B, we can test when A and B are aliased */
33 /* A + B */
35 /* A + B => correct result and carry */
36 TEST_EQUAL(carry, mbedtls_mpi_core_add(X, A, B, limbs));
39 /* A + B; alias output and first operand => correct result and carry */
[all …]
/openthread-latest/third_party/mbedtls/repo/docs/proposed/
Dpsa-driver-interface.md4 …/#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…
24a 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…
33 …the code of each driver and of the core separately, and link them together. A small amount of glue…
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…
[all …]
/openthread-latest/third_party/mbedtls/repo/include/psa/
Dcrypto_se_driver.h7 * This is meant for cryptoprocessors that have a separate key storage from the
13 * to be called in a standardized way by a PSA Cryptography API
38 * Driver functions receive a pointer to this structure.
45 /** A read-only pointer to the driver's persistent data.
48 * which slot numbers are available. This is only a guideline:
52 * certain functions that receive a writable pointer to the
55 * The core allocates a memory buffer for the persistent data.
57 * like a pointer returned by `malloc` (but the core can use any
64 * the persistent data is all-bits-zero. After a driver upgrade, if the
69 * This pointer is to read-only data. Only a few driver functions are
[all …]
Dcrypto_values.h17 * policies). As a consequence, they must not be changed (unless the storage
45 * If you must add a new
51 * (e.g. adding a space after casts).
66 /** The requested operation or a parameter is not supported
70 * parameter such as a key type, algorithm, etc. is not recognized.
71 * If a combination of parameters is recognized and identified as
75 /** The requested action is denied by a policy.
78 * are recognized as valid and supported, and a policy explicitly
81 * If a subset of the parameters of a function call identify a
91 * description to determine a sufficient buffer size.
[all …]
/openthread-latest/third_party/mbedtls/repo/library/
Dbignum_core.h9 * This module is about processing non-negative integers with a fixed upper
10 * bound that's of the form 2^n-1 where n is a multiple of #biL.
11 * These can be thought of integers written in base 2^#biL with a fixed
14 * a number modulo 2^n or a smaller bound.
24 * limbs. A limb has the type #mbedtls_mpi_uint. Unless otherwise specified:
25 * - Bignum parameters called \p A, \p B, ... are inputs, and are
34 * - \p T is a temporary storage area. The initial content of such
37 * Most functions work on bignums of a given size and take a single
40 * #SIZE_MAX. The behavior if a size is 0 is undefined. The behavior if the
45 * inputs. As an exception, parameters that are documented as a modulus value
[all …]
Dsha256.c17 #if defined(__ARM_ARCH) && (__ARM_ARCH_PROFILE == 'A')
82 # error "Must use minimum -march=armv8-a+crypto for MBEDTLS_SHA256_USE_ARMV8_A_CRYPTO_*"
88 # error "A more recent Clang is required for MBEDTLS_SHA256_USE_ARMV8_A_CRYPTO_*"
97 # error "A more recent GCC is required for MBEDTLS_SHA256_USE_ARMV8_A_CRYPTO_*"
100 # pragma GCC target ("arch=armv8-a+crypto")
170 * Armv8-A SHA256 support detection via SIGILL
196 /* If this traps, we will return a second time from setjmp() with 1 */ in mbedtls_a64_crypto_sha256_determine_support()
422 * This function is for internal use only if we are building both C and Armv8-A
473 #define P(a, b, c, d, e, f, g, h, x, K) \ argument
477 local.temp2 = S2(a) + F0((a), (b), (c)); \
[all …]
/openthread-latest/include/openthread/
Dudp.h18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
63 * Represents a UDP receiver.
67 struct otUdpReceiver *mNext; ///< A pointer to the next UDP receiver (internal use only).
68 otUdpHandler mHandler; ///< A function pointer to the receiver callback.
69 void *mContext; ///< A pointer to application-specific context.
73 * Adds a UDP receiver.
75 * @param[in] aInstance A pointer to an OpenThread instance.
76 * @param[in] aUdpReceiver A pointer to the UDP receiver.
84 * Removes a UDP receiver.
86 * @param[in] aInstance A pointer to an OpenThread instance.
[all …]
Dcoap.h18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
150 * Represents a CoAP option.
326 * Pointer is called when a CoAP response is received or on the request timeout.
328 * @param[in] aContext A pointer to application-specific context.
329 …* @param[in] aMessage A pointer to the message buffer containing the response. NULL if no re…
330 …* @param[in] aMessageInfo A pointer to the message info for @p aMessage. NULL if no response was…
331 * @param[in] aResult A result of the CoAP transaction.
333 * @retval OT_ERROR_NONE A response was received successfully.
334 * @retval OT_ERROR_ABORT A CoAP transaction was reset by peer.
343 * Pointer is called when a CoAP request with a given Uri-Path is received.
[all …]
Dthread.h18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
70 * Represents a Thread device role.
75 OT_DEVICE_ROLE_DETACHED = 1, ///< Not currently participating in a Thread network/partition.
92 * Holds diagnostic information for a neighboring Thread node
112 bool mIsChild : 1; ///< Is the neighbor a child
132 * Holds diagnostic information for a Thread Router
178 … uint16_t mBetterPartitionAttachAttempts; ///< Number of attempts to attach to a better partition.
179 …uint16_t mBetterParentAttachAttempts; ///< Number of attempts to attach to find a better parent…
196 …* A parent change can happen if device detaches from its current parent and attaches to a differen…
221 * @param[in] aContext A pointer to application-specific context.
[all …]
Dsrp_server.h18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
58 * This opaque type represents a SRP service host.
63 * This opaque type represents a SRP service.
68 * The ID of a SRP service update transaction on the SRP Server.
115 * Includes SRP server lease information of a host/service.
119 uint32_t mLease; ///< The lease time of a host/service in milliseconds.
120 uint32_t mKeyLease; ///< The key lease time of a host/service in milliseconds.
122 … uint32_t mRemainingKeyLease; ///< The remaining key lease time of a host/service in milliseconds.
142 * A trailing dot is always appended even if the domain is set without it.
144 * @param[in] aInstance A pointer to an OpenThread instance.
[all …]
Dcoap_secure.h18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
85 * @param[in] aContext A pointer to arbitrary context information.
93 * @param[in] aContext A pointer to arbitrary context information.
100 * @param[in] aInstance A pointer to an OpenThread instance.
111 * @param[in] aInstance A pointer to an OpenThread instance.
115 * @param[in] aContext A pointer to arbitrary context to use with @p aCallback.
129 * @param[in] aInstance A pointer to an OpenThread instance.
139 * @param[in] aInstance A pointer to an OpenThread instance.
140 * @param[in] aPsk A pointer to the PSK.
157 * @param[in] aInstance A pointer to an OpenThread instance.
[all …]
/openthread-latest/tests/scripts/thread-cert/pktverify/
Daddrs.py19 # IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
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))
[all …]
/openthread-latest/src/core/common/
Dtlvs.hpp18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
114 * Returns a pointer to the Value.
118 * @returns A pointer to the value.
123 * Returns a pointer to the Value.
127 * @returns A pointer to the value.
132 * Returns a pointer to the next TLV.
136 * @returns A pointer to the next TLV.
141 * Returns a pointer to the next TLV.
145 * @returns A pointer to the next TLV.
153 * Appends a TLV to the end of the message.
[all …]
Dstring.hpp18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
82 * @param[in] aString A pointer to the string.
91 * Finds the first occurrence of a given character in a null-terminated string.
93 * @param[in] aString A pointer to the string.
94 * @param[in] aChar A char to search for in the string.
101 * Finds the first occurrence of a given sub-string in a null-terminated string.
103 * @param[in] aString A pointer to the string.
104 * @param[in] aSubString A sub-string to search for.
113 * Checks whether a null-terminated string starts with a given prefix string.
115 * @param[in] aString A pointer to the string.
[all …]
/openthread-latest/src/core/thread/
Dneighbor_table.hpp18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
52 * Pointer is called to notify that a child or router neighbor is being added to or removed from
61 …* Represents a neighbor table entry info (child or router) and is used as a parameter in the neigh…
67 * Defines the constants used in `NeighborTable::Callback` to indicate whether a child or router
72 kChildAdded = OT_NEIGHBOR_TABLE_EVENT_CHILD_ADDED, ///< A child is being added.
73 … kChildRemoved = OT_NEIGHBOR_TABLE_EVENT_CHILD_REMOVED, ///< A child is being removed.
75 … kRouterAdded = OT_NEIGHBOR_TABLE_EVENT_ROUTER_ADDED, ///< A router is being added.
76 … kRouterRemoved = OT_NEIGHBOR_TABLE_EVENT_ROUTER_REMOVED, ///< A router is being removed.
82 * @param[in] aInstance A reference to the OpenThread instance.
87 … * Searches among parent and parent candidate to find a `Neighbor` corresponding to a given short
[all …]
Dchild_table.hpp18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
70 * @param[in] aInstance A reference to the OpenThread instance.
71 * @param[in] aFilter A child state filter.
83 … * @returns A pointer to the `Child` entry, or `nullptr` if the iterator is done and/or empty.
100 * Initializes a `ChildTable` instance.
102 * @param[in] aInstance A reference to the OpenThread instance.
112 * Returns the child table index for a given `Child` instance.
114 * @param[in] aChild A reference to a `Child`
121 …* Returns a pointer to a `Child` entry at a given index, or `nullptr` if the index is out of bound…
124 * @param[in] aChildIndex A child index.
[all …]
/openthread-latest/third_party/mbedtls/repo/docs/architecture/psa-migration/
Dpsa-legacy-bridges.md10a design document. The target audience is library maintainers. See the companion document [“Transi…
14 * [TODO] A part of the analysis that isn't finished.
15 * [OPEN] Open question: a specific aspect of the design where there are several plausible decisions.
16 * [ACTION] A finalized part of the design that will need to be carried out.
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.
[all …]
/openthread-latest/src/core/coap/
Dcoap.hpp18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
66 …* Represents a function pointer which is called when a CoAP response is received or on the request…
73 …* Represents a function pointer which is called when a CoAP request associated with a given URI pa…
90 * Converts a pointer to `otCoapTxParameters` to `Coap::TxParamters`
94 * @param[in] aTxParameters A pointer to tx parameter.
96 …* @returns A reference to corresponding `TxParamters` if @p aTxParameters is not `nullptr`, other…
144 * @param[in] aUriPath A pointer to a null-terminated string for the URI path.
145 …* @param[in] aHandler A function pointer that is called when receiving a CoAP message for @p aUr…
146 * @param[in] aContext A pointer to arbitrary context information.
153 * @param[in] aUri A Thread URI.
[all …]
/openthread-latest/third_party/mbedtls/repo/programs/
DREADME.md4 …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/third_party/mbedtls/repo/docs/architecture/
Dpsa-storage-resilience.md5a persistent key store. It is possible to create a persistent key and read it back later. This mus…
7a 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…
17a 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/tests/unit/
Dtest_linked_list.cpp18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
88 // This function verifies the content of the linked list matches a given list of entries.
127 VerifyOrQuit(!aList->ContainsMatching("none"), "succeeded for a missing entry"); in VerifyLinkedListContent()
128 VerifyOrQuit(!aList->ContainsMatching(unusedId), "succeeded for a missing entry"); in VerifyLinkedListContent()
130 VerifyOrQuit(aList->FindMatching("none") == nullptr, "succeeded for a missing entry"); in VerifyLinkedListContent()
131 VerifyOrQuit(aList->FindMatching(unusedId) == nullptr, "succeeded for a missing entry"); in VerifyLinkedListContent()
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()
[all …]
/openthread-latest/third_party/mbedtls/repo/docs/architecture/psa-thread-safety/
Dpsa-thread-safety.md5 …s been implemented. Implementations which only ever call PSA functions from a single thread are no…
11 …- Key slots are protected by a global mutex, as described in [Key store consistency and abstractio…
37a system is thread-safe if any valid set of concurrent calls is handled as if the effect and retur…
47 There is no busy-waiting in our implementation, every API call completes in a finite number of step…
59 > * A call to `psa_destroy_key()` must not overlap with a concurrent call to any of the following f…
60 > - Any call where the same key identifier is a parameter to the call.
61 > - Any call in a multi-part operation, where the same key identifier was used as a parameter t…
69 …e: suppose two calls are executed concurrently which both attempt to create a new key with the sam…
74 > If the application concurrently modifies an input parameter while a function call is in progress,…
78 …from a single thread, or which protect all PSA calls using a mutex, are not affected by this new f…
[all …]
/openthread-latest/src/core/net/
Dip6_address.hpp18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
76 … * Generates and sets the Network Prefix to a crypto-secure random Unique Local Address (ULA) based
79 * @retval kErrorNone Successfully generated a random ULA Network Prefix
93 static constexpr uint8_t kMaxSize = OT_IP6_ADDRESS_SIZE; ///< Max (byte) size of a prefix.
94 …static constexpr uint8_t kMaxLength = kMaxSize * kBitsPerByte; ///< Max length of a prefix in bits.
104 * Gets the prefix as a pointer to a byte array.
106 * @returns A pointer to a byte array containing the Prefix.
134 * @param[in] aPrefix A pointer to buffer containing the prefix bytes.
140 * Sets the prefix from a given Network Prefix.
142 * @param[in] aNetworkPrefix A Network Prefix.
[all …]

12345678910>>...101