論文の概要: ArkAnalyzer: The Static Analysis Framework for OpenHarmony

• arxiv url: http://arxiv.org/abs/2501.05798v1
• Date: Fri, 10 Jan 2025 09:01:49 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-01-13 15:28:06.028321
• Title: ArkAnalyzer: The Static Analysis Framework for OpenHarmony
• Title（参考訳）: ArkAnalyzer: OpenHarmonyの静的解析フレームワーク
• Authors: Haonan Chen, Daihang Chen, Yizhuo Yang, Lingyun Xu, Liang Gao, Mingyi Zhou, Chunming Hu, Li Li,
• Abstract要約: ArkTSはOpenHarmonyモバイルオペレーティングシステム用のアプリケーション開発専用の新しいプログラミング言語である。 ArkAnalyzerはArkAnalyzerという名前のフレームワークで、オープンソースプロジェクトとして公開されている。 我々のArkAnalyzerは上記の問題に対処し、すでに多くの基本的な静的解析機能を統合している。
• 参考スコア（独自算出の注目度）: 16.740020679567802
• License:
• Abstract: ArkTS is a new programming language dedicated to developing apps for the emerging OpenHarmony mobile operating system. Like other programming languages constantly suffering from performance-related code smells or vulnerabilities, the ArkTS programming language will likely encounter the same problems. The solution given by our research community is to invent static analyzers, which are often implemented on top of a common static analysis framework, to detect and subsequently repair those issues automatically. Unfortunately, such an essential framework is not available for the OpenHarmony community yet. Existing program analysis methods have several problems when handling the ArkTS code. To bridge the gap, we design and implement a framework named ArkAnalyzer and make it publicly available as an open-source project. Our ArkAnalyzer addresses the aforementioned problems and has already integrated a number of fundamental static analysis functions that are ready to be reused by developers to implement OpenHarmony
• Abstract（参考訳）: ArkTSは、新しいOpenHarmonyモバイルオペレーティングシステム用のアプリ開発専用の新しいプログラミング言語である。 他のプログラミング言語が常にパフォーマンス関連のコードの臭いや脆弱性に悩まされているのと同じように、ArkTSプログラミング言語も同じ問題に遭遇する可能性が高い。 私たちの研究コミュニティが提供する解決策は、一般的な静的解析フレームワーク上に実装される静的アナライザを発明し、これらの問題を自動で検出し、修正することです。 残念ながら、そのような重要なフレームワークはOpenHarmonyコミュニティではまだ利用できない。 既存のプログラム解析手法では、ArkTSコードを扱う際にいくつかの問題がある。 このギャップを埋めるため、ArkAnalyzerというフレームワークを設計、実装し、オープンソースプロジェクトとして公開しています。 ArkAnalyzerは前述の問題に対処し、OpenHarmonyを実装するために開発者が再利用する準備ができている多くの基本的な静的解析機能をすでに統合しています。

関連論文リスト

• Static Code Analysis with CodeChecker [0.0]
  CodeCheckerは、さまざまな静的解析ツールを統合するオープンソースプロジェクトである。 静的解析ツールのレポート評価を容易にするために,強力なイシュー管理システムを備えている。
  論文  参考訳（メタデータ） (2024-08-05T03:48:16Z)
• Scaling Symbolic Execution to Large Software Systems [0.0]
  シンボル実行は、プログラム検証とバグ検出ソフトウェアの両方で使用される一般的な静的解析手法である。 我々は、Clang Static Analyzerと呼ばれるエラー検出フレームワークと、その周辺に構築されたインフラストラクチャーであるCodeCheckerに焦点を当てた。
  論文  参考訳（メタデータ） (2024-08-04T02:54:58Z)
• Customizing Static Analysis using Codesearch [1.7205106391379021]
  様々な静的解析アプリケーションを記述するのによく使われる言語は、Datalogである。 アプリケーションセキュリティと静的分析の専門家のための慣れ親しんだフレームワークを提供すると同時に、開発者がカスタムの静的解析ツールを簡単に構築できるようにすることを目標としています。 我々のアプローチでは,高速ランタイムを持つプログラムのみを含むDatalogの亜種であるStarLangという言語を導入しています。
  論文  参考訳（メタデータ） (2024-04-19T09:50:02Z)
