University of California at Berkeley
           Department of Electrical Engineering & Computer Sciences
                          Instructional Support Group


/share/b/pub/coverity.help
/share/b/pub/prevent.help

                                                                  Mar 19, 2008

CONTENTS
	Coverity Prevent


Coverity Prevent
----------------
  Coverity Prevent is a C, C++ and Java debugger from http://www.coverity.com.
  There is a standalone version and an Eclipse plugin for the Java product.
  The standalone analysis can run in batch mode and do more in-depth checking
  that the plugin.

  Academic licenses were obtained by Prof Clancy in July 2007.  These licenses
  are gratis but are explicitly prohibited for use in research projects.  It
  is also prohibited to publish any benchmarks that compare this with other
  debuggers.

  Coverity Prevent is installed in /usr/sww/pkg/prevent on the EECS Solaris
  (SPARC and X86) systems.   There is user documentation under

    /usr/sww/pkg/prevent/doc
    https://inst.eecs.berkeley.edu/~inst/pub/


						EECS Instructional Support
						378/384/386 Cory Hall, 333 Soda
						inst@eecs.berkeley.edu