HW 7 & 8 are out!

[goodtaeeun]

안녕하세요. 마지막 과제에 대한 공지입니다.

마지막 과제는 오염 분석기 (Taint Analyzer)와 타입 검사기 (Type Checker)를 각각 구현하는 것입니다.

제출

아래 링크를 통해 과제 레포지토리를 생성하고 과제를 진행해주시기 바랍니다.

• hw7
• hw8

과제 완료 후, Gradescope의 7. SmaLLVM Constraint-based Analyzer와 8. SmaLLVM Type Checker 라는 이름의 과제에 각각 제출해주시기 바랍니다.

채점

두 과제의 점수는 각각 다음과 같이 구성됩니다.

7번 과제

• 안전성 (Soundness) 점수 (60%): 분석기가 모든 정탐(True Alarm)을 탐지하는지의 여부에 대한 점수입니다.
• 정확성 (Precision) 점수 (40%): 분석기가 얼마나 적은 오탐을 탐지하는지에 대한 점수입니다. 분석기의 알람 중 실제 오류의 비율을 통해 계산합니다.

정확성 점수는 다음과 같이 계산됩니다.

if (no_true_alarms)
    precision = 1 / (your_alarms + 1)
else
    precision = your_true_alarms / your_alarms

8번 과제

• 안전성 (Soundness) 점수 (100%): 타입 검사기가 모든 결과를 정확하게 검사하는지에 대한 점수입니다.

이번 두 과제의 커버리지 기준은 90%입니다. 그 외에 테스트에 대한 요구사항은 없습니다.

기한

제출 마감: 06. 10 (수) 23:59
늦은 제출 마감: 06. 12 (금) 23:59

감사합니다.

P.S. Gradescope 리더보드에 있는 Elvis (TA) 라는 이름의 점수는 조교의 점수입니다.

---

Hello. This is an announcement regarding the last assignments.

You will implement a Taint Analyzer and a Type Checker in separate assignments.

Submission

Please create the assignment repository and proceed with the assignment via the links below.

• hw7
• hw8

Submit via Gradescope under the assignments named 7. SmaLLVM Constraint-based Analyzer and 8. SmaLLVM Type Checker.

Grading

Assignments will be graded automatically through GradeScope.

Assignment 7

• Soundness Score (60%): Based on whether your analyzer detects all true alarms.
• Precision Score (40%): Based on the ratio of the true alarms among all alarms.

Precision score is calculated as follows:

if (no_true_alarms)
    precision = 1 / (your_alarms + 1)
else
    precision = your_true_alarms / your_alarms

Assignment 8

• Soundness Score (100%): Based on whether your type checker accurately checks all results.

The coverage threshold is 90% for both assignments. There are no test requirements other than the coverage.

Deadlines

Submission Deadline: 06. 10 (Wed) 23:59
Late Submission Deadline: 06. 12 (Fri) 23:59

Thank you.

P.S. On the Gradescope leaderboard, the score under the name Elvis (TA) is the TA's score.