[김도형]

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

숙제 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를 참고하셔서 구현하시면 되겠습니다.

감사합니다.