aboutsummaryrefslogtreecommitdiffstats
path: root/src/fuzzer/x509_dn.cpp
blob: dca6352e9d3c0f69d86ad93743bb9f78ed3b0047 (plain)
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
/*
* (C) 2019 Jack Lloyd
*
* Botan is released under the Simplified BSD License (see license.txt)
*/

#include "fuzzers.h"
#include <botan/x509_dn.h>
#include <botan/ber_dec.h>
#include <botan/hex.h>

void fuzz(const uint8_t in[], size_t len)
   {
   const size_t half = len / 2;
   Botan::X509_DN dn1;
   Botan::X509_DN dn2;

   try
      {
      Botan::BER_Decoder ber1(in, half);
      dn1.decode_from(ber1);
      ber1.verify_end();

      Botan::BER_Decoder ber2(in + half, half);
      dn2.decode_from(ber2);
      ber2.verify_end();
      }
   catch(...) { return; }

   const bool eq = dn1 == dn2;
   const bool lt1 = dn1 < dn2;
   const bool lt2 = dn2 < dn1;

   if(lt1 == false && lt2 == false)
      {
      FUZZER_ASSERT_TRUE(eq);
      }
   else
      {
      // one is less than the other
      FUZZER_ASSERT_TRUE(lt1 || lt2);

      // it is not the case that both are less than the other
      FUZZER_ASSERT_TRUE(!lt1 || !lt2);
      }
   }