serls path sensitive framework psf online with Winfy

We have hosted the application serls path sensitive framework psf in order to run this application in our online workstations with Wine or directly.

Quick description about serls path sensitive framework psf:

PSF is a path-sensitive, inter-procedural program analysis framework developed on top of Soot.

Features:

• Path-sensitive Dataflow Analysis
• Pattern Recognition Interfaces
• Expression Tree Manipulation Interfaces

Audience: Science/Research, Education, Developers, Engineering.
User interface: Eclipse.
Programming Language: Java.

.