HW 4 is out!

[goodtaeeun]

안녕하세요. 네 번째 과제인 SmaLLVM Analyzer 과제에 대한 공지입니다.

여러분은 이 과제를 통해 간단한 LLVM 언어에서 division-by-Zero 오류를 검출하는 분석기를 구현하게 됩니다.
더 자세한 설명과 안내는 README.md를 참고해주세요.

제출

아래 링크를 통해 과제 레포지토리를 생성하고 과제를 진행하세요.
https://classroom.github.com/a/BloINMqS

과제 채점은 Gradescope를 통해 이루어집니다. 4. SmaLLVM Analyzer 라는 이름의 과제에 제출해 주시기 바랍니다.

과제 점수는 세 가지 점수의 합으로 결정됩니다.

• 안전성 점수 (60%): 구현한 분석기가 실제 알람을 모두 검출했는지에 따라 결정됩니다.
• 정확성 점수 (20%): 분석기의 정확도에 따라 결정됩니다.
• 효율성 점수 (20%): worklist 알고리즘의 효율성에 따라 결정됩니다.

정확성 점수는 오탐 비율로 결정되며, 다음과 같이 계산됩니다.

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

추가로 Interval과 Sign 도메인의 경우, 각 도메인의 함수에 대한 단위 테스트(Unit Test)를 통해 각 함수가 올바르게 구현되었는지 검사할 것입니다.

이번 과제의 커버리지 기준은 80%입니다.
제출 가이드라인을 참고하여 개인 테스트 케이스를 추가해주세요.

참고로 이번 과제는 마감 이후에 숨겨진 20%의 테스트가 추가되어 최종 채점이 진행됩니다. 여러분이 제출한 개인 테스트 중 검증된 테스트의 경우, 20%의 테스트에 포함되어 채점이 이루어집니다. 단순히 커버리지를 늘리기 위함이 아닌, 채점을 위한 테스트를 제출하려면 관련 문서를 참고해주세요.

기한

제출 마감: 04. 29 (수) 23:59
늦은 제출 마감: 05. 01 (금) 23:59

감사합니다.

P.S. Gradescope 리더보드의 Elvis (TA)는 조교이고, KunJeong (2020S)은 이전 수강생들 중 가장 높은 점수를 받은 학생입니다.

---

Hi all, this is an announcement about homework 4.

Homework 4 is a programming assignment that requires you to implement the SmaLLVM analyzer to detect division-by-zero bugs.
Please refer to the README.md for more detailed description and guidance.

Submission

Here is the GitHub classroom link for this homework:
https://classroom.github.com/a/BloINMqS

Your implementation will be graded using Gradescope. Submit it for assignment 4. SmaLLVM Analyzer.

Your score will comprise three elements.

• Soundness score (60% of overall score): score regarding whether your analyzer reports all the expected true alarms
• Precision score (20% of overall score): score regarding the precision of your analyzer
• Efficiency score (20% of overall score): score regarding the efficiency of your worklist algorithm

The precision score accounts for the false positive ratio.
It will be computed as follows

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

We will also run unit tests for the Interval and Sign domains to test that each function is implemented correctly.

The coverage threshold for this assignment is 80%.
Refer to this document for how to add your custom tests.

An additional hidden 20% of the test suite will be added after the deadline for final grading. Valid test cases from your submissions may be included in this portion. If you are interested in going beyond basic coverage and would like your own tests to be considered for grading, please refer to the guide on how to submit valid test cases.

Deadline

Due: 04. 29 (Tue.) 23:59
Late Due: 05. 01 (Fri.) 23:59

Hope you have fun

P.S. Elvis (TA) and KunJeong (2020S) on the leaderboard are the TA and the student with the highest score of all time, respectively.

[goodtaeeun]

We will also run unit tests for the sign and interval domain. They will test the correctness of individual functions of your domain, such as the numerical operations.