de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
jump to main content
Search Details
Quicksearch:
OK
Result-List
Title
Title
Content
Content
Page
Page
Search Book
Cooperative Android App analysis / Felix Pauck ; advisors Prof. Dr. Heike Wehrheim, Prof. Dr. Eric Bodden. Paderborn, 2023
Content
Abstract
Acknowledgment
Table of Contents
Introduction
Approach
Contributions and Structure
Publication Details
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
Evaluation Metrics
Ground Truths
Benchmark Types
Running Example 1: The Benchmark Case (Part 3/5)
Analysis Frameworks, Tools and Benchmark Suites
Frameworks
Tools
Benchmark Suites
Running Example 1: Tool Results (Part 4/5)
Cooperative Analysis
Hard & Soft Requirements (Related Work)
Analysis Tools
Query Languages and Result Formats
Cooperation Types
Summary
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
Running Example 3: Strategy Application (Part 1/2)
AQL-System
Configuration & Rules
Workflow
Implementation Details
Running Example 3: Workflow Run-Through (Part 2/2)
AQL-WebService
Automatic and Reproducible Benchmarks
BREW
The Baseline
Experiment 1: Feature Promises
Experiment 2: Framework Adoption Capabilities
Experiment 3: Accuracy Promises
Experiment 4: Accuracy Comparison
Experiment 5: Real-World Readiness
Evaluation
Cooperative Analysis 1: Inter-Component Communication (ICC) & Slicing
Cooperative Analysis 1: Tools
Cooperative Analysis 1: Strategies
Cooperative Analysis 1: Results
Cooperative Analysis 2: Inter-App Communication (IAC) & App Merging
Cooperative Analysis 2: Tools
Cooperative Analysis 2: Strategies
Cooperative Analysis 2: Results
Cooperative Analysis 3: Reflection & Native Code
Cooperative Analysis 3: Tools
Cooperative Analysis 3: Strategies
Cooperative Analysis 3: Results
Cooperative Analysis 4: False Positive Elimination
Cooperative Analysis 4: Tools
Cooperative Analysis 4: Strategy
Cooperative Analysis 4: Results
Cooperative Analysis 5: Sources & Sinks
Cooperative Analysis 5: Tools
Cooperative Analysis 5: Strategies
Cooperative Analysis 5: Results
Cooperative Analysis 6: Backward Compatibility
Cooperative Analysis 6: Tools
Cooperative Analysis 6: Strategies
Cooperative Analysis 6: Results
Supplementary Discussion
Automatic Applicability of Cooperative Strategies
Secondary Performance Aspects
Conclusion
Future Work
Discussion
Summary
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
Execution Environment: Specifications
Experiment 1: Details
Benchmark Set: Play Store Top15 Free
Grammar & Schemas
AQL-Query Grammar
AQL-Answer XSD
Configuration XSD
Rules XSD
Exemplary Schema Instance
Artifact (Digital Appendix)
Table of Contents
Raw Results
Index
References
The search-operation requires javascript to be activated.