• Rust for Embedded Systems: Current State, Challenges and Open Problems (Extended Report) [6.414678578343769]
  本稿では,組み込みシステムにRUSTを使用する際の現状と課題を総合的に理解するための,最初の体系的研究を行う。 さまざまなカテゴリにまたがる2,836のRUST組込みソフトウェアと5つの静的アプリケーションセキュリティテスト(SAST)ツールのデータセットを収集しました。 既存のRUSTソフトウェアサポートが不十分であること、SASTツールがRUST組み込みソフトウェアの特定の機能に対応できないこと、そして既存のRUSTソフトウェアにおける高度な型の導入が、相互運用可能なコードのエンジニアリングを困難にしていることを発見した。
  論文  参考訳（メタデータ） (2023-11-08T23:59:32Z)
• Software Engineering for OpenHarmony: A Research Roadmap [50.56072657598223]
  既存の研究は、主にAndroidとiOSという人気のモバイルプラットフォームに焦点を当てている。 新しくオープンソース化されたモバイルプラットフォームであるOpenHarmonyはめったに検討されていない。 私たちは、モバイルソフトウェアエンジニアリングコミュニティに、OpenHarmonyに有望なアプローチを貢献するよう、同僚の研究者に促す研究ロードマップを提示します。
  論文  参考訳（メタデータ） (2023-11-02T15:27:09Z)
• The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Models [18.026567399243]
  大規模言語モデル(LLM)は静的解析に代わる有望な選択肢を提供する。 本稿では,LLM支援静的解析のオープン空間を深く掘り下げる。 LLiftは,静的解析ツールとLLMの両方を併用した,完全に自動化されたフレームワークである。
  論文  参考訳（メタデータ） (2023-08-01T02:57:43Z)
• AutoCoreset: An Automatic Practical Coreset Construction Framework [65.37876706107764]
  コアセットは入力セットの小さな重み付き部分集合であり、損失関数によく似ている。 本稿では,ユーザからの入力データと所望のコスト関数のみを必要とするコアセット構築のための自動フレームワークを提案する。 この集合は有限であるが、コア集合は極めて一般であることを示す。
  論文  参考訳（メタデータ） (2023-05-19T19:59:52Z)
• SequeL: A Continual Learning Library in PyTorch and JAX [50.33956216274694]
  SequeLは継続学習のためのライブラリで、PyTorchとJAXフレームワークの両方をサポートする。 それは、正規化ベースのアプローチ、リプレイベースのアプローチ、ハイブリッドアプローチを含む、幅広い連続学習アルゴリズムのための統一インターフェースを提供する。 私たちはSequeLをオープンソースライブラリとしてリリースし、研究者や開発者が自身の目的で簡単にライブラリを実験し拡張することができます。
  論文  参考訳（メタデータ） (2023-04-21T10:00:22Z)
• D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential Analysis [55.15995704119158]
  静的解析ツールによって報告されたラベル問題に対する差分解析に基づくアプローチであるD2Aを提案する。 D2Aを使用して大きなラベル付きデータセットを生成し、脆弱性識別のためのモデルをトレーニングします。
  論文  参考訳（メタデータ） (2021-02-16T07:46:53Z)
• Retrieving and Reading: A Comprehensive Survey on Open-domain Question Answering [62.88322725956294]
  OpenQAの最近の研究動向を概観し、特にニューラルMSC技術を導入したシステムに注目した。 Retriever-Reader' と呼ばれる最新の OpenQA アーキテクチャを導入し、このアーキテクチャに従うさまざまなシステムを分析します。 次に、OpenQAシステムの開発における主要な課題について議論し、一般的に使用されるベンチマークの分析を提供する。
  論文  参考訳（メタデータ） (2021-01-04T04:47:46Z)
• KILT: a Benchmark for Knowledge Intensive Language Tasks [102.33046195554886]
  知識集約型言語タスク(KILT)のベンチマークを示す。 KILTのすべてのタスクはウィキペディアのスナップショットと同じだ。 共有密度ベクトル指数とSeq2seqモデルとの結合が強いベースラインであることが分かる。
  論文  参考訳（メタデータ） (2020-09-04T15:32:19Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。