/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com) | |

* All rights reserved. | |

* | |

* This package is an SSL implementation written | |

* by Eric Young (eay@cryptsoft.com). | |

* The implementation was written so as to conform with Netscapes SSL. | |

* | |

* This library is free for commercial and non-commercial use as long as | |

* the following conditions are aheared to. The following conditions | |

* apply to all code found in this distribution, be it the RC4, RSA, | |

* lhash, DES, etc., code; not just the SSL code. The SSL documentation | |

* included with this distribution is covered by the same copyright terms | |

* except that the holder is Tim Hudson (tjh@cryptsoft.com). | |

* | |

* Copyright remains Eric Young's, and as such any Copyright notices in | |

* the code are not to be removed. | |

* If this package is used in a product, Eric Young should be given attribution | |

* as the author of the parts of the library used. | |

* This can be in the form of a textual message at program startup or | |

* in documentation (online or textual) provided with the package. | |

* | |

* Redistribution and use in source and binary forms, with or without | |

* modification, are permitted provided that the following conditions | |

* are met: | |

* 1. Redistributions of source code must retain the copyright | |

* notice, this list of conditions and the following disclaimer. | |

* 2. Redistributions in binary form must reproduce the above copyright | |

* notice, this list of conditions and the following disclaimer in the | |

* documentation and/or other materials provided with the distribution. | |

* 3. All advertising materials mentioning features or use of this software | |

* must display the following acknowledgement: | |

* "This product includes cryptographic software written by | |

* Eric Young (eay@cryptsoft.com)" | |

* The word 'cryptographic' can be left out if the rouines from the library | |

* being used are not cryptographic related :-). | |

* 4. If you include any Windows specific code (or a derivative thereof) from | |

* the apps directory (application code) you must include an acknowledgement: | |

* "This product includes software written by Tim Hudson (tjh@cryptsoft.com)" | |

* | |

* THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND | |

* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE | |

* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE | |

* ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE | |

* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL | |

* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS | |

* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) | |

* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT | |

* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY | |

* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF | |

* SUCH DAMAGE. | |

* | |

* The licence and distribution terms for any publically available version or | |

* derivative of this code cannot be changed. i.e. this code cannot simply be | |

* copied and put under another distribution licence | |

* [including the GNU Public Licence.] | |

*/ | |

/* ==================================================================== | |

* Copyright (c) 1998-2001 The OpenSSL Project. All rights reserved. | |

* | |

* Redistribution and use in source and binary forms, with or without | |

* modification, are permitted provided that the following conditions | |

* are met: | |

* | |

* 1. Redistributions of source code must retain the above copyright | |

* notice, this list of conditions and the following disclaimer. | |

* | |

* 2. Redistributions in binary form must reproduce the above copyright | |

* notice, this list of conditions and the following disclaimer in | |

* the documentation and/or other materials provided with the | |

* distribution. | |

* | |

* 3. All advertising materials mentioning features or use of this | |

* software must display the following acknowledgment: | |

* "This product includes software developed by the OpenSSL Project | |

* for use in the OpenSSL Toolkit. (http://www.openssl.org/)" | |

* | |

* 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to | |

* endorse or promote products derived from this software without | |

* prior written permission. For written permission, please contact | |

* openssl-core@openssl.org. | |

* | |

* 5. Products derived from this software may not be called "OpenSSL" | |

* nor may "OpenSSL" appear in their names without prior written | |

* permission of the OpenSSL Project. | |

* | |

* 6. Redistributions of any form whatsoever must retain the following | |

* acknowledgment: | |

* "This product includes software developed by the OpenSSL Project | |

* for use in the OpenSSL Toolkit (http://www.openssl.org/)" | |

* | |

* THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY | |

* EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE | |

* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR | |

* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR | |

* ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, | |

* SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT | |

* NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; | |

* LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) | |

* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, | |

* STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) | |

* ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED | |

* OF THE POSSIBILITY OF SUCH DAMAGE. | |

* ==================================================================== | |

* | |

* This product includes cryptographic software written by Eric Young | |

* (eay@cryptsoft.com). This product includes software written by Tim | |

* Hudson (tjh@cryptsoft.com). */ | |

