diff options
Diffstat (limited to 'src/main/java/com/code_intelligence/jazzer/mutation/api/SerializingInPlaceMutator.java')
-rw-r--r-- | src/main/java/com/code_intelligence/jazzer/mutation/api/SerializingInPlaceMutator.java | 76 |
1 files changed, 76 insertions, 0 deletions
diff --git a/src/main/java/com/code_intelligence/jazzer/mutation/api/SerializingInPlaceMutator.java b/src/main/java/com/code_intelligence/jazzer/mutation/api/SerializingInPlaceMutator.java new file mode 100644 index 00000000..b7bc4d4c --- /dev/null +++ b/src/main/java/com/code_intelligence/jazzer/mutation/api/SerializingInPlaceMutator.java @@ -0,0 +1,76 @@ +/* + * Copyright 2023 Code Intelligence GmbH + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +package com.code_intelligence.jazzer.mutation.api; + +import static com.code_intelligence.jazzer.mutation.support.ExceptionSupport.asUnchecked; + +import com.google.errorprone.annotations.ForOverride; +import java.io.ByteArrayInputStream; +import java.io.IOException; +import java.io.InputStream; + +/** + * Combines an {@link InPlaceMutator} with a {@link Serializer} for objects of type {@code T}. + * + * <p>If {@code T} can't be mutated in place, implement {@link SerializingMutator} instead. + * + * <p>Implementing classes SHOULD be declared final. + */ +public abstract class SerializingInPlaceMutator<T> + extends SerializingMutator<T> implements InPlaceMutator<T> { + // ByteArrayInputStream#close is documented as being a no-op, so it is safe to reuse an instance + // here. + // TODO: Introduce a dedicated empty InputStream implementation. + private static final InputStream emptyInputStream = new ByteArrayInputStream(new byte[0]); + + /** + * Constructs a default instance of {@code T}. + * + * <p>The returned value is immediately passed to {@link #initInPlace(Object, PseudoRandom)}. + * + * <p>Implementing classes SHOULD provide a more efficient implementation. + * + * @return a default instance of {@code T} + */ + @ForOverride + protected T makeDefaultInstance() { + try { + return readExclusive(emptyInputStream); + } catch (IOException e) { + throw asUnchecked(e); + } + } + + @Override + public final T init(PseudoRandom prng) { + T value = makeDefaultInstance(); + initInPlace(value, prng); + return value; + } + + @Override + public final T mutate(T value, PseudoRandom prng) { + mutateInPlace(value, prng); + return value; + } + + @Override + public final T crossOver(T value, T otherValue, PseudoRandom prng) { + crossOverInPlace(value, otherValue, prng); + return value; + } +} |