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 Read more 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 Read more 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... Read more Rating:
TOP DOWNLOADS last week doPDF 1,396 Temple Run: Oz 811 JioHotstar 800 CashMama- Instant Personal Loan App Online 664 FBackup 545 SpaceEngine 487 Fingerprint Pregnancy Test 2 461 View All Top Downloads
LATEST ADDITIONS Recently Added Software Sporat – Helsinki Trams Live 2026-10-14 Dreams+: Dream Journal & Diary 2026-10-14 Steal An Egg: Escape Animal 2026-10-14 CloudCompli by SwiftComply 2026-10-14 Outlaws - Dirt Truck Racing 2026-10-14 Game of Thrones Casino Slots 2026-10-14 COLORUN: Walk & Paint the Map 2026-10-14 View All Additions
LATEST UPDATES Recently Updated Software Babb's Coffee House 2026-10-14 Gunslinger Cowboy Shooting : 2d Funny Hd Free Game 2026-10-14 EMF Detector - Radiation Meter 2026-10-14 Pride Radio 2026-10-14 Pósturinn 2026-10-14 SchoolBase 2026-10-14 Moonshine Wallet 2026-10-14 View All Updates
