Xu et al.

Analyzing crypto API usages in Android applications based on probabilistic models, namely, hidden Markov models and n-gram models.

Security DSLs provided by the Tool
Name
Description
Security Checks provided by the Tool
Name
Description
Checks if APIs are used correctly.