Serl's Path-Sensitive Framework (PSF) FREE 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 Download Rating:
Equals Checker 2011 FREE A static checker that model checks the implementation of equality for an Eclipse Java Project. Features Detection of low-level errors through path-sensitive, data-flow analysis. Detection of semantic errors related to Download Rating:
CriticAL 5.0 FREE CriticAL: A Critic for API and Libraries. This project provides a framework for critiquing API-client code in three ways: i) it explains the complex interaction of API elements, ii) it criticizes the improper use of the... Download Rating:
TOP DOWNLOADS last week doPDF 10,196 Free Recharge Unlimited App 4,085 Bitcoin Ice Mine 2,664 CashMama- Instant Personal Loan App Online 2,353 Live Video Call - Girls Random Video Chat app 2,140 Movie Box 1,512 FBackup 1,485 View All Top Downloads
LATEST ADDITIONS Recently Added Software WashBody -EscapeGame- 2024-04-29 WApp Connect 2024-04-29 Naija Whot Pro 2024-04-29 AD Boy: All-in-One-Emulator 2024-04-29 Tree & Plant Identifier app 2024-04-29 DudeDoula: Pregnancy for Dads 2024-04-29 Book Reading Tracker: Bookwise 2024-04-29 View All Additions
LATEST UPDATES Recently Updated Software First-Plymouth Church 2024-04-29 E2 Church 2024-04-29 Stages Flight Control 2024-04-29 Maxfree Lock 2024-04-29 cL outreach 2024-04-29 Coherence 2024-04-29 Pod Racer 3D 2024-04-29 View All Updates