Moped-QLeak is a tool that can estimate information leakage in deterministic and probabilistic programs. It is based on an existing reachability analysis tool called Moped .

Moped-QLeak can calculate :

  • Min-Entropy, and

  • Shannon Entropy for sequential C-like programs (both deterministic and probabilistic).

The input language for the tool is called Remopla

At present, Moped-QLeak is supported only for UNIX platform.


Moped-QLeak has been developed by: