게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

[숙제 6] 채점 결과 안내드립니다.

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2025)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
이재호
Site Admin


가입: 2022년 3월 6일
올린 글: 209

올리기올려짐: 2025년6월27일 5:19    주제: [숙제 6] 채점 결과 안내드립니다. 인용과 함께 답변

안녕하세요 수강생 여러분,

숙제 6 채점이 완료되었습니다. 이의 제기는 오늘 (6/27) 자정까지 받습니다.
대부분 자유로운 양식으로 결과를 보고했기 때문에, 제가 직접 제출된 과제를 수정하거나 쉘 스크립팅을 통해 결과를 확인하느라 채점이 늦어져 양해의 말씀드립니다.
특히 워터마크가 될 수 있는 변수들의 목록을 출력하지 않은 분석기들에 대해서는 해당 변수들을 보고하도록 수정하여 채점하였습니다.

채점 결과
https://ropas.snu.ac.kr/~ta/4541.664A/25/show/pa-6-score.pdf

채점 기준
- 가짜 경보 1개 이하: 10점
- 가짜 경보 2개: 8점
- 가짜 경보 3개: 6점
- 가짜 경보 4개: 4점
- 가짜 경보 5개 이상: 2점
- 컴파일 오류/시간 초과/안전하지 않은 결과: 0점

이의 제기 시 주의사항
채점은 대략 다음과 같이 진행했습니다:
코드:
𝝺 dune b --release && timeout 30s time dune exec --release watercheck --display quiet -- -analyze path/to/testcases/mark/n.d

30초 제한이 있고, 필요한 경우 제가 직접 출력 결과를 후처리하여 확인하였습니다.

`no-mark` 디렉터리의 테스트케이스 5개는 워터마크가 없고, `mark` 디렉터리의 경우
- 1.d: `watermark`
- 2.d: `s`
- 3.d: `hash`, `payload`
- 4.d: `result`
- 5.d: `magicVal`, `tag`, `watermark`
- 6.d: `x`
- 7.d: `session8`, `node17`, `packet18`, `index13`, `count12`, `count5`
- 8.d: `node3`, `index6`, `packet18`, `user14`, `node17`, `node10`, `session15`
가 워터마크입니다.

추가 테스트케이스 https://ropas.snu.ac.kr/~ta/4541.664A/25/show/extra-tcs.zip 의 경우
- 1.d, 2.d, 4.d, 5.d, 6.d, 8.d, 10.d, 11.d, 12.d: 없음
- 3.d, 7.d: `watermark`
- 9.d: `sum`
가 워터마크입니다.

이의제기시 반드시 분석기 출력 결과물의 "몇 번째 줄 몇 번째 열"에서 워터마크임을 확인할 수 있는지 명시하여 주시기 바랍니다.

감사합니다.

조교 드림


TA 이재호
e-mail: jhlee@ropas.snu.ac.kr
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2025) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay