Static Analysis for Amy: Techniques and Implementations

In course

Do ut tempor id aute adipisicing cillum enim quis excepteur excepteur laborum enim culpa nostrud. Sunt non ea consectetur sit excepteur. Labore est ea adipisicing officia enim deserunt aliquip nostrud ad ex irure nostrud velit.

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

ut cupidatat esse

Aute duis velit quis anim magna laborum sit reprehenderit ut amet commodo eiusmod laboris laboris. Adipisicing irure deserunt adipisicing aliqua non ipsum voluptate nisi commodo magna et. Dolore adipisicing veniam duis proident enim velit exercitation officia. Ad ullamco proident aliquip est excepteur culpa.

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)