FlowDroid
From MaRDI portal
swMATH26741MaRDI QIDQ38470FDOQ38470
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=2594299
Cited In (55)
- BoSy
- EviCheck: Digital Evidence for Android
- Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
- Static detection of DoS vulnerabilities in programs that use regular expressions
- MCGP
- WALA
- DaCapo
- Soot
- Fugue
- Clara
- SPLLIFT
- Jimple
- JFlow
- FlashRelate
- FlashExtract
- Panorama
- Pixy
- TaintDroid
- Julia Static Analyzer
- F4F
- Code Virtualizer
- BinSim
- Capstone
- DynOpVm
- Dytan
- memslap
- NISLVMP
- pyftpdlib
- ReWolf
- SEEAD
- PQL
- Themida
- VOT4CS
- VMProtect
- VMGuard
- VMAttack
- VMHunt
- DREBIN
- Dava
- TAJ
- Aletheia
- BackFlow
- MorphDroid
- Sails
- GenMul
- multgen
- EMBER
- IncA
- Androguard
- AppGuard
- Apposcopy
- EviCheck
- \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results
- DynOpVm: VM-based software obfuscation with dynamic opcode mapping
- Automatic synthesis of data-flow analyzers
This page was built for software: FlowDroid
