diff options
| author | Evgeny Vereshchagin <evvers@ya.ru> | 2019-06-15 02:07:17 +0200 |
|---|---|---|
| committer | Evgeny Vereshchagin <evvers@ya.ru> | 2019-06-15 05:19:58 +0200 |
| commit | f789e0b4f891800557c74c385d0f61a0164cb16f (patch) | |
| tree | 30934ffbeeec80565c0dc28b500c686daaa4abc2 /travis-ci | |
| parent | b5e1f0bdf4e9407819faeff4de763b8db4e714d3 (diff) | |
| download | systemd-f789e0b4f891800557c74c385d0f61a0164cb16f.tar.gz | |
travis: add more ASan options
Diffstat (limited to 'travis-ci')
| -rwxr-xr-x | travis-ci/managers/fuzzit.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/travis-ci/managers/fuzzit.sh b/travis-ci/managers/fuzzit.sh index 8c081e4e41..71858b4be8 100755 --- a/travis-ci/managers/fuzzit.sh +++ b/travis-ci/managers/fuzzit.sh @@ -35,7 +35,9 @@ fi # on pull-request we use a write-only key which is ok for now. maybe there will be a better solution in the future FUZZIT_API_KEY=7c1bd82fe0927ffe1b4bf1e2e86cc812b28dfe08a7080a7bf498e98715884a163402ee37ba95d4b1637247deffcea43e FUZZIT_ADDITIONAL_FILES="./out/src/shared/libsystemd-shared-242.so" -ASAN_OPTIONS=quarantine_size_mb=10 + +# ASan options are borrowed almost verbatim from OSS-Fuzz +ASAN_OPTIONS=redzone=32:print_summary=1:handle_sigill=1:allocator_release_to_os_interval_ms=500:print_suppressions=0:strict_memcmp=1:allow_user_segv_handler=0:allocator_may_return_null=1:use_sigaltstack=1:handle_sigfpe=1:handle_sigbus=1:detect_stack_use_after_return=1:alloc_dealloc_mismatch=0:detect_leaks=1:print_scariness=1:max_uar_stack_size_log=16:handle_abort=1:check_malloc_usable_size=0:quarantine_size_mb=64:detect_odr_violation=0:handle_segv=1:fast_unwind_on_fatal=0 UBSAN_OPTIONS=print_stacktrace=1:print_summary=1:halt_on_error=1:silence_unsigned_overflow=1 FUZZIT_ARGS="--type ${FUZZING_TYPE} --branch ${FUZZIT_BRANCH} --revision ${TRAVIS_COMMIT} --asan_options ${ASAN_OPTIONS} --ubsan_options ${UBSAN_OPTIONS}" wget -O fuzzit https://bin.fuzzit.dev/fuzzit-1.1 |