게시판 인덱스

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

[숙제 6] 공지사항 안내드립니다 (수정: 6/5 11:00)

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


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

올리기올려짐: 2025년6월5일 4:55    주제: [숙제 6] 공지사항 안내드립니다 (수정: 6/5 11:00) 인용과 함께 답변

안녕하세요 수강생 여러분,
숙제 6에 대한 공지사항을 안내해드리겠습니다.

내용: https://ropas.snu.ac.kr/~kwang/4541.664A/25/hw6.pdf
기한: 6/18(수) 24:00
뼈대코드: https://ropas.snu.ac.kr/~ta/4541.664A/25/show/watercheck.tar.gz
테스트케이스: https://ropas.snu.ac.kr/~ta/4541.664A/25/show/testcases.zip
배점: 구현 250점

숙제 5도 동일 테스트케이스로 채점할 예정입니다. `mark` 밑에는 워터마크가 있는 프로그램 8개, `no-mark` 밑에는 워터마크가 없는 프로그램 5개가 있습니다. 프로그램의 길이는 수 줄에서 ~10000줄까지 다양하게 있습니다.

나아가 12개 정도의 추가 테스트케이스가 사용될 예정입니다. (각 10점, 총 25개)

뼈대코드는 동일합니다. dune 빌드 시스템으로 빌드할 때, `dune build --release`를 실행하면 컴파일이 됩니다. 이때 `_build/install/default/bin` 아래 `watercheck`가 최적화된 실행파일입니다 (긴 파일을 분석하기 위해서는 최적화된 실행파일을 사용하셔야 합니다).
혹은 바로
코드:
dune exec --release watercheck -- -analyze ...

으로 실행하셔도 동일합니다.

제출은 jhlee@ropas.snu.ac.kr 로 제목은 "[프로그램 분석] 20NN-NNNNN 숙제 6"(N은 본인 학번으로 대체)와 같이 이메일로 보내주세요.
이때 반드시 `dune clean`을 하여 용량이 큰 `_build`디렉터리를 포함하지 않은채로 보내주시기 바랍니다.

감사합니다.

조교 드림

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