/* * (C) 2015,2016 Jack Lloyd * * Botan is released under the Simplified BSD License (see license.txt) */ #include "fuzzers.h" #include <botan/reducer.h> #include <botan/curve_nistp.h> void fuzz(const uint8_t in[], size_t len) { if(len > 2*(521+7)/8) return; static const Botan::BigInt& prime = Botan::prime_p521(); static const Botan::BigInt prime_2 = prime * prime; static Botan::Modular_Reducer prime_redc(prime); Botan::BigInt input = Botan::BigInt::decode(in, len); if(input < prime_2) { const Botan::BigInt ref = prime_redc.reduce(input); Botan::secure_vector<Botan::word> ws; Botan::redc_p521(input, ws); FUZZER_ASSERT_EQUAL(ref, input); } }