|
1 | 1 | #![no_std]
|
| 2 | + |
| 3 | +use compiler_builtins::int::Int; |
| 4 | + |
| 5 | +use rand_xoshiro::rand_core::{RngCore, SeedableRng}; |
| 6 | +use rand_xoshiro::Xoshiro128StarStar; |
| 7 | + |
| 8 | +/// Random fuzzing step. When run several times, it results in excellent fuzzing entropy such as: |
| 9 | +/// 11110101010101011110111110011111 |
| 10 | +/// 10110101010100001011101011001010 |
| 11 | +/// 1000000000000000 |
| 12 | +/// 10000000000000110111110000001010 |
| 13 | +/// 1111011111111101010101111110101 |
| 14 | +/// 101111111110100000000101000000 |
| 15 | +/// 10000000110100000000100010101 |
| 16 | +/// 1010101010101000 |
| 17 | +fn fuzz_step<I: Int>(rng: &mut Xoshiro128StarStar, x: &mut I) { |
| 18 | + let ones = !I::ZERO; |
| 19 | + let bit_indexing_mask: u32 = I::BITS - 1; |
| 20 | + |
| 21 | + // Randomly OR, AND, and XOR randomly sized and shifted continuous strings of |
| 22 | + // ones with `lhs` and `rhs`. |
| 23 | + let r0 = bit_indexing_mask & rng.next_u32(); |
| 24 | + let r1 = bit_indexing_mask & rng.next_u32(); |
| 25 | + let mask = ones.wrapping_shl(r0).rotate_left(r1); |
| 26 | + match rng.next_u32() % 4 { |
| 27 | + 0 => *x |= mask, |
| 28 | + 1 => *x &= mask, |
| 29 | + // both 2 and 3 to make XORs as common as ORs and ANDs combined |
| 30 | + _ => *x ^= mask, |
| 31 | + } |
| 32 | + |
| 33 | + // Alternating ones and zeros (e.x. 0b1010101010101010). This catches second-order |
| 34 | + // problems that might occur for algorithms with two modes of operation (potentially |
| 35 | + // there is some invariant that can be broken and maintained via alternating between modes, |
| 36 | + // breaking the algorithm when it reaches the end). |
| 37 | + let mut alt_ones = I::ONE; |
| 38 | + for _ in 0..(I::BITS / 2) { |
| 39 | + alt_ones <<= 2; |
| 40 | + alt_ones |= I::ONE; |
| 41 | + } |
| 42 | + let r0 = bit_indexing_mask & rng.next_u32(); |
| 43 | + let r1 = bit_indexing_mask & rng.next_u32(); |
| 44 | + let mask = alt_ones.wrapping_shl(r0).rotate_left(r1); |
| 45 | + match rng.next_u32() % 4 { |
| 46 | + 0 => *x |= mask, |
| 47 | + 1 => *x &= mask, |
| 48 | + _ => *x ^= mask, |
| 49 | + } |
| 50 | +} |
| 51 | + |
| 52 | +/// Feeds a series of fuzzing inputs to `f`. The fuzzer first uses an algorithm designed to find |
| 53 | +/// corner cases, followed by a more random fuzzer that runs `n` times. |
| 54 | +pub fn fuzz<I: Int, F: Fn(I)>(n: usize, f: F) { |
| 55 | + // corner case tester. Calls `f` 210 times for u128. |
| 56 | + // zero gets skipped by the loop |
| 57 | + f(I::ZERO); |
| 58 | + for i0 in 0..I::FUZZ_NUM { |
| 59 | + let mask_lo = (!I::UnsignedInt::ZERO).wrapping_shr(I::FUZZ_LENGTHS[i0] as u32); |
| 60 | + for i1 in i0..I::FUZZ_NUM { |
| 61 | + let mask_hi = (!I::UnsignedInt::ZERO).wrapping_shl(I::FUZZ_LENGTHS[i1 - i0] as u32); |
| 62 | + f(I::from_unsigned(mask_lo & mask_hi)); |
| 63 | + } |
| 64 | + } |
| 65 | + |
| 66 | + // random fuzzer |
| 67 | + let mut rng = Xoshiro128StarStar::seed_from_u64(0); |
| 68 | + let mut x: I = Int::ZERO; |
| 69 | + for _ in 0..n { |
| 70 | + fuzz_step(&mut rng, &mut x); |
| 71 | + f(x) |
| 72 | + } |
| 73 | +} |
| 74 | + |
| 75 | +/// The same as `fuzz`, except `f` has two inputs. |
| 76 | +pub fn fuzz_2<I: Int, F: Fn(I, I)>(n: usize, f: F) { |
| 77 | + // The corner case tester is crucial for checking cases like where both inputs are equal and |
| 78 | + // equal to special values lik iX::MIN, which is unlikely for the random fuzzer to encounter. |
| 79 | + |
| 80 | + // Check cases where the first and second inputs are zero. Both call `f` 210 times for `u128`. |
| 81 | + for i0 in 0..I::FUZZ_NUM { |
| 82 | + let mask_lo = (!I::UnsignedInt::ZERO).wrapping_shr(I::FUZZ_LENGTHS[i0] as u32); |
| 83 | + for i1 in i0..I::FUZZ_NUM { |
| 84 | + let mask_hi = (!I::UnsignedInt::ZERO).wrapping_shl(I::FUZZ_LENGTHS[i1 - i0] as u32); |
| 85 | + f(I::ZERO, I::from_unsigned(mask_lo & mask_hi)); |
| 86 | + } |
| 87 | + } |
| 88 | + for i0 in 0..I::FUZZ_NUM { |
| 89 | + let mask_lo = (!I::UnsignedInt::ZERO).wrapping_shr(I::FUZZ_LENGTHS[i0] as u32); |
| 90 | + for i1 in i0..I::FUZZ_NUM { |
| 91 | + let mask_hi = (!I::UnsignedInt::ZERO).wrapping_shl(I::FUZZ_LENGTHS[i1 - i0] as u32); |
| 92 | + f(I::from_unsigned(mask_lo & mask_hi), I::ZERO); |
| 93 | + } |
| 94 | + } |
| 95 | + |
| 96 | + // Nested corner tester. Calls `f` 44100 times for `u128`. |
| 97 | + for i0 in 0..I::FUZZ_NUM { |
| 98 | + let mask0_lo = (!I::UnsignedInt::ZERO).wrapping_shr(I::FUZZ_LENGTHS[i0] as u32); |
| 99 | + for i1 in i0..I::FUZZ_NUM { |
| 100 | + let mask0_hi = (!I::UnsignedInt::ZERO).wrapping_shl(I::FUZZ_LENGTHS[i1 - i0] as u32); |
| 101 | + for i2 in 0..I::FUZZ_NUM { |
| 102 | + let mask1_lo = (!I::UnsignedInt::ZERO).wrapping_shr(I::FUZZ_LENGTHS[i2] as u32); |
| 103 | + for i3 in i2..I::FUZZ_NUM { |
| 104 | + let mask1_hi = |
| 105 | + (!I::UnsignedInt::ZERO).wrapping_shl(I::FUZZ_LENGTHS[i3 - i2] as u32); |
| 106 | + f( |
| 107 | + I::from_unsigned(mask0_lo & mask0_hi), |
| 108 | + I::from_unsigned(mask1_lo & mask1_hi), |
| 109 | + ); |
| 110 | + } |
| 111 | + } |
| 112 | + } |
| 113 | + } |
| 114 | + |
| 115 | + // random fuzzer |
| 116 | + let mut rng = Xoshiro128StarStar::seed_from_u64(0); |
| 117 | + let mut x: I = I::ZERO; |
| 118 | + let mut y: I = I::ZERO; |
| 119 | + for _ in 0..n { |
| 120 | + // the rng has less overhead when updating only one of the inputs for every pass |
| 121 | + if (rng.next_u32() & 1) == 0 { |
| 122 | + fuzz_step(&mut rng, &mut x); |
| 123 | + } else { |
| 124 | + fuzz_step(&mut rng, &mut y); |
| 125 | + } |
| 126 | + f(x, y) |
| 127 | + } |
| 128 | +} |
| 129 | + |
| 130 | +/// Tester for shift functions |
| 131 | +pub fn fuzz_shift<I: Int, F: Fn(I, u32)>(f: F) { |
| 132 | + // Shift functions are very simple and do not need anything other than shifting a small |
| 133 | + // set of random patterns for every fuzz length. |
| 134 | + let mut rng = Xoshiro128StarStar::seed_from_u64(0); |
| 135 | + let mut x: I = Int::ZERO; |
| 136 | + for i in 0..I::FUZZ_NUM { |
| 137 | + fuzz_step(&mut rng, &mut x); |
| 138 | + f(x, I::FUZZ_LENGTHS[i] as u32); |
| 139 | + } |
| 140 | +} |
0 commit comments