{"id":66,"date":"2017-04-18T15:01:31","date_gmt":"2017-04-18T13:01:31","guid":{"rendered":"https:\/\/project.inria.fr\/hyleak\/?page_id=66"},"modified":"2017-10-30T15:06:39","modified_gmt":"2017-10-30T14:06:39","slug":"download","status":"publish","type":"page","link":"https:\/\/project.inria.fr\/hyleak\/download\/","title":{"rendered":"Download"},"content":{"rendered":"

<\/p>\n

Manual<\/h3>\n

The HyLeak manual can be downloaded here:\u00a0manual.HyLeak.v1.0<\/a><\/p>\n

Artifact<\/h3>\n

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

To run all examples in the artifact:<\/p>\n

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

    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.<\/p>\n

    Source and examples<\/h3>\n

    The source code and examples of HyLeak can be downloaded by clicking here:\u00a0hyleak.tar.gz<\/a> (~6.6 MB).<\/p>\n

    To decompress and compile it:<\/p>\n

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

      HyLeak is now compiled. Refer to the Usage<\/a> page for information on how to use HyLeak, and to the Language<\/a> page for the input language of the programs analyzed by HyLeak.<\/p>","protected":false},"excerpt":{"rendered":"

      Manual The HyLeak manual can be downloaded here:\u00a0manual.HyLeak.v1.0 Artifact HyLeak can be downloaded in a VirtualBox virtual machine, ready to use, by clicking here (~3.28 GB).\u00a0 The virtual machine includes the source code, the compiled binaries, the examples, and an automated script to run the examples and plot the results.\u2026<\/p>\n

      Continue reading<\/span><\/i><\/a> <\/p>\n","protected":false},"author":534,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-66","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/pages\/66","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/users\/534"}],"replies":[{"embeddable":true,"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/comments?post=66"}],"version-history":[{"count":12,"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/pages\/66\/revisions"}],"predecessor-version":[{"id":154,"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/pages\/66\/revisions\/154"}],"wp:attachment":[{"href":"https:\/\/project.inria.fr\/hyleak\/wp-json\/wp\/v2\/media?parent=66"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}