Data Flow Analysis

An open-source framework for architecture-based confidentiality analysis, developed by a team of researchers at KIT.