1 files changed, 23 insertions, 0 deletions
diff --git a/src/extra_tests/fuzzers/jigs/redc_p384.cpp b/src/extra_tests/fuzzers/jigs/redc_p384.cpp
new file mode 100644
index 000000000..9a9ac896a
--- /dev/null
+++ b/src/extra_tests/fuzzers/jigs/redc_p384.cpp
@@ -0,0 +1,23 @@
+/*
+* (C) 2015,2016 Jack Lloyd
+*
+* Botan is released under the Simplified BSD License (see license.txt)
+*/
+
+#include "driver.h"
+#include "ecc_helper.h"
+#include <botan/curve_nistp.h>
+
+void fuzz(const uint8_t in[], size_t len)
+   {
+   static const BigInt& prime = Botan::prime_p384();
+   static const 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);
+      }
+   }