diff options
| author |  Nikita Popov <nikita.ppv@gmail.com> | 2020-08-28 18:10:07 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2020-08-28 09:10:07 -0700 |
| commit | fd4659b60e6df53bad21421672fb904e01c00384 (patch) | |
| tree | 4bc4574947ddae3e1541865c952923efe175c3ee | |
| parent | 6475527202474d488580e4d3942cf0a913ff3298 (diff) | |
[php] Add execute fuzzer (#4387)
| -rwxr-xr-x | projects/php/build.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/projects/php/build.sh b/projects/php/build.sh index fd11356a..fbef4895 100755 --- a/projects/php/build.sh +++ b/projects/php/build.sh @@ -32,6 +32,7 @@ export CXXFLAGS="$CXXFLAGS -fno-sanitize=object-size" ./buildconf ./configure \ --disable-all \ + --enable-debug-assertions \ --enable-option-checking=fatal \ --enable-fuzzer \ --enable-exif \ @@ -55,7 +56,8 @@ php-fuzz-exif php-fuzz-mbstring php-fuzz-unserialize php-fuzz-unserializehash -php-fuzz-parser" +php-fuzz-parser +php-fuzz-execute" for fuzzerName in $FUZZERS; do cp sapi/fuzzer/$fuzzerName $OUT/ done |