diff options
| author | Evgeny Vereshchagin <evvers@ya.ru> | 2019-06-15 00:09:15 +0200 |
|---|---|---|
| committer | Evgeny Vereshchagin <evvers@ya.ru> | 2019-06-15 00:09:15 +0200 |
| commit | e87e6962fd58c0ac52f924c34311447d0fd7d51e (patch) | |
| tree | 1a17a5fb0787c1993f9338a0435066399df61a1f /travis-ci | |
| parent | 00cc7d6ea9dd743d274c70c05fd6a2c93248b7ff (diff) | |
| download | systemd-e87e6962fd58c0ac52f924c34311447d0fd7d51e.tar.gz | |
travis: turn on UBSan on Fuzzit
Diffstat (limited to 'travis-ci')
| -rwxr-xr-x | travis-ci/managers/fuzzit.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/travis-ci/managers/fuzzit.sh b/travis-ci/managers/fuzzit.sh index cd034aa2ca..72769276f2 100755 --- a/travis-ci/managers/fuzzit.sh +++ b/travis-ci/managers/fuzzit.sh @@ -28,7 +28,7 @@ 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 export FUZZIT_API_KEY=7c1bd82fe0927ffe1b4bf1e2e86cc812b28dfe08a7080a7bf498e98715884a163402ee37ba95d4b1637247deffcea43e export FUZZIT_ADDITIONAL_FILES="./out/src/shared/libsystemd-shared-242.so" -export FUZZIT_ARGS="--type ${FUZZING_TYPE} --branch ${FUZZIT_BRANCH} --revision ${TRAVIS_COMMIT} --asan_options quarantine_size_mb=10" +export FUZZIT_ARGS="--type ${FUZZING_TYPE} --branch ${FUZZIT_BRANCH} --revision ${TRAVIS_COMMIT} --asan_options quarantine_size_mb=10 --ubsan_options=print_stacktrace=1:print_summary=1:halt_on_error=1" wget -O fuzzit https://bin.fuzzit.dev/fuzzit-1.1 chmod +x fuzzit |