diff options
Diffstat (limited to 'src/main/java/com/code_intelligence/jazzer/driver/SignalHandler.java')
-rw-r--r-- | src/main/java/com/code_intelligence/jazzer/driver/SignalHandler.java | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/src/main/java/com/code_intelligence/jazzer/driver/SignalHandler.java b/src/main/java/com/code_intelligence/jazzer/driver/SignalHandler.java new file mode 100644 index 00000000..215a0479 --- /dev/null +++ b/src/main/java/com/code_intelligence/jazzer/driver/SignalHandler.java @@ -0,0 +1,31 @@ +// Copyright 2021 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.driver; + +import com.github.fmeum.rules_jni.RulesJni; +import sun.misc.Signal; + +public final class SignalHandler { + static { + RulesJni.loadLibrary("jazzer_signal_handler", SignalHandler.class); + Signal.handle(new Signal("INT"), sig -> handleInterrupt()); + } + + public static void initialize() { + // Implicitly runs the static initializer. + } + + private static native void handleInterrupt(); +} |