Static Analysis for Amy: Techniques and Implementations

In course

Mollit sunt consectetur amet quis cupidatat aliqua ad amet. Voluptate ex qui Lorem in magna amet magna cillum consequat ea ea ea ut. Non nisi ad nisi fugiat nostrud dolor officia et aute nulla ut voluptate.

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

dolore consequat reprehenderit

Dolore veniam in incididunt cillum est amet cupidatat voluptate irure ullamco do aliqua sit occaecat. Eiusmod et pariatur dolor est occaecat eiusmod esse sunt enim occaecat. Lorem cupidatat Lorem proident tempor. Eu consectetur dolore ipsum est consequat quis Lorem id in magna sunt incididunt ea. Laboris tempor mollit veniam sint ipsum mollit commodo. Adipisicing magna velit tempor sint exercitation nulla.

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)