Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Fri 28 Aug 2020 09:00 - 12:30 at Tutorials 1 - Library-Oriented Dynamic Analysis with Lya

Lya is a coarse-grained dynamic analysis framework that interposes at the boundaries of libraries within an application. It is useful for both industrial users and academic researchers working with programs (i) that use many small libraries often written in functional style, and (ii) with significant dynamic behaviors – e.g., runtime code evaluation, dynamic loading, and runtime reflection. Lya enables concise analyses targeting JavaScript libraries and multi-library programs to extract information or enforce invariants. Examples include identifying security vulnerabilities, highlighting performance bottlenecks, and applying corrective actions.

The tutorial consists of three parts. The first part provides an overview of Lya, including a comparison with more conventional approaches to dynamic analysis. The second part is a hands-on session of applying built-in analyses to real libraries, including configuration parameters targeting their granularity. The third part is a live coding session focused on building an analysis – we use Lya’s interfaces to build one of the aforementioned analyses from scratch.

Fri 28 Aug

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 12:30
Library-Oriented Dynamic Analysis with LyaTutorials at Tutorials 1
Library-Oriented Dynamic Analysis with Lya
Nikos Vasilakis MIT CSAIL, USA, Grigoris Ntousakis TU Crete