security

Data-Flow Framework IDEal

$IDE^{al}$ is an efficient and generic framework for pointer-tracking data-flow analysis.

CogniCrypt

Support for software developers to securely using cryptography