From d40b6e8a55d2823affcd6f8ef5bb950420c65c1c Mon Sep 17 00:00:00 2001 From: Fabian Meumertzheim Date: Fri, 28 Jan 2022 14:49:51 +0100 Subject: Benchmark EdgeCoverageStrategies in isolation --- .../instrumentor/DirectByteBufferCoverageMap.java | 27 ++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 agent/src/jmh/java/com/code_intelligence/jazzer/instrumentor/DirectByteBufferCoverageMap.java (limited to 'agent/src/jmh/java/com/code_intelligence/jazzer/instrumentor/DirectByteBufferCoverageMap.java') diff --git a/agent/src/jmh/java/com/code_intelligence/jazzer/instrumentor/DirectByteBufferCoverageMap.java b/agent/src/jmh/java/com/code_intelligence/jazzer/instrumentor/DirectByteBufferCoverageMap.java new file mode 100644 index 00000000..6a143991 --- /dev/null +++ b/agent/src/jmh/java/com/code_intelligence/jazzer/instrumentor/DirectByteBufferCoverageMap.java @@ -0,0 +1,27 @@ +// Copyright 2022 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.instrumentor; + +import java.nio.ByteBuffer; + +public final class DirectByteBufferCoverageMap { + // The current target, JsonSanitizer, uses less than 2048 coverage counters. + private static final int NUM_COUNTERS = 4096; + public static final ByteBuffer counters = ByteBuffer.allocateDirect(NUM_COUNTERS); + + public static void enlargeIfNeeded(int nextId) { + // Statically sized counters buffer. + } +} -- cgit v1.2.3 From cd2b0e49d3497eef381c843e1a548fe75e049531 Mon Sep 17 00:00:00 2001 From: Fabian Meumertzheim Date: Fri, 28 Jan 2022 15:06:13 +0100 Subject: Benchmark a DirectByteBuffer strategy using a static method This strategy uses a static method call instead of inlined coverage counter update logic, which greatly simplifies the complexity of the injected bytecode. --- .../jazzer/instrumentor/DirectByteBufferCoverageMap.java | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'agent/src/jmh/java/com/code_intelligence/jazzer/instrumentor/DirectByteBufferCoverageMap.java') diff --git a/agent/src/jmh/java/com/code_intelligence/jazzer/instrumentor/DirectByteBufferCoverageMap.java b/agent/src/jmh/java/com/code_intelligence/jazzer/instrumentor/DirectByteBufferCoverageMap.java index 6a143991..e5e66abb 100644 --- a/agent/src/jmh/java/com/code_intelligence/jazzer/instrumentor/DirectByteBufferCoverageMap.java +++ b/agent/src/jmh/java/com/code_intelligence/jazzer/instrumentor/DirectByteBufferCoverageMap.java @@ -24,4 +24,13 @@ public final class DirectByteBufferCoverageMap { public static void enlargeIfNeeded(int nextId) { // Statically sized counters buffer. } + + public static void recordCoverage(final int id) { + final byte counter = counters.get(id); + if (counter == -1) { + counters.put(id, (byte) 1); + } else { + counters.put(id, (byte) (counter + 1)); + } + } } -- cgit v1.2.3