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
License
GNU General Public License version 3.0 (GPLv3)Follow Serl's Path-Sensitive Framework (PSF)
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
-
Serlpsf works fine.