Scaladays '15: Yoyak

June 9, 2015

Yoyak: Static data analysis

Author is a programming language theorist.

Abstract interpretation

Static Analysis

The result of abstract interpretation is inaccurate, but not incorrect. Roughly, but soundly execute the program.

Methods used

Soundness

Complemeteness

Semantics

Illustrating Semantics with several tiny languages called Javar.

Key Elements of Abstract Interpretation

Concrete and Abstract Semantics are connected with a Galois connection.

Yoyak enables to reuse components

It’s perfect to be a framework: The theory of abstract interpretation guarantees soundness and termination of the analysis if a user supplies valid operators.

Yoyak Components

Slides

What’s IL?

Discussion, links, and tweets

I care about lots other interesting things as well. Follow me on Twitter to get an impression of that. Or contact me directly on another channel or come along to visit me.