HW7, 8 are out

[duncan020313]

안녕하세요. 일곱 번째, 여덟 번째 과제에 대한 공지입니다.

두 과제에서 여러분은 간단한 감염 분석기 (Taint Analyzer)와 타입 검사기 (Type Checker)를 구현하게 될 것입니다.

제출

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

• hw7
• hw8

과제 채점은 Gradescope 를 통해 이루어집니다. 각각의 과제를 7. SmaLLVM Constraint-based Analyzer와 8. SmaLLVM Type Checker 라는 이름의 과제에 제출해주시기 바랍니다.

채점

과제의 채점은 GradeScope를 통해 자동으로 진행될 것입니다.

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

7번 과제

• 테스트 점수 (전체의 80%): 분석기가 모든 정탐(True Alarm)을 탐지하는지에 대한 점수입니다.
• 정확성 (Precision) 점수 (전체의 20%): 분석기가 얼마나 적은 오탐을 탐지하는지에 대한 점수입니다. 분석기의 알람 중 실제 오류의 비율을 통해 계산합니다. 자세한 계산 방법은 다음 공식을 참고해주세요.

if (no_true_alarms)
    if (your_alarms == 0)
        precision = 1
    else
        precision = 1 / your_alarms
else
    precision = true_alarms / your_alarms

8번 과제

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

덮이 (Coverage)

README.md 문서에 안내된 바와 같이 기본 테스트 + 여러분의 수제 테스트로 커버리지를 측정할 예정입니다. 이 때 커버리지는 90% 이상이 나와야 합니다. 수제 테스트를 추가하는 방법은 해당 문서를 참고하시길 바랍니다.

기한

제출 마감: 05. 30 (금) 23:59
늦은 제출 마감: 06. 01 (일) 23:59

감사합니다.

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

---

Hello. This is an announcement regarding the 7th and 8th assignments.

You will implement a simple Taint Analyzer and a Type Checker in these two assignments.

Submission

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

• hw7
• hw8

Assignment grading will be done through Gradescope. Please submit each assignment to the assignments named 7. SmaLLVM Constraint-based Analyzer and 8. SmaLLVM Type Checker.

Grading

Assignment grading will be done automatically through GradeScope.

The scores for the two assignments are structured as follows:

Assignment 7

• Test Score (80% of total): This score is based on whether your analyzer detects all true alarms.
• Precision Score (20% of total): This score is based on how few false alarms your analyzer detects. It is calculated based on the ratio of actual errors among the analyzer's alarms. For a detailed calculation method, please take a look at the following formula.

if (no_true_alarms)
    if (your_alarms == 0)
        precision = 1
    else
        precision = 1 / your_alarms
else
    precision = true_alarms / your_alarms

Assignment 8

• Test Score (100% of total): This score is based on whether your type checker accurately checks all results.

Coverage

We will be measuring coverage with the default tests + your handmade tests as described in the README.md documentation, which should give us at least 90% coverage. Please refer to that documentation for instructions on how to add handmade tests.

Deadlines

Submission Deadline: 05. 30 (Fri) 23:59
Late Submission Deadline: 06. 01 (Sun) 23:59

Thank you.

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

[HyunjoonCho]

안녕하세요 조교님,
Gradescope에 7. SmaLLVM Constraint-based Analyzer 과제가 보이지 않습니다. 기다리면 추가가 될까요? 감사합니다.

---

Dear TA,
I cannot find the seventh assignment 7. SmaLLVM Constraint-based Analyzer on Gradescope. Will it be added soon? Thanks

[sujin0529]

안녕하세요.
지금은 과제가 잘 보이실겁니다!

감사합니다.

---

Hello,
You can check the assignment well now!

Thank you.

[HyunjoonCho]

감사합니다!