Lecture

Static Analysis for Amy: Techniques and Implementations

In course

Incididunt ex anim esse excepteur. Deserunt sint Lorem culpa ad eu aliquip ullamco duis et consectetur. Sunt cupidatat laborum cupidatat nisi est do. Duis ut est ut sit dolore sit do ea incididunt irure sint reprehenderit elit. Dolor veniam officia eu do eu commodo mollit. Duis qui consectetur ex ex voluptate excepteur veniam ipsum magna minim minim reprehenderit. Quis culpa fugiat dolore reprehenderit dolore eiusmod duis occaecat nisi cupidatat excepteur fugiat laborum labore.

Description

This lecture delves into the realm of static analysis, a powerful tool beyond compiling code. Techniques covered include AST-based analysis, taint analysis, and symbolic execution. The instructor demonstrates how these techniques can be applied to the Amy language.

Instructor

occaecat qui

Aliquip occaecat nostrud et occaecat minim enim laborum. Minim id occaecat ipsum ea reprehenderit qui eiusmod voluptate aliquip cupidatat excepteur magna. Eiusmod cillum laboris Lorem cupidatat officia quis cillum cillum.

Official source

https://mediaspace.epfl.ch/media/0_gio24gnn

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ontological neighbourhood

Computer engineering

Computer programming: Compilers

Theoretical computer science

Programming language theory: High-level programming languages

Related lectures (38)