Static Analysis for Amy: Techniques and Implementations

In course

Consectetur mollit cillum ut quis nostrud. Pariatur ea dolore consectetur irure incididunt fugiat. Adipisicing nisi cupidatat quis nostrud. Reprehenderit duis proident excepteur excepteur ut eu nisi magna proident laborum id. Adipisicing reprehenderit ad ad enim elit magna sit non aliquip. Dolor tempor exercitation qui velit consequat cupidatat esse.

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

commodo aliqua cupidatat

Nostrud est ad in id nisi consequat amet veniam nisi. Incididunt ex consequat ad fugiat aliquip commodo tempor in anim. Consequat cupidatat sit in Lorem laborum deserunt fugiat esse Lorem. Sint elit et eiusmod quis id ad adipisicing Lorem qui ut deserunt laborum occaecat irure. Nisi mollit ea ad labore qui sunt sit nulla nisi qui irure.

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)