diff options
Diffstat (limited to 'driver/src/main/native/com/code_intelligence/jazzer/driver/sanitizer_symbols.cpp')
-rw-r--r-- | driver/src/main/native/com/code_intelligence/jazzer/driver/sanitizer_symbols.cpp | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/driver/src/main/native/com/code_intelligence/jazzer/driver/sanitizer_symbols.cpp b/driver/src/main/native/com/code_intelligence/jazzer/driver/sanitizer_symbols.cpp new file mode 100644 index 00000000..abc5f04e --- /dev/null +++ b/driver/src/main/native/com/code_intelligence/jazzer/driver/sanitizer_symbols.cpp @@ -0,0 +1,26 @@ +// 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. + +// Suppress libFuzzer warnings about missing sanitizer methods in non-sanitizer +// builds. +extern "C" [[maybe_unused]] int __sanitizer_acquire_crash_state() { return 1; } + +namespace jazzer { +void DumpJvmStackTraces(); +} + +// Dump a JVM stack trace on timeouts. +extern "C" [[maybe_unused]] void __sanitizer_print_stack_trace() { + jazzer::DumpJvmStackTraces(); +} |