diff --git a/README.md b/README.md index 3cd0b9841467c336ca7925d80c233eeaf7f91fc2..e2388edf7afaf13feaa06d97399f97eff9abead4 100644 --- a/README.md +++ b/README.md @@ -76,7 +76,8 @@ My goal is for lectures to be self-contained. The following books contain overla | 9 | Mon | 14.11.2022 | **13:00** | [INM 200](https://plan.epfl.ch/?room==INM%20200) + [SG0211](https://plan.epfl.ch/?room==SG%200211) | **MIDTERM** | Materials of lectures 1-9. [Seating Plan](https://moodle.epfl.ch/mod/resource/view.php?id=1227039) | | | Wed | 16.11.2022 | 08:15 | INM202 | Labs | Finish type checker lab | | | Thu | 17.11.2022 | 08:15 | INM202 | Labs | Finish type checker lab | -| 10 | Mon | 21.11.2022 | 13:15 | INM200 | Lecture | [Compiling Expressions](https://tube.switch.ch/videos/e0f59928), [Simple Code Generation for If](https://tube.switch.ch/videos/2036cd8b), [Translating Control with Destination Parameters](https://tube.switch.ch/videos/9c9f8bc9) | +| 10 | Mon | 21.11.2022 | 13:15 | INM200 | Lecture 10 | [Compiling Expressions](https://tube.switch.ch/videos/e0f59928), [Simple Code Generation for If](https://tube.switch.ch/videos/2036cd8b), [Translating Control with Destination Parameters](https://tube.switch.ch/videos/9c9f8bc9) | | | Wed | 23.11.2022 | 08:15 | INM202 | Labs | Presentation of [code generation lab](labs/lab05/) | | | Thu | 24.11.2022 | 08:15 | INM202 | Labs + Q&A | Staff answers questions on labs and on [Exam Solutions](past-exams/2022/Solutions-Exam-2022.pdf) for [this year's exam](past-exams/2022/Exam-2022.pdf) | | | | **Fri** | 25.11.2022 | 16:00-17:30 | [BC 333](https://plan.epfl.ch//?room=BC333) | View your exam | Staff will be available to answer questions on what you did and how the exam was graded | | +| 10 | Mon | 28.11.2022 | 13:15 | INM200 | Lecture 11 | Guest lecture: [Static analysis for Amy](lectures/sonar.md) by Arseniy Zaostrovnykh and Quentin Jaquier from [Sonar](https://www.sonarsource.com/) | diff --git a/lectures/sonar.md b/lectures/sonar.md new file mode 100644 index 0000000000000000000000000000000000000000..6010073b19c676ae8bb117b55e13566610e8319c --- /dev/null +++ b/lectures/sonar.md @@ -0,0 +1,4 @@ +# Arseniy Zaostrovnykh and Quentin Jaquier: Static analysis for Amy + +Compiler technology enables a deep understanding of source code that is useful beyond producing an executable. In this lecture, we will introduce static analysis that powers tools detecting bugs and vulnerabilities in your code. We will present several techniques: AST-based analysis, taint analysis, and symbolic execution. We will demonstrate how static analysis can be implemented for Amy language. +