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 6,464 Mp3Juice : Mp3 Juice Download 3,266 Free Recharge Unlimited App 2,713 Live Video Call - Girls Random Video Chat app 2,567 Bitcoin Ice Mine 1,724 CashMama- Instant Personal Loan App Online 1,682 xZoom - Camera Booster 1,592 View All Top Downloads
LATEST ADDITIONS Recently Added Software Joker King Slots Online 2024-05-03 Ocorrências Madeira 2024-05-03 Qurani Duain with Urdu Transla 2024-05-02 Football Theme by Micromax 2024-05-02 Mother's Day Photo Frame 2024 2024-05-02 Maths Quiz App 2020 | Maths Qu 2024-05-02 Waterdrop Theme 2024-05-02 View All Additions
LATEST UPDATES Recently Updated Software 하이웍스 근태체크 Hiworks HR - 출퇴근 체크 2024-05-03 APaym 2024-05-03 State Bank (Freeport) 2024-05-03 TrainPal - Cheap Train Tickets 2024-05-03 Go For More 2024-05-03 ABC Phonics and Spelling 2024-05-03 Validity Pro 2024-05-03 View All Updates