#ifndef OPENSSL_HEADER_CRYPTO_INTERNAL_H | |

#define OPENSSL_HEADER_CRYPTO_INTERNAL_H | |

#include <openssl/ex_data.h> | |

#if defined(__cplusplus) | |

extern "C" { | |

#endif | |

/* st_CRYPTO_EX_DATA_IMPL contains an ex_data implementation. See the comments | |

* in ex_data.h for details of the behaviour of each of the functions. */ | |

struct st_CRYPTO_EX_DATA_IMPL { | |

int (*new_class)(void); | |

void (*cleanup)(void); | |

int (*get_new_index)(int class_value, long argl, void *argp, | |

CRYPTO_EX_new *new_func, CRYPTO_EX_dup *dup_func, | |

CRYPTO_EX_free *free_func); | |

int (*new_ex_data)(int class_value, void *obj, CRYPTO_EX_DATA *ad); | |

int (*dup_ex_data)(int class_value, CRYPTO_EX_DATA *to, | |

const CRYPTO_EX_DATA *from); | |

void (*free_ex_data)(int class_value, void *obj, CRYPTO_EX_DATA *ad); | |

}; | |

#if defined(_MSC_VER) | |

#define OPENSSL_U64(x) x##UI64 | |

#else | |

#if defined(OPENSSL_64_BIT) | |

#define OPENSSL_U64(x) x##UL | |

#else | |

#define OPENSSL_U64(x) x##ULL | |

#endif | |

#endif /* defined(_MSC_VER) */ | |

#if defined(OPENSSL_X86) || defined(OPENSSL_X86_64) || defined(OPENSSL_ARM) || \ | |

defined(OPENSSL_AARCH64) | |

/* OPENSSL_cpuid_setup initializes OPENSSL_ia32cap_P. */ | |

void OPENSSL_cpuid_setup(void); | |

#endif | |

#if !defined(inline) | |

#define inline __inline | |

#endif | |

/* Constant-time utility functions. | |

* | |

* The following methods return a bitmask of all ones (0xff...f) for true and 0 | |

* for false. This is useful for choosing a value based on the result of a | |

* conditional in constant time. For example, | |

* | |

* if (a < b) { | |

* c = a; | |

* } else { | |

* c = b; | |

* } | |

* | |

* can be written as | |

* | |

* unsigned int lt = constant_time_lt(a, b); | |

* c = constant_time_select(lt, a, b); */ | |

/* constant_time_msb returns the given value with the MSB copied to all the | |

* other bits. */ | |

static inline unsigned int constant_time_msb(unsigned int a) { | |

return (unsigned int)((int)(a) >> (sizeof(int) * 8 - 1)); | |

} | |

/* constant_time_lt returns 0xff..f if a < b and 0 otherwise. */ | |

static inline unsigned int constant_time_lt(unsigned int a, unsigned int b) { | |

/* Consider the two cases of the problem: | |

* msb(a) == msb(b): a < b iff the MSB of a - b is set. | |

* msb(a) != msb(b): a < b iff the MSB of b is set. | |

* | |

* If msb(a) == msb(b) then the following evaluates as: | |

* msb(a^((a^b)|((a-b)^a))) == | |

* msb(a^((a-b) ^ a)) == (because msb(a^b) == 0) | |

* msb(a^a^(a-b)) == (rearranging) | |

* msb(a-b) (because ∀x. x^x == 0) | |

* | |

* Else, if msb(a) != msb(b) then the following evaluates as: | |

* msb(a^((a^b)|((a-b)^a))) == | |

* msb(a^(𝟙 | ((a-b)^a))) == (because msb(a^b) == 1 and 𝟙 | |

* represents a value s.t. msb(𝟙) = 1) | |

* msb(a^𝟙) == (because ORing with 1 results in 1) | |

* msb(b) | |

* | |

* | |

* Here is an SMT-LIB verification of this formula: | |

* | |

* (define-fun lt ((a (_ BitVec 32)) (b (_ BitVec 32))) (_ BitVec 32) | |

* (bvxor a (bvor (bvxor a b) (bvxor (bvsub a b) a))) | |

* ) | |

* | |

* (declare-fun a () (_ BitVec 32)) | |

* (declare-fun b () (_ BitVec 32)) | |

* | |

* (assert (not (= (= #x00000001 (bvlshr (lt a b) #x0000001f)) (bvult a b)))) | |

* (check-sat) | |

* (get-model) | |

*/ | |

return constant_time_msb(a^((a^b)|((a-b)^a))); | |

} | |

/* constant_time_lt_8 acts like |constant_time_lt| but returns an 8-bit mask. */ | |

static inline uint8_t constant_time_lt_8(unsigned int a, unsigned int b) { | |

return (uint8_t)(constant_time_lt(a, b)); | |

} | |

/* constant_time_gt returns 0xff..f if a >= b and 0 otherwise. */ | |

static inline unsigned int constant_time_ge(unsigned int a, unsigned int b) { | |

return ~constant_time_lt(a, b); | |

} | |

/* constant_time_ge_8 acts like |constant_time_ge| but returns an 8-bit mask. */ | |

static inline uint8_t constant_time_ge_8(unsigned int a, unsigned int b) { | |

return (uint8_t)(constant_time_ge(a, b)); | |

} | |

/* constant_time_is_zero returns 0xff..f if a == 0 and 0 otherwise. */ | |

static inline unsigned int constant_time_is_zero(unsigned int a) { | |

/* Here is an SMT-LIB verification of this formula: | |

* | |

* (define-fun is_zero ((a (_ BitVec 32))) (_ BitVec 32) | |

* (bvand (bvnot a) (bvsub a #x00000001)) | |

* ) | |

* | |

* (declare-fun a () (_ BitVec 32)) | |

* | |

* (assert (not (= (= #x00000001 (bvlshr (is_zero a) #x0000001f)) (= a #x00000000)))) | |

* (check-sat) | |

* (get-model) | |

*/ | |

return constant_time_msb(~a & (a - 1)); | |

} | |

/* constant_time_is_zero_8 acts like constant_time_is_zero but returns an 8-bit | |

* mask. */ | |

static inline uint8_t constant_time_is_zero_8(unsigned int a) { | |

return (uint8_t)(constant_time_is_zero(a)); | |

} | |

/* constant_time_eq returns 0xff..f if a == b and 0 otherwise. */ | |

static inline unsigned int constant_time_eq(unsigned int a, unsigned int b) { | |

return constant_time_is_zero(a ^ b); | |

} | |

/* constant_time_eq_8 acts like |constant_time_eq| but returns an 8-bit mask. */ | |

static inline uint8_t constant_time_eq_8(unsigned int a, unsigned int b) { | |

return (uint8_t)(constant_time_eq(a, b)); | |

} | |

/* constant_time_eq_int acts like |constant_time_eq| but works on int values. */ | |

static inline unsigned int constant_time_eq_int(int a, int b) { | |

return constant_time_eq((unsigned)(a), (unsigned)(b)); | |

} | |

/* constant_time_eq_int_8 acts like |constant_time_eq_int| but returns an 8-bit | |

* mask. */ | |

static inline uint8_t constant_time_eq_int_8(int a, int b) { | |

return constant_time_eq_8((unsigned)(a), (unsigned)(b)); | |

} | |

/* constant_time_select returns (mask & a) | (~mask & b). When |mask| is all 1s | |

* or all 0s (as returned by the methods above), the select methods return | |

* either |a| (if |mask| is nonzero) or |b| (if |mask| is zero). */ | |

static inline unsigned int constant_time_select(unsigned int mask, | |

unsigned int a, unsigned int b) { | |

return (mask & a) | (~mask & b); | |

} | |

/* constant_time_select_8 acts like |constant_time_select| but operates on | |

* 8-bit values. */ | |

static inline uint8_t constant_time_select_8(uint8_t mask, uint8_t a, | |

uint8_t b) { | |

return (uint8_t)(constant_time_select(mask, a, b)); | |

} | |

/* constant_time_select_int acts like |constant_time_select| but operates on | |

* ints. */ | |

static inline int constant_time_select_int(unsigned int mask, int a, int b) { | |

return (int)(constant_time_select(mask, (unsigned)(a), (unsigned)(b))); | |

} | |

#if defined(__cplusplus) | |

} /* extern C */ | |

#endif | |

#endif /* OPENSSL_HEADER_CRYPTO_INTERNAL_H */ |