FlowDroid
From MaRDI portal
Software:38470
No author found.
Related Items (6)
Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K ⋮ Automatic synthesis of data-flow analyzers ⋮ EviCheck: Digital Evidence for Android ⋮ Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions ⋮ DynOpVm: VM-based software obfuscation with dynamic opcode mapping ⋮ \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
This page was built for software: FlowDroid
