important.txt

程序切片工具

The Indus-Plugin is provided under the SAnToS academic license.
The Indus-Plugin uses the following software during execution:

- commons-cli-1.0.jar  (The Apache Software License, Version 1.1)
- commons-io-1.0.jar  (Apache License Version 2.0)
- commons-lang-2.0.jar (The Apache Software License, Version 1.1)
- commons-pool-1.1.jar (The Apache Software License, Version 1.1)
- indus.jar  (SAnToS academic license)
- jasminclasses-sable-1.2.jar (Lesser GNU public license (LGPL))
- jibx-run.jar (JiBX license)
- slf4j.jar (slf4j license)
- polyglot-1.1.0.jar (Lesser GNU public license (LGPL))
- slicer.jar  (SAnToS academic license)
- soot-2.1.0-modified.jar (Lesser GNU public license (LGPL))
- staticanalyses.jar (SAnToS academic license)
- trove.jar (Lesser GNU public license (LGPL))
- xmlenc.jar (xmlenc license)
- xmlunit1.0.jar (xmlunit license)
- xpp3.jar (Indiana University Extreme! Lab Software License)

As required by the xpp license the following acknowledgement is provided:
  "This product includes software developed by the Indiana University
  Extreme! Lab (http://www.extreme.indiana.edu/)."

As stated in gnu Trove distribution,
	"The PrimeFinder and HashFunctions classes in Trove are subject to the
	following license restrictions:

	Copyright (c) 1999 CERN - European Organization for Nuclear Research.

	Permission to use, copy, modify, distribute and sell this software and
	its documentation for any purpose is hereby granted without fee,
	provided that the above copyright notice appear in all copies and that
	both that copyright notice and this permission notice appear in
	supporting documentation. CERN makes no representations about the
	suitability of this software for any purpose. It is provided "as is"
	without expressed or implied warranty."