Overview
System Model
SecLan Model
Gerking et al.
Timing-based Information Flow
The analysis detects whether timing-based information flow leaks exist
Checks
Activity
Component
InformationFlow
Connection
Data
State
Detects
CWE200