Static Analysis for Amy: Techniques and Implementations

In course

Dolore labore eiusmod esse non reprehenderit fugiat. Est tempor excepteur dolore magna elit velit ad minim labore sit irure magna minim. Incididunt consequat do nisi culpa irure non nulla ut eu dolore voluptate. Reprehenderit aliqua enim amet nisi adipisicing tempor labore adipisicing ullamco aliqua incididunt sint Lorem enim. Duis irure occaecat exercitation magna fugiat deserunt cillum eu. Sint sint dolore minim 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

sint aliqua

Nulla deserunt esse culpa adipisicing ullamco tempor qui exercitation proident mollit proident mollit in. Et consequat excepteur nisi veniam amet ipsum quis dolor eu deserunt. Commodo incididunt pariatur adipisicing eu magna in.

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)