Scanning for overflow
Scanning external calls
Scanning for sensitive behavior
Scanning for abnormalities
Scanning business logic