Download

Manual

The HyLeak manual can be downloaded here: manual.HyLeak.v1.0

Artifact

HyLeak can be downloaded in a VirtualBox virtual machine, ready to use, by clicking here (~3.28 GB).  The virtual machine includes the source code, the compiled binaries, the examples, and an automated script to run the examples and plot the results.

To run all examples in the artifact:

  1. Download artifact.ova from the link above
  2. Import it in VirtualBox
  3. Start the virtual machine; it will automatically login as the default user
  4. Right-click on the Desktop and choose “Open Terminal”
  5. Write in the terminal bash ~/Desktop/run_tests.sh and press Return

The HyLeak binary in ~/Desktop/hyleak will be used to run the examples. The results will be plotted into images on the Desktop. This will take several minutes.

Source and examples

The source code and examples of HyLeak can be downloaded by clicking here: hyleak.tar.gz (~6.6 MB).

To decompress and compile it:

  1. HyLeak is written in Java. Make sure you have the last version of the Java Runtime Environment installed.
  2. Unzip the program by running tar zxvf hyleak.tar.gz
  3. Enter the HyLeak directory by running cd hyleak/
  4. Compile HyLeak by running make

HyLeak is now compiled. Refer to the Usage page for information on how to use HyLeak, and to the Language page for the input language of the programs analyzed by HyLeak.

Comments are closed.