論文の概要: The Effect of Pointer Analysis on Semantic Conflict Detection

• arxiv url: http://arxiv.org/abs/2507.20081v1
• Date: Sat, 26 Jul 2025 23:37:16 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-07-29 16:23:56.873048
• Title: The Effect of Pointer Analysis on Semantic Conflict Detection
• Title（参考訳）: 意味的衝突検出におけるポインタ解析の効果
• Authors: Matheus Barbosa, Paulo Borba, Rodrigo Bonifácio, Victor Lira, Galileu Santos,
• Abstract要約: 現在のマージツールは、異なる開発者からの変更がテキスト統合されているが、セマンティックに相互に干渉している場合に発生するセマンティックコンフリを検知しない。 意味衝突静的解析の実装におけるポインタ解析を用いて,そのような偽陽性を低減できるかどうかを理解するために,実証的研究を行った。 同じ解析をポインタ解析を用いて実装し、2つのデータセット上で実行し、その頻度を観測し、その精度と計算性能を比較する。
• 参考スコア（独自算出の注目度）: 1.8156923266875906
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Current merge tools don't detect semantic conflicts, which occur when changes from different developers are textually integrated but semantically interfere with each other. Although researchers have proposed static analyses for detecting semantic conflicts, these analyses suffer from significant false positive rates. To understand whether such false positives could be reduced by using pointer analysis in the implementation of semantic conflict static analyses, we conduct an empirical study. We implement the same analysis with and without pointer analysis, run them on two datasets, observe how often they differ, and compare their accuracy and computational performance. Although pointer analysis is known to improve precision in static analysis, we find that its effect on semantic conflict detection can be drastic: we observe a significant reduction in timeouts and false positives, but also a significant increase in false negatives, with prohibitive drops in recall and F1-score. These results suggest that, in the context of semantic conflict detection, we should explore hybrid analysis techniques, combining aspects of both implementations we compare in our study.
• Abstract（参考訳）: 現在のマージツールは、異なる開発者からの変更がテキスト統合されているが、セマンティックに相互に干渉した場合に発生するセマンティックコンフリを検知しない。 研究者は意味的対立を検出するための静的解析を提案しているが、これらの分析は有意な偽陽性率に悩まされている。 意味衝突静的解析の実装におけるポインタ解析を用いて,そのような偽陽性を低減できるかどうかを理解するために,実証的研究を行った。 同じ解析をポインタ解析を用いて実装し、2つのデータセット上で実行し、その頻度を観測し、その精度と計算性能を比較する。 ポインタ解析は静的解析の精度を向上させることが知られているが、意味的衝突検出に対するその効果は劇的であり、タイムアウトや偽陽性は著しく減少するが、偽陰性は著しく増加し、リコールやF1スコアは減少する。 これらの結果は,セマンティックコンフリクト検出の文脈において,本研究で比較した両実装の側面を組み合わせたハイブリッド分析手法を検討する必要があることを示唆している。

関連論文リスト

• Checkification: A Practical Approach for Testing Static Analysis Truths [0.0]
  本稿では,抽象解釈に基づく静的アナライザの試験法を提案する。 このアプローチの主な利点は、Ciaoアサーションベースのバリデーションフレームワーク内で直接フレーミングすることによる、シンプルさにあります。 我々は、CiaoPP静的解析器にアプローチを適用し、合理的なオーバーヘッドを伴う多くのバグを特定した。
  論文  参考訳（メタデータ） (2025-01-21T12:38:04Z)
• Contrastive Factor Analysis [70.02770079785559]
  本稿では,新しいコントラスト要因分析フレームワークを提案する。 コントラスト学習の領域において、因子分析の有利な特性を活用することを目的としている。 非負因子分析の解釈可能性特性をさらに活用するために、非負バージョンに拡張される。
  論文  参考訳（メタデータ） (2024-07-31T16:52:00Z)
