diff options
author | Franziskus Kiefer <franziskuskiefer@gmail.com> | 2017-02-08 11:17:15 +0100 |
---|---|---|
committer | Franziskus Kiefer <franziskuskiefer@gmail.com> | 2017-02-08 11:17:15 +0100 |
commit | 0b281a3b0744b6c477aa1cbbde00d8910581f236 (patch) | |
tree | dfd20406072399d3af0ef7c170927f4f0266a53f /fuzz/mpi_sqr_target.cc | |
parent | 353a1a1cbca51f6fd056f5f4d0d5e2d49e65134b (diff) | |
download | nss-hg-0b281a3b0744b6c477aa1cbbde00d8910581f236.tar.gz |
Bug 1334106 - split mpi target, r=ttaubert
Differential Revision: https://nss-review.dev.mozaws.net/D189
Diffstat (limited to 'fuzz/mpi_sqr_target.cc')
-rw-r--r-- | fuzz/mpi_sqr_target.cc | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/fuzz/mpi_sqr_target.cc b/fuzz/mpi_sqr_target.cc new file mode 100644 index 000000000..1b8504085 --- /dev/null +++ b/fuzz/mpi_sqr_target.cc @@ -0,0 +1,53 @@ +/* This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ + +/* + * This target fuzzes NSS mpi against openssl bignum. + * It therefore requires openssl to be installed. + */ + +#include "mpi_helper.h" + +extern "C" int LLVMFuzzerTestOneInput(const uint8_t *data, size_t size) { + // We require at least size 2 to get an integers from Data. + if (size < 2) { + return 0; + } + mp_int a, c, r; + BN_CTX *ctx = BN_CTX_new(); + BN_CTX_start(ctx); + BIGNUM *A = BN_CTX_get(ctx); + BIGNUM *C = BN_CTX_get(ctx); + assert(mp_init(&a) == MP_OKAY); + assert(mp_init(&c) == MP_OKAY); + assert(mp_init(&r) == MP_OKAY); + size_t max_size = 4 * size + 1; + parse_input(data, size, A, &a); + + // Compare with OpenSSL sqr + assert(mp_sqr(&a, &c) == MP_OKAY); + (void)BN_sqr(C, A, ctx); + check_equal(C, &c, max_size); + + // Check a * a == a**2 + assert(mp_mul(&a, &a, &r) == MP_OKAY); + bool eq = mp_cmp(&r, &c) == 0; + if (!eq) { + char rC[max_size], cC[max_size], aC[max_size]; + mp_tohex(&r, rC); + mp_tohex(&c, cC); + mp_tohex(&a, aC); + std::cout << "a = " << std::hex << aC << std::endl; + std::cout << "a * a = " << std::hex << cC << std::endl; + std::cout << "a ** 2 = " << std::hex << rC << std::endl; + } + assert(eq); + mp_clear(&a); + mp_clear(&c); + mp_clear(&r); + BN_CTX_end(ctx); + BN_CTX_free(ctx); + + return 0; +} |