This tutorial will be a mix of a presentation of material and hands-on development of a Jalangi analysis. Specifically, we will present a detailed guide to writing Jalangi analyses by introducing the framework’s functionality, good patterns to follow, pitfalls to avoid, and debugging strategies, and by walking attendees through implementing and running a simple Jalangi analysis during the tutorial. We will also present three higher-level analysis frameworks built using Jalangi: DLint, JITProf, and MemInsight. DLint is a framework for checking lightweight linting rules at runtime, enabling checking of properties that are difficult to handle using static linting alone. JITProf is a framework to dynamically identify code locations that prohibit profitable JIT optimizations. MemInsight is a framework for discovering memory issues, and it provides a convenient, high-level trace abstraction for implementing new issue detectors. We will describe how one can easily extend these frameworks to implement new rules or analyses.
Tue 14 Jun
|13:30 - 15:00|