| | | 1 | | // Licensed to the .NET Foundation under one or more agreements. |
| | | 2 | | // The .NET Foundation licenses this file to you under the MIT license. |
| | | 3 | | |
| | | 4 | | using System.Buffers; |
| | | 5 | | using System.Numerics; |
| | | 6 | | using System.Runtime.CompilerServices; |
| | | 7 | | using System.Runtime.InteropServices; |
| | | 8 | | |
| | | 9 | | namespace DotnetFuzzing.Fuzzers; |
| | | 10 | | |
| | | 11 | | internal sealed class SearchValuesByteCharFuzzer : IFuzzer |
| | | 12 | | { |
| | 0 | 13 | | public string[] TargetAssemblies => []; |
| | 1 | 14 | | public string[] TargetCoreLibPrefixes { get; } = ["System.Buffers", "System.SpanHelpers", "System.PackedSpanHelpers" |
| | | 15 | | |
| | | 16 | | public unsafe void FuzzTarget(ReadOnlySpan<byte> bytes) |
| | 8511 | 17 | | { |
| | 8511 | 18 | | int newLine = bytes.IndexOf((byte)'\n'); |
| | 8511 | 19 | | if (newLine < 0) |
| | 32 | 20 | | { |
| | 32 | 21 | | return; |
| | | 22 | | } |
| | | 23 | | |
| | 8479 | 24 | | ReadOnlySpan<byte> haystack = bytes.Slice(newLine + 1); |
| | 8479 | 25 | | ReadOnlySpan<byte> values = bytes.Slice(0, newLine); |
| | | 26 | | |
| | 8479 | 27 | | using var byteHaystack0 = PooledBoundedMemory<byte>.Rent(haystack, PoisonPagePlacement.Before); |
| | 8479 | 28 | | using var byteHaystack1 = PooledBoundedMemory<byte>.Rent(haystack, PoisonPagePlacement.After); |
| | | 29 | | |
| | 8479 | 30 | | Test(byteHaystack0.Span, byteHaystack1.Span, values, SearchValues.Create(values)); |
| | | 31 | | |
| | 8479 | 32 | | if ((nuint)Unsafe.AsPointer(ref MemoryMarshal.GetReference(haystack)) % 2 != 0 && !haystack.IsEmpty) |
| | 4486 | 33 | | { |
| | | 34 | | // Ensure that the haystack is 2-byte aligned now that we're about to cast it to chars. |
| | 4486 | 35 | | haystack = haystack.Slice(1); |
| | 4486 | 36 | | } |
| | | 37 | | |
| | 8479 | 38 | | using var charHaystack0 = PooledBoundedMemory<char>.Rent(MemoryMarshal.Cast<byte, char>(haystack), PoisonPagePla |
| | 8479 | 39 | | using var charHaystack1 = PooledBoundedMemory<char>.Rent(MemoryMarshal.Cast<byte, char>(haystack), PoisonPagePla |
| | | 40 | | |
| | 8479 | 41 | | ReadOnlySpan<char> charValues = MemoryMarshal.Cast<byte, char>(values); |
| | 8479 | 42 | | Test(charHaystack0.Span, charHaystack1.Span, charValues, SearchValues.Create(charValues)); |
| | 16990 | 43 | | } |
| | | 44 | | |
| | | 45 | | private static void Test<T>(ReadOnlySpan<T> haystack, ReadOnlySpan<T> haystackCopy, ReadOnlySpan<T> values, SearchVa |
| | | 46 | | where T : struct, INumber<T>, IMinMaxValue<T> |
| | 16958 | 47 | | { |
| | 16958 | 48 | | int indexOfAny = haystack.IndexOfAny(searchValues); |
| | 16958 | 49 | | int indexOfAnyExcept = haystack.IndexOfAnyExcept(searchValues); |
| | 16958 | 50 | | int lastIndexOfAny = haystack.LastIndexOfAny(searchValues); |
| | 16958 | 51 | | int lastIndexOfAnyExcept = haystack.LastIndexOfAnyExcept(searchValues); |
| | | 52 | | |
| | 16958 | 53 | | Assert.Equal(indexOfAny, haystackCopy.IndexOfAny(searchValues)); |
| | 16958 | 54 | | Assert.Equal(indexOfAnyExcept, haystackCopy.IndexOfAnyExcept(searchValues)); |
| | 16958 | 55 | | Assert.Equal(lastIndexOfAny, haystackCopy.LastIndexOfAny(searchValues)); |
| | 16958 | 56 | | Assert.Equal(lastIndexOfAnyExcept, haystackCopy.LastIndexOfAnyExcept(searchValues)); |
| | | 57 | | |
| | 16958 | 58 | | Assert.Equal(IndexOfAnyScalar(haystack, searchValues), indexOfAny); |
| | 16958 | 59 | | Assert.Equal(IndexOfAnyExceptScalar(haystack, searchValues), indexOfAnyExcept); |
| | 16958 | 60 | | Assert.Equal(LastIndexOfAnyScalar(haystack, searchValues), lastIndexOfAny); |
| | 16958 | 61 | | Assert.Equal(LastIndexOfAnyExceptScalar(haystack, searchValues), lastIndexOfAnyExcept); |
| | | 62 | | |
| | 16958 | 63 | | Assert.Equal(indexOfAny >= 0, lastIndexOfAny >= 0); |
| | 16958 | 64 | | Assert.Equal(indexOfAnyExcept >= 0, lastIndexOfAnyExcept >= 0); |
| | | 65 | | |
| | 16958 | 66 | | Assert.Equal(indexOfAny >= 0, haystack.ContainsAny(searchValues)); |
| | 16958 | 67 | | Assert.Equal(indexOfAnyExcept >= 0, haystack.ContainsAnyExcept(searchValues)); |
| | | 68 | | |
| | 16958 | 69 | | if (!values.IsEmpty) |
| | 16536 | 70 | | { |
| | 16536 | 71 | | Assert.Equal(0, values.IndexOfAny(searchValues)); |
| | 16536 | 72 | | Assert.Equal(-1, values.IndexOfAnyExcept(searchValues)); |
| | 16536 | 73 | | } |
| | 16958 | 74 | | } |
| | | 75 | | |
| | | 76 | | private static int IndexOfAnyScalar<T>(ReadOnlySpan<T> haystack, SearchValues<T> values) |
| | | 77 | | where T : IEquatable<T> |
| | 16958 | 78 | | { |
| | 2330078 | 79 | | for (int i = 0; i < haystack.Length; i++) |
| | 1157930 | 80 | | { |
| | 1157930 | 81 | | if (values.Contains(haystack[i])) |
| | 9849 | 82 | | { |
| | 9849 | 83 | | return i; |
| | | 84 | | } |
| | 1148081 | 85 | | } |
| | | 86 | | |
| | 7109 | 87 | | return -1; |
| | 16958 | 88 | | } |
| | | 89 | | |
| | | 90 | | private static int IndexOfAnyExceptScalar<T>(ReadOnlySpan<T> haystack, SearchValues<T> values) |
| | | 91 | | where T : IEquatable<T> |
| | 16958 | 92 | | { |
| | 1123690 | 93 | | for (int i = 0; i < haystack.Length; i++) |
| | 558094 | 94 | | { |
| | 558094 | 95 | | if (!values.Contains(haystack[i])) |
| | 13207 | 96 | | { |
| | 13207 | 97 | | return i; |
| | | 98 | | } |
| | 544887 | 99 | | } |
| | | 100 | | |
| | 3751 | 101 | | return -1; |
| | 16958 | 102 | | } |
| | | 103 | | |
| | | 104 | | private static int LastIndexOfAnyScalar<T>(ReadOnlySpan<T> haystack, SearchValues<T> values) |
| | | 105 | | where T : IEquatable<T> |
| | 16958 | 106 | | { |
| | 2487714 | 107 | | for (int i = haystack.Length - 1; i >= 0; i--) |
| | 1236748 | 108 | | { |
| | 1236748 | 109 | | if (values.Contains(haystack[i])) |
| | 9849 | 110 | | { |
| | 9849 | 111 | | return i; |
| | | 112 | | } |
| | 1226899 | 113 | | } |
| | | 114 | | |
| | 7109 | 115 | | return -1; |
| | 16958 | 116 | | } |
| | | 117 | | |
| | | 118 | | private static int LastIndexOfAnyExceptScalar<T>(ReadOnlySpan<T> haystack, SearchValues<T> values) |
| | | 119 | | where T : IEquatable<T> |
| | 16958 | 120 | | { |
| | 908022 | 121 | | for (int i = haystack.Length - 1; i >= 0; i--) |
| | 450260 | 122 | | { |
| | 450260 | 123 | | if (!values.Contains(haystack[i])) |
| | 13207 | 124 | | { |
| | 13207 | 125 | | return i; |
| | | 126 | | } |
| | 437053 | 127 | | } |
| | | 128 | | |
| | 3751 | 129 | | return -1; |
| | 16958 | 130 | | } |
| | | 131 | | } |