Overview
System Model
SecLan Model
PeX
Permission Check Analysis
Checks whether there are missing, inconsistent, and redundant permission checks
Checks
ControlFlow
Activity
Detects
CWE749
CWE648
CWE269