Eclipse CogniCrypt

Eclipse CogniCrypt is an intelligent open-source platform ensuring the secure usage of crypto components.

Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems