1 // Copyright 2021 Code Intelligence GmbH 2 // 3 // Licensed under the Apache License, Version 2.0 (the "License"); 4 // you may not use this file except in compliance with the License. 5 // You may obtain a copy of the License at 6 // 7 // http://www.apache.org/licenses/LICENSE-2.0 8 // 9 // Unless required by applicable law or agreed to in writing, software 10 // distributed under the License is distributed on an "AS IS" BASIS, 11 // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12 // See the License for the specific language governing permissions and 13 // limitations under the License. 14 15 package com.code_intelligence.jazzer.driver; 16 17 import com.github.fmeum.rules_jni.RulesJni; 18 import sun.misc.Signal; 19 20 public final class SignalHandler { 21 static { 22 RulesJni.loadLibrary("jazzer_signal_handler", SignalHandler.class); Signal.handle(new Signal("INT"), sig -> handleInterrupt())23 Signal.handle(new Signal("INT"), sig -> handleInterrupt()); 24 } 25 initialize()26 public static void initialize() { 27 // Implicitly runs the static initializer. 28 } 29 handleInterrupt()30 private static native void handleInterrupt(); 31 } 32