From 5fe0bfabc516482345115ffdb9ada52a3ab36b33 Mon Sep 17 00:00:00 2001 From: Viktor Kuncak <viktor.kuncak@epfl.ch> Date: Thu, 24 Nov 2022 23:35:56 +0100 Subject: [PATCH] Lecture from Sonar! --- README.md | 3 ++- lectures/sonar.md | 4 ++++ 2 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 lectures/sonar.md diff --git a/README.md b/README.md index 3cd0b98..e2388ed 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 0000000..6010073 --- /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. + -- GitLab