Cooperative Android App analysis / Felix Pauck ; advisors Prof. Dr. Heike Wehrheim, Prof. Dr. Eric Bodden. Paderborn, 2023
Inhalt
- Abstract
- Acknowledgment
- Table of Contents
- Introduction
- Background
- Android
- Components
- Inter-Component/-App Communication (ICC/IAC)
- Manifest
- Features and Specialties
- Running Example 1: Introduction (Part 1/5)
- Android App Analysis
- Analysis Representations
- Analysis Types
- Analysis Effectiveness and Efficiency
- Running Example 1: Analyzable Properties (Part 2/5)
- Benchmarks
- Analysis Frameworks, Tools and Benchmark Suites
- Cooperative Analysis
- Hard & Soft Requirements (Related Work)
- The Android App Analysis Query Language (AQL)
- Running Example 1: Intuitive Introduction to the AQL (Part 5/5)
- AQL-Queries: Syntax
- AQL-Queries: Semantics
- Example 2: Query Progression
- AQL-Answers: Structure
- Strategies
- AQL-System
- Automatic and Reproducible Benchmarks
- Evaluation
- Cooperative Analysis 1: Inter-Component Communication (ICC) & Slicing
- Cooperative Analysis 2: Inter-App Communication (IAC) & App Merging
- Cooperative Analysis 3: Reflection & Native Code
- Cooperative Analysis 4: False Positive Elimination
- Cooperative Analysis 5: Sources & Sinks
- Cooperative Analysis 6: Backward Compatibility
- Supplementary Discussion
- Conclusion
- Appendix
- Code Comparison (Source Code, Jimple, Bytecode)
- Framework, Tool and Benchmark Suite Contribution Summary
- Additional Example (Intents, Intent Filters, Intent Sinks, Intent Sources)
- Experimental Details
- Grammar & Schemas
- Artifact (Digital Appendix)
- Index
- References