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.
(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 $ |