Tutorials and Showcase Applications

PhASAR v0220 Showcase Applications

We prepared a short demo to showcase some of PhASAR's applications with respect to data-flow analysis (based on PhASAR v0220). The v0220 release comes with lots of improvements, optimizations as well as simplifications. The demo specifically presents some IFDS and IDE data-flow analyses. However, the PhASAR framework can also be used for call-graph construction, computation of points-to information, and various other important tasks related to static analysis. The PhASAR-v0220 demo slide set can be found here.

PLDI'18 Tutorial

In order to get more familiar with PhASAR framework, you can take a look at PhASAR Tutorial.

Note: The tutorial refers to an early version of PhASAR from 2018; sigmificant portions of the frameworks have changed since then.