Group: de.fraunhofer.iem - All Dependencies

CrySL Rules Bundle · BouncyCastle CrySL ruleset

Tarjan's Path Expression Implementation for Java · Implementation of an algorithm by Tarjan that efficiently computes path expressions based on a labeled graph

SPDS · Synchronized Pushdown Systems for Pointer and Data-Flow Analysis

CryptoAnalysis-Parent · CogniCrypt_SAST: CrySL-to-Static Analysis Compiler