1 files changed, 26 insertions, 0 deletions
diff --git a/src/fuzzer/redc_p256.cpp b/src/fuzzer/redc_p256.cpp
new file mode 100644
index 000000000..b8d78e7bb
--- /dev/null
+++ b/src/fuzzer/redc_p256.cpp
@@ -0,0 +1,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*256/8)
+      return;
+
+   static const Botan::BigInt& prime = Botan::prime_p256();
+   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_p256, prime_redc, prime, x);
+      }
+   }