Discovering Flaws in Security-Focused Static Analysis Tools for Android using Systematic Mutation.
Richard BonettKaushal KafleKevin MoranAdwait NadkarniDenys PoshyvanykPublished in: USENIX Security Symposium (2018)
Keyphrases
- static analysis
- java card
- dynamic analysis
- source code
- malware detection
- api calls
- symbolic execution
- genetic algorithm
- evolutionary algorithm
- test suite
- intrusion detection
- malicious code
- test generation
- mobile devices
- abstract interpretation
- security policies
- key management
- access control
- end users
- test cases
- differential evolution
- security analysis
- real world