api-verify dds

api-verify — Verification of Java Library Calls

Programs are increasingly relying on external APIs for performing the bulk of their work: the bug-prone program logic is being fleshed-out and many errors involve tricky subroutine calls to the constantly growing set of external libraries. Extending the static analysis tools to cover the available APIs is an approach that replicates scarce human resources across different tools and does not scale. We have designed a framework for providing static verification code together with Java classes, and have extended the FindBugs static analysis tool to check the corresponding method invocations. This page contains the source code for the corresponding FindBugs plugin, and a number of method verifiers.

Download and Links

Api-verify is hereby made freely available as Open Source Software, licensed under the GNU Lesser General Public License (LGPL).

Diomidis Spinellis home page


Valid XHTML 1.0! Level Triple-A conformance icon, W3C-WAI Web Content Accessibility Guidelines 1.0 (C) Copyright 2005 D. Spinellis and P. Louridas. May be freely uploaded by WWW viewers and similar programs. All other rights reserved.
Last modified: $Date: 2005/07/30 14:26:54 $