Static Analysis of Android Apps Interaction with Automotive CAN.
Federica PanarottoAgostino CortesiPietro FerraraAmit Kr MandalFausto SpotoPublished in: SmartCom (2018)
Keyphrases
- static analysis
- dynamic analysis
- source code
- mobile applications
- mobile apps
- symbolic execution
- mobile platforms
- android platform
- malicious code
- api calls
- development tools
- android application
- regular expressions
- mobile devices
- abstract interpretation
- test generation
- test suite
- domain knowledge
- database systems
- integrity constraints
- open source
- case study
- data sets