Call Graph Soundness in Android Static Analysis.
Jordan SamhiRené JustTegawendé F. BissyandéMichael D. ErnstJacques KleinPublished in: CoRR (2024)
Keyphrases
- static analysis
- dynamic analysis
- source code
- java card
- symbolic execution
- regular expressions
- graph representation
- graph structure
- malicious code
- abstract interpretation
- directed graph
- graph theory
- random walk
- mobile devices
- weighted graph
- test generation
- test suite
- structured data
- smart phones
- open source
- domain knowledge