Automatic Detection of Android Steganography Apps via Symbolic Execution and Tree Matching.
Wenhao ChenLi LinJennifer NewmanYong GuanPublished in: CNS (2021)
Keyphrases
- automatic detection
- tree matching
- symbolic execution
- mobile apps
- android platform
- mobile applications
- pattern matching
- android application
- static analysis
- test data generation
- test generation
- graph matching
- source code
- specification language
- association graph
- data flow
- xml queries
- test cases
- tree mining
- software testing
- programming language
- software architecture
- software systems
- maximum weight