Overview
System Model
SecLan Model
UMLsec
secure dependency
Analyzes the security of static dependencies
Checks
Entity
InformationFlow
ControlFlow
Detects
CWE653
CWE1395