For installation instructions, please see the relevant platform page.

Choose the package that corresponds to your development platform, i.e. the machine on which you will be running Tigress. Note that it is possible to cross-compile; for example, you can run Tigress on an Linux/x86/64 system and generate output that runs on Arm7.

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

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 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: