김도형
가입: 2022년 3월 8일 올린 글: 103
|
올려짐: 2023년12월12일 15:18 주제: [숙제 7] 공지사항 및 보충 스펙 (수정) |
|
|
안녕하세요, 수강생 여러분.
숙제 7이 올라왔습니다.
내용: https://ropas.snu.ac.kr/~kwang/4541.664A/23/hw7.pdf
기한: 12/19(화) 23:59
기존 프로젝트 및 숙제2 공지에서 올려드렸던 스켈레톤 코드를 기반으로 D언어 Waker 분석기를 만들어주시면 되겠습니다.
다만 몇 가지 유의하실 점이 있는데, 최종적인 분석 결과가 나올 수 있도록 별도의 레이블에 대한 결과를 출력할 수 있도록 해주세요(-1이 적당합니다).
또한 그 결과를 채점 때 사용할 수 있도록 main.ml에서 별도의 옵션을 추가해주세요.
마지막으로, 숙제5 채점 결과에서도 이야기하였듯 readInt에서 실제 입력을 받도록 구현하지 않게 주의해주세요. (정적분석기는 프로그램을 실행하지 않습니다)
제출 역시 make 하기 전의 전체 폴더를 압축해서 메일(dhkim@ropas.snu.ac.kr)로 보내주세요.
제목을 [프로그램_분석]학번 (e.g. [프로그램_분석]2999-99999)로 해서 보내주시길 바랍니다.
또한, 스켈레톤에 있는 domFunctor.ml 및 그 예시인 domExample.ml를 참고하셔서 구현하시면 되겠습니다.
감사합니다. |
|