User Guide

This guide explains how to get started with leakiEst.

Getting Started

Describes how to run leakiEst as a command-line tool.


Defines the different dataset formats supported by leakiEst, and explains how execution data can be properly randomised.

Command Line Options

Describes the options supported by leakiEst when it is used as a command-line tool.

Java API

The documentation for leakiEst's Java API.

Compiling From Source

Explains how to compile and create an executable Java archive from leakiEst's source code.