User: Update security predicate strategy

This commit is contained in:
vit9696 2022-03-09 21:29:41 +03:00
parent f42c3b2f30
commit 43acc275b4

View File

@ -268,26 +268,19 @@ sydr-fuzz: $(PROJECT).sydr$(SUFFIX) $(PROJECT)$(SUFFIX) FORCE
@$(MKDIR) $(FUZZ_DIR)
@rm -rf sydr-fuzz-out
@cat <<- EOF > sydr-fuzz.toml
[sydr]
[sydr]
args = "--solving-timeout 60 -s 900 -j $(FUZZ_JOBS)"
target = "$(PROJECT).sydr$(SUFFIX) @@"
jobs = 1
jobs = $(FUZZ_JOBS)
[libfuzzer]
path = "$(PROJECT)$(SUFFIX)"
args = "-jobs=$(FUZZ_JOBS) -workers=$(FUZZ_JOBS) -rss_limit_mb=$(FUZZ_MEM) $(FUZZ_DIR)"
EOF
UBSAN_OPTIONS='halt_on_error=1' sydr-fuzz -l debug run -f
UBSAN_OPTIONS='halt_on_error=1' sydr-fuzz run -f
sydr-fuzz-security: $(PROJECT).sydr$(SUFFIX) $(PROJECT)$(SUFFIX) FORCE
@cat <<- EOF > sydr-fuzz.toml
[sydr]
args = "--security --no-invert"
target = "$(PROJECT).sydr$(SUFFIX) @@"
corpus = "sydr-fuzz-out/corpus"
jobs = $(FUZZ_JOBS)
EOF
sydr-fuzz -l debug security
sydr-fuzz security
sydr-fuzz-import: $(PROJECT).sydr$(SUFFIX) $(PROJECT)$(SUFFIX) FORCE
@$(MKDIR) sydr-fuzz-out/corpus