Research use: Tigress is free to use for non-profit organizations.
Commercial use: If, after trying out Tigress, you decide to use it in a for-profit organization, you will need a license from the University of Arizona. Contact us and we will put you in touch with the university's licensing department.
Binary distributions: Available for 3 platforms: Linux x86/64, Darwin x86/64, and Linux ArmV7 (Raspberry Pi 3). Note that it is possible to cross-compile; i.e. you can run Tigress on a Linux x86/64 system and generate output that runs on a 32-bit system.
Source distributions: The FAQ explains why Tigress is not open source. We are happy to share the code with you if you are a researcher at a university or a research lab and we have done so many times in the past. Download the encrypted sources below and contact us to request the decryption key. If you're a student, please ask your professor/advisor to make the request for you. Keep in mind that in order for the source to make any sense you will have to be fluent in both OCaml and CIL. Generally speaking, it is much easier to understand what Tigress does by examining input/output-pairs (remember, Tigress is C source to source, so this is easy to do) than to try to read the Tigress source code. To decrypt, execute this command: openssl enc -d -aes-256-cbc -pbkdf2 -iter 1000 -pass pass:${TIGRESS_PASSPHRASE} -in ${SRC_AES_BIN} -out decrypted.zip
Versions: The current Tigress version is 3.1. Version 3.0 can be downloaded here: binary, source. Pre-version-3 versions can be downloaded here.
Experimental Version: We are working on a new version 3.4 that will contain many new features. In the mean time, you can play with experimental versions. Although labeled experimental, most users will probably want these versions anyway since they contain many bug fixes.
We're moving to distribute Tigress as pre-built packages.
On Darwin, first download the file Tigress-Darwin-3.3.3.pkg.zip by clicking below. Then open this file by ctrl-click-ing on the Tigress-Darwin-3.3.3.pkg file and selecting open. This is necessary since the package is currently not signed.
Alternatvely, after downloading, in a Terminal, type "sudo installer -dumplog -pkg Tigress-Darwin-3.3.3.pkg -target ~". Tigress will be installed in /Applications/tigress and links to the tigress binaries will be added to /usr/local/bin. You can run a simple installation check:
/Applications/tigress/3.3.3/check.sh.
On Linux, we provide a .deb package. Download, and, in a Terminal, type "sudo dpkg --force-architecture -i tigress_3.3.3-1_any.deb". Tigress will be installed in /usr/local/bin/tigresspkg and links to the tigress binaries will be added to /usr/local/bin. You can run a simple installation check: /usr/local/bin/tigresspkg/3.3.3/check.sh.