src/fuzzer/redc_p384.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

/*
* (C) 2015,2016 Jack Lloyd
*
* Botan is released under the Simplified BSD License (see license.txt)
*/

#include "fuzzers.h"
#include "redc_helper.h"
#include <botan/curve_nistp.h>

void fuzz(const uint8_t in[], size_t len)
   {
   if(len > 2*384/8)
      return;

   static const Botan::BigInt& prime = Botan::prime_p384();
   static const Botan::BigInt prime_2 = prime * prime;
   static Botan::Modular_Reducer prime_redc(prime);

   Botan::BigInt x = Botan::BigInt::decode(in, len);

   if(x < prime_2)
      {
      check_redc(Botan::redc_p384, prime_redc, prime, x);
      }
   }