Download and Installation

Binary distribution

The Stanse tool comes in two sepearate parts: (platform independent) Java JAR file which delivers almost all the functionality, and the C-parsing and preprocessing module, which is two Perl scripts and a fast-parser binary. The fast-parser binary needs to match your architecture. Choose a package for your architecture below. If no package matches your architecture, you can always build from sources.

Note that preffered way of obtaining Stanse is either source distribution or binaries from the repository below.

Stanse is also available as an .rpm package for Fedora and openSUSE distributions. All available in one repository.

Installation

The recommended way is to unpack the binary package to a chosen directory. (If you build from the sources, copy the contents of the dist directory to your chosen location.) Paths to libraries, binaries, scripts and data are then taken relative to the location of stanse.jar. However if you choose not to do so, note that:

  • Stanse looks for the necessary libraries in lib/ subdirectory of the directory containing stanse.jar.
  • The directory containing the bin/ and data/ directories (containing scripts and binaries, and checker data, respectively) can also be specified by defining the STANSE_HOME environment variable.

Make sure GNU C (at least version 4.0) and Perl 5 are available and on path. We provide Windows users with these two packages:

It is sufficient to unpack the archives and set PATH environment variable appropriatelly.

Sources

Current sources are available as stanse-1.2.2.tar.bz2

The repository where the tool is developed may be obtained by:

git clone git://github.com/jirislaby/stanse.git

Also there is a web interface for the repository.

The requirements for compiling Stanse

  • Java 6
  • Ant
  • antlr3 and cpptask Ant tasks. These tasks must be placed either in ANT_HOME/lib, ${user.home}/.ant/lib or their location specified using the -lib argument of Ant. The tasks are distributed with Stanse, in the tools/ant directory. Sometimes it's not enough, see README file for details.
  • gcc (for the fast C parser)

License

This software is the result of the project Institute for Theoretical Computer Science, No. 1M0545, and this result is consistent with the expected objectives of the project. The owner of the result is Masaryk University, a public university, ID: 00216224. Masaryk University allows other companies and individuals to use this software free of charge and without territorial restrictions under the terms of the license listed bellow. This permission is granted for the duration of property rights. This software is not subject to special information treatment according to Act No. 412/2005 Coll., as amended. In case that a person who will use the software under this license offer violates the license terms, the permission to use the software terminates.

The tool is released under the GNU GPLv2.