The Leak detection analyzer is a verification tool for checking that the content of certain data objects does not leak to unauthorized parties in Privacy-Enhanced BPMN models. 

In particular, this tool is able to check three types of properties:

• If a selected task knows about a specified set of data;
• If a selected participant knows about a specified set of data;
• If secret sharing (PET technology) is preserved.

The Leak detection analyzer is published as an open-source project under the GPL 2 license. 

The jar file and its instructions are available at – Link

While the source code is available at – Link

Some example models can be founded here – Link