Serl's Path-Sensitive Framework (PSF) download

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

Project Activity

See All Activity >

License

GNU General Public License version 3.0 (GPLv3)

Follow Serl's Path-Sensitive Framework (PSF)

Serl's Path-Sensitive Framework (PSF) Web Site

Other Useful Business Software

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Rate This Project

User Ratings

5.0 out of 5 stars

★★★★★

★★★★

★★★

★★

★

ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Filter Reviews:

All

tfileme Posted 2013-05-11

Serlpsf works fine.

1 user found this review helpful.

Additional Project Details

Intended Audience

Science/Research, Education, Developers, Engineering

User Interface

Eclipse

Programming Language

Java

Related Categories

Java Algorithms, Java Source Code Analysis Tool

Registered

2011-02-24

Similar Business Software

Adobe PDF Library SDK

Shorten development times & get to market faster with Adobe PDF Library. Global OEMs, SaaS and enterprise end-users rely on Adobe PDF Library to automate the creation, editing and management of PDFs. An Adobe partner, our SDK uses the same source code as Acrobat for stability, reliability...

See Software
Jira

Jira is the only project management tool you need to plan and track work across every team. Jira by Atlassian is the #1 software development tool for teams planning and building great products. Trusted by thousands of teams, Jira offers access to a wide range of tools for planning, tracking,...

See Software
Windsurf Editor

The Windsurf Editor is a free AI-powered IDE and AI coding assistant that accelerates development by providing intelligent code generation and agents in over 70 programming languages and more than 40 IDEs, including VSCode, JetBrains, and Jupyter Notebooks. With Windsurf, developers can write...

See Software