• SLIFER: Investigating Performance and Robustness of Malware Detection Pipelines [12.940071285118451]
  アカデミアは、モデル1つまたはアンサンブル内の静的解析と動的解析を組み合わせることに焦点を当てる。 本稿では,多種多様な解析手法を用いて構築したマルウェア検知器の特性について検討する。 私たちが知る限り、我々はシーケンシャルなマルウェア検知器の特性を初めて調査し、実際の生産環境での行動に光を当てています。
  論文  参考訳（メタデータ） (2024-05-23T12:06:10Z)
• Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability [2.8557828838739527]
  静的解析は、固定位置よりも脆弱性が現れる場所を報告する傾向にある。 これは仮定された偽陽性や不正確な結果を引き起こす可能性がある。 我々は、既存の静的解析アルゴリズムを適応させ、マニフェストと固定位置を区別できるように設計した。
  論文  参考訳（メタデータ） (2024-03-12T16:46:29Z)
• Validation, Robustness, and Accuracy of Perturbation-Based Sensitivity Analysis Methods for Time-Series Deep Learning Models [0.0]
  本研究は,時間系列深層学習における解釈可能性の評価研究である。 私の研究は、最新のTransformerモデルにおける摂動に基づく感度解析手法について検討し、その性能をベンチマークする。
  論文  参考訳（メタデータ） (2024-01-29T19:51:50Z)
• Detecting Semantic Conflicts using Static Analysis [1.201626478128059]
  本稿では,2人の開発者によるコントリビューションをマージする際に,静的解析を用いて干渉を検出する手法を提案する。 統合シナリオから抽出した99個の実験単位のデータセットを用いて,本手法の評価を行った。
  論文  参考訳（メタデータ） (2023-10-06T14:13:16Z)
• Understanding and Mitigating Spurious Correlations in Text Classification with Neighborhood Analysis [69.07674653828565]
  機械学習モデルは、トレーニングセットに存在するが一般的な状況では当てはまらない急激な相関を利用する傾向にある。 本稿では, 周辺分析と呼ばれる新しい視点から, 突発的相関がもたらす意味について考察する。 本稿では,テキスト分類における素早い相関を緩和する正規化手法であるNFL(doN't Forget your Language)を提案する。
  論文  参考訳（メタデータ） (2023-05-23T03:55:50Z)
• Improving robustness of jet tagging algorithms with adversarial training [56.79800815519762]
  本研究では,フレーバータグ付けアルゴリズムの脆弱性について,敵攻撃による検証を行った。 シミュレーション攻撃の影響を緩和する対人訓練戦略を提案する。
  論文  参考訳（メタデータ） (2022-03-25T19:57:19Z)
• Provable Guarantees for Self-Supervised Deep Learning with Spectral Contrastive Loss [72.62029620566925]
  自己教師型学習の最近の研究は、対照的な学習パラダイムを頼りに、最先端の技術の進歩を遂げている。 我々の研究は、正の対の条件的独立性を仮定することなく、対照的な学習を分析する。 本稿では,人口増分グラフ上でスペクトル分解を行う損失を提案し,コントラスト学習目的として簡潔に記述することができる。
  論文  参考訳（メタデータ） (2021-06-08T07:41:02Z)
• Incremental False Negative Detection for Contrastive Learning [95.68120675114878]
  本稿では,自己指導型コントラスト学習のための新たな偽陰性検出手法を提案する。 対照的な学習では、検出された偽陰性を明示的に除去する2つの戦略について議論する。 提案手法は,制限された計算内での複数のベンチマークにおいて,他の自己教師付きコントラスト学習フレームワークよりも優れる。
  論文  参考訳（メタデータ） (2021-06-07T15:29:14Z)
• A Statistical Analysis of Summarization Evaluation Metrics using Resampling Methods [60.04142561088524]
  信頼区間は比較的広く,信頼性の高い自動測定値の信頼性に高い不確実性を示す。 多くのメトリクスはROUGEよりも統計的改善を示していないが、QAEvalとBERTScoreという2つの最近の研究は、いくつかの評価設定で行われている。
  論文  参考訳（メタデータ） (2021-03-31T18:28:14Z)

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

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