diff --git a/infra/helper.py b/infra/helper.py index 05bedca7e..c9ada6907 100755 --- a/infra/helper.py +++ b/infra/helper.py @@ -1398,7 +1398,7 @@ def fuzzbench_run_fuzzer(args): 'FUZZING_ENGINE=' + args.engine, 'SANITIZER=' + args.sanitizer, 'RUN_FUZZER_MODE=interactive', 'HELPER=True', f'FUZZ_TARGET={args.fuzzer_name}', f'BENCHMARK={args.project.name}', - 'TRIAL_ID=1' + 'TRIAL_ID=1', 'EXPERIMENT_TYPE=bug', ] if args.e: @@ -1457,6 +1457,7 @@ def fuzzbench_measure(args): '-v', f'{args.project.out}:/out', '-v', f'{fuzzbench_path}:{fuzzbench_path}', '-e', f'FUZZBENCH_PATH={fuzzbench_path}', '-e', + 'EXPERIMENT_TYPE=bug', '-e', f'FUZZ_TARGET={args.fuzz_target_name}', '-e', f'FUZZER={args.engine_name}', '-e', f'BENCHMARK={args.project.name}', f'gcr.io/oss-fuzz/{args.project.name}', 'fuzzbench_measure' diff --git a/projects/vulnerable-project/solution.seed b/projects/vulnerable-project/solution.seed index b45ef6fec..16764c0d8 100644 --- a/projects/vulnerable-project/solution.seed +++ b/projects/vulnerable-project/solution.seed @@ -1 +1 @@ -Hello, World! \ No newline at end of file +Hello, Wor \ No newline at end of file