論文の概要: Relocate and Emulate: Re-Hosting Android's Application Layer
- arxiv url: http://arxiv.org/abs/2606.09528v1
- Date: Mon, 08 Jun 2026 14:14:38 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-09 14:42:07.180596
- Title: Relocate and Emulate: Re-Hosting Android's Application Layer
- Title（参考訳）: 再配置とエミュレーション: Androidのアプリケーション・レイヤを再起動
- Abstract要約: Androidのアプリケーション層の動的解析は、通常物理デバイスに依存します。
実機ファームウェアからエミュレートされた環境に,Androidフレームワークとプリインストール済みソフトウェアを移動させるシステム的再ホスト手法を提案する。
- 参考スコア（独自算出の注目度）: 2.2667493914867567
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Dynamic analysis of Android's application layer typically relies on physical devices, limiting scalability and reproducibility. To compensate, we introduce a systematic re-hosting method that relocates the Android framework and pre-installed software from real device firmware into a fully emulated environment. Our approach integrates vendor-specific components into the Android Open Source Project (AOSP) build system using tailored extraction and injection strategies, producing vendor-flavoured emulator images that preserve system integrity and runtime compatibility. This enables dynamic execution of real-world framework and application-layer components, including proprietary binaries and pre-installed apps, across multiple SDK versions. We evaluate our method on 184 firmware samples from SDK 31-33. It achieves high build and boot success rates, with residual failures primarily occurring during core-service initialization due to baseline strategy limitations, missing dependencies, device-protection checks, or emulator constraints. However, the modular design allows injection strategies to be extended for specific firmware, supporting broader compatibility and future research on automated, adaptive re-hosting. Though we identified potential for optimization through engineering vendor-specific solutions, our research demonstrates the feasibility of vendor-flavoured emulators for scalable, reproducible dynamic analysis.
- Abstract（参考訳）: Androidのアプリケーション層の動的解析は、通常物理デバイスに依存し、スケーラビリティと再現性を制限する。
そこで本研究では,実機ファームウェアからのAndroidフレームワークとソフトウェアを,完全にエミュレートされた環境に事前インストールするシステム的再ホスト手法を提案する。
当社のアプローチでは,Android Open Source Project (AOSP) 構築システムにベンダ固有のコンポーネントを統合する。
これにより、複数のSDKバージョンで、プロプライエタリなバイナリやプリインストール済みアプリを含む現実世界のフレームワークとアプリケーション層コンポーネントの動的実行が可能になる。
提案手法はSDK 31-33の184個のファームウェアを用いて評価した。
ベースライン戦略の制限、依存関係の欠如、デバイス保護チェック、エミュレータの制約により、コアサービスの初期化時に主に残っていた障害が発生するため、ビルドとブートの成功率が高い。
しかし、モジュール化された設計により、特定のファームウェアに対してインジェクション戦略を拡張し、より広範な互換性をサポートし、自動化されたアダプティブな再ホストに関する将来の研究をサポートすることができる。
我々は、ベンダー固有のソリューションによる最適化の可能性を見出したが、我々の研究は、スケーラブルで再現可能な動的解析のためのベンダーが定義したエミュレータの実現可能性を実証した。
関連論文リスト
- Flower Hub: A Reproducible Benchmarking Platform for Federated Learning in Simulation and Deployment [51.83961778298564]
Flower Hubは、分散およびフェデレーションされたアプリケーションを公開、発見、実行するためのプラットフォームです。
ベンチマークを実行可能としてパッケージングすることで再現性のあるベンチマークを実現する方法、標準化されたメタデータを備えたバージョン管理されたアプリケーション、ピン付き依存関係、明示的な評価について示す。
論文 参考訳（メタデータ） (2026-08-25T20:09:44Z) - PhyAgentOS: A Self-Evolving Operating System for Embodied Agents with Decoupled Cognitive Planning and Physical Execution [49.776611937968]
我々は、スケジューリング、検証、メモリ、ベンチマーク、安全性をシステムレベルのサービスとして提供するPhyAgentOSを紹介します。
セッション中心のセッションは、スケジューリング、互換性、監督された実行、エビデンス収集、受け入れの最小単位として、アクションではなくセッションを扱う。
SessionVerifierは、実行終了とセマンティックタスク完了を、成功、失敗、または再計画のエビデンスに基づいて判断する。
ベンチマークはデプロイメントセッションと検証パスを再利用するので、結果は実際の実行に遡る。
論文 参考訳（メタデータ） (2026-07-18T04:46:53Z) - FirmCure:Towards Autonomous and Adaptive Rehosting of Linux-Based Firmware [11.13292162163197]
フルシステムの再ホストは、Linuxベースのファームウェアのセキュリティ分析において重要な役割を果たす。
我々は、Linuxベースのファームウェアを自律的かつ適応的に再ホストする最初のLLM駆動のフルシステム再ホストフレームワークであるFirmCureを提案する。
論文 参考訳（メタデータ） (2026-06-23T13:15:54Z) - What You See Is Not What You Execute: Memory-Based Runtime SBOM Generation for Supply Chain Security [0.73493417424903]
本稿では,Python アプリケーションから直接,Software Bill of Materials (SBOM) アーティファクトを生成する最初のメモリ法医学フレームワーク MEM-SBOM について述べる。
インタプリタの内部構造からモジュールを復元し、パッケージバージョンを解決し、バイトコードを分析して依存性グラフを構築し、脆弱な関数を識別する。
100%の抽出精度を実現し、トルネード依存の脆弱なルーチンを呼び出す唯一のアプリケーションとしてStreamlitを特定し、既存のSBOMツールで見逃されているすべてのランタイムパッケージを復元する。
論文 参考訳（メタデータ） (2026-06-22T04:08:26Z) - The Model Is Not the Product: A Dual-Pillar Architecture for Local-First Psychological Coaching [51.56484100374058]
本報告では,iOS アプリケーションである Psych LM について紹介する。
Psych LMは、動作およびライフコーチングアプリケーション用に設計された、目的に構築された、ローカルファーストのランタイム内で、ローカル、オンデバイス言語モデルを実行する。
論文 参考訳（メタデータ） (2026-05-23T05:49:11Z) - Edge AI Deployment Beyond Models: A BSP-Aware Systems Framework for Industrial Embedded Platforms [0.0]
産業用エッジAIプログラムは、しばしばモデルから始まり、後にプラットフォームに直面する。
本稿は、エッジAIのロバストなデプロイメントは、後期的なアプリケーションのパッケージングではなく、システムの問題として扱う必要がある、と論じる。
論文 参考訳（メタデータ） (2026-04-20T17:52:05Z) - VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation [52.43796056267479]
高品質なベリログコード生成のためのPPA対応ツール統合マルチエージェントフレームワークを提案する。
当社のフレームワークでは,EDAツールをtextitProgrammer Agent, textitCorrectness Agent, textitPPA Agentで構成されるクローズドループワークフローに明示的に組み込んでいる。
モデル再トレーニングなしに継続的な改善をサポートするために,構造化メモリノードに最適化エクスペリエンスを外部化するtextitEvolved Memory Mechanismを導入する。
論文 参考訳（メタデータ） (2026-03-18T11:25:40Z) - ABC-Bench: Benchmarking Agentic Backend Coding in Real-World Development [72.4729759618632]
本稿では,現実的かつ実行可能なワークフロー内でエージェントバックエンドコーディングを評価するベンチマークであるABC-Benchを紹介する。
オープンソースリポジトリから8つの言語と19のフレームワークにまたがる224の実践的なタスクをキュレートしました。
我々の評価は、最先端モデルでさえ、これらの総合的なタスクに対して信頼性の高いパフォーマンスを提供するのに苦労していることを示している。
論文 参考訳（メタデータ） (2026-01-16T08:23:52Z) - Process-Level Trajectory Evaluation for Environment Configuration in Software Engineering Agents [71.85020581835042]
大規模言語モデルベースのエージェントは、ソフトウェアエンジニアリングの約束を示すが、環境構成はボトルネックのままである。
既存のベンチマークでは、エンドツーエンドのビルド/テストの成功のみを評価し、エージェントが成功または失敗する場所と理由を見極めている。
本研究では,環境設定計画中の細粒度エージェントのプロセスレベルの軌道評価を行うEnconda-benchを紹介する。
論文 参考訳（メタデータ） (2025-10-29T16:59:07Z) - vApps: Verifiable Applications at Internet Scale [2.931173822616461]
検証可能なアプリケーション(vApps)は、検証可能なコンピューティングアプリケーションの作成とデプロイを効率化するために設計された、新しい開発フレームワークである。
vAppsは、包括的なSDK内でRustベースのドメイン特化言語(DSL)を統一する。
これにより、多様なソフトウェアコンポーネントの確保に対する開発者の負担が軽減され、アプリケーションロジックに集中できるようになる。
論文 参考訳（メタデータ） (2025-04-21T02:19:06Z) - Efficient Multi-Instance Generation with Janus-Pro-Dirven Prompt Parsing [53.295515505026096]
Janus-Pro-driven Prompt Parsingは、テキスト理解とレイアウト生成をブリッジするプロンプト解析モジュールである。
MIGLoRAはパラメータ効率の良いプラグインで、低ランク適応を UNet (SD1.5) と DiT (SD3) のバックボーンに統合する。
提案手法はパラメータ効率を維持しつつCOCOおよびLVISベンチマークの最先端性能を実現する。
論文 参考訳（メタデータ） (2025-03-27T00:59:14Z) - TREBLE: Fast Software Updates by Creating an Equilibrium in an Active Software Ecosystem of Globally Distributed Stakeholders [0.0]
TREBLEはAndroidでモジュールベースを構築するための2年間のイニシアチブです。
私たちのTREBLEアーキテクチャは、Javaで書かれたハードウェアに依存しないコアフレームワークと、ハードウェア依存のベンダー実装を分離します。
我々は,年次リリースモデルを用いて,TREBLEアーキテクチャの変更をシリコンベンダやデバイスメーカに提供した経験について論じる。
論文 参考訳（メタデータ） (2024-09-19T20:34:54Z) - Designing and Implementing a Generator Framework for a SIMD Abstraction Library [53.84310825081338]
SIMD抽象化ライブラリを生成するための新しいエンドツーエンドフレームワークであるTSLGenを提案する。
私たちのフレームワークは既存のライブラリに匹敵するもので、同じパフォーマンスを実現しています。
論文 参考訳（メタデータ） (2024-07-26T13:25:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。