FlowDroid

swMATH26741MaRDI QIDQ38470FDOQ38470

Author name not available (Why is that?)

Cited In (6)

• EviCheck: Digital Evidence for Android
• Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
• \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
• DynOpVm: VM-based software obfuscation with dynamic opcode mapping
• Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions
• Automatic synthesis of data-flow analyzers

This page was built for software: FlowDroid