[HW7] About fuzzer.test

[ianyk0213]

이름 Your Name

KimDohyung(김도형)

질문 Question

안녕하세요. 몇가지 질문이 있어 문의드립니다.

1. 문제상의 description에는 Function test evaluates a generate input (string value) and returns a boolean value that represents "pass" (true) and "crash" (false) (implemented as Fuzzer.test in src/fuzzer.ml)., 즉, test가 true/false를 반환한다고 적혀있는데 실제 코드에서는 env를 반환하는 듯 하여 질문드립니다.
   어떤 부분을 잘못 이해한걸까요?

2. coverage 검사시에는 오류가 발생한 라인도 포함하는지, 아니면 그 라인은 완전히 실행되기 전에 오류가 생기고 끝나므로 포함하지 않는지 문의드립니다.

3. json 파서 프로그램의 입력의 seed directory는 항상 json 파일로 이루어지고, 단순한 프로그램의 입력의 seed directory는 항상 txt 파일로 이루어진다고 가정해도 되는지, 그리고 그렇다면 이 점을 이용해서 json 파서 프로그램의 fuzzing인지 단순한 프로그램의 fuzzing인지를 구별해도 되는지 질문드립니다.

4.mutate와 update_seeds의 type을 바꿔도 된다 하심은 파라미터도 변경해도 된다는 것인지, 혹은 rec로 만들어도 된다는 것인지 질문드립니다.

감사합니다.

번역본 Translated Version

Hello, I have a few questions.

1. The description in the problem states that the function test evaluates the generated input (string value) and returns a Boolean value indicating that the test returns a true/false (https://github.com/prosyslab-classroom/cs348-2025-spring-hw7-ianyk0213/blob/master/src/fuzzer.ml))., ), but the actual code appears to return an env to an implementation from Fuzer.test.
   What did you misunderstand?

2. I would like to ask if you include the line where the error occurred during the coverage inspection, or if you do not include the line because the error occurs and ends before it is fully executed.

3. I would like to ask if the seed directory of the input of the json parser program is always made up of the json file, the seed directory of the input of the simple program is always made up of the txt file, and if so, can I use this to distinguish between the fuzzing of the json parser program or the fuzzing of the simple program.

I would like to ask if it is possible to change the type of 4.mute and update_seeds and change the parameter or rec.

Thank you.

[goodtaeeun]

1. test 함수의 반환 타입이 변경되었는데 문서에는 미처 업데이트가 안 되었습니다. 혼동을 드려 죄송합니다. 주어진 코드에서 볼 수 있듯이 test함수는 실행의 결과로 업데이트 된 env를 반환하도록 구현하시면 됩니다.
2. 커버리지는 오류가 발생한 라인 진전까지 기록이 됩니다. 따라서 오류 라인은 커버리지에 포함되지 않습니다.
3. 초기 시드 입력의 이름만으로는 현재 퍼징 대상 프로그램이 무엇인지 알 수 없다고 가정하고 구현해주시면 됩니다.
4. 파라미터 타입과 반환 타입을 변경하셔도 됩니다.

---

1. Sorry for the confusion. The type of the test function was updated, but the document wasn't. As shown in the provided skeleton code, the test function should return an env updated with the execution result.
2. Coverage is recorded until the last line before the crash site. Thus, the coverage of the crash line is not recorded.
3. You cannot assume the target program based on the names of the initial seed inputs.
4. You may change the argument and the return types.

[ianyk0213]

답변 감사합니다.

다만 한가지만 더 질문드리자면 test가 env를 반환하는게 맞다면 지금 프로그램에서는 crash의 개수가 업데이트 되지 않아서 계속 crash1으로 표기되는데 이것도 직접 반환되는 env를 바탕으로 crash 개수를 update하는게 맞는지 질문드립니다.

[goodtaeeun]

이 질문은 과제의 일부로서 고민해보시고 해결하시면 될 것 같습니다.