論文の概要: Mutating the "Immutable": A Large-Scale Study of Git Tag Alterations
- arxiv url: http://arxiv.org/abs/2606.31354v1
- Date: Tue, 30 Jun 2026 08:50:52 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-01 18:27:19.146616
- Title: Mutating the "Immutable": A Large-Scale Study of Git Tag Alterations
- Title（参考訳）: イミュータブル」を変更:Gitタグ変更の大規模調査
- Abstract要約: 意図した不変性にもかかわらず、Gitタグは削除や強制更新による修正によって変更することができる。
公法におけるタグ変更に関する大規模な実証的研究を初めて行った。
ビルドシステムとパッケージマネージャがコミットハッシュへの依存関係をピン留めし、開発フォージがタグ変更監査ログを公開し、コミュニティが標準のサプライチェーンセキュリティプラクティスとしてタグ変更の体系的な監視を採用することを推奨します。
- 参考スコア（独自算出の注目度）: 5.61367667188772
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Git tags are commonly viewed as immutable references in software development, marking releases and specific repository states that underpin build reproducibility and software supply-chain integrity. Despite their intended immutability, Git allows tags to be altered through deletion or modification via force-pushed updates. The prevalence of such alterations threatens reproducible builds and dependency integrity. We conduct the first large-scale empirical study of tag alterations in public code repositories, analyzing 328.4 M software repositories from Software Heritage and identifying 10.2 M tag alterations affecting 189 k unique repositories. A cross-analysis with Nixpkgs reveals that 32 packages reference tags altered in our dataset, with 7 exhibiting confirmed build errors, providing concrete evidence that tag alterations break reproducible package builds. Our findings challenge the widespread assumption that tags are immutable anchors for released software. We therefore recommend that build systems and package managers pin dependencies to cryptographic commit hashes, that development forges expose tagmutation audit logs, and that the community adopt systematic monitoring of tag alterations as a standard supply-chain security practice.
- Abstract（参考訳）: Gitタグは一般的に、ソフトウェア開発における不変参照、リリースのマーク付け、ビルド再現性とソフトウェアサプライチェーンの整合性を支える特定のリポジトリステートとして見なされる。
意図した不変性にもかかわらず、Gitでは、削除や強制プッシュ更新による変更を通じてタグを変更することができる。
このような変更の頻度は再現可能なビルドと依存性の整合性を脅かす。
我々は、公開コードリポジトリにおけるタグ変更に関する最初の大規模な実証的研究を行い、Software Heritageから328.4Mのソフトウェアリポジトリを分析し、189kのユニークなリポジトリに影響を及ぼす10.2Mのタグ変更を特定する。
Nixpkgによるクロスアナリシスでは、32のパッケージ参照タグがデータセットで変更され、7つのビルドエラーが確認され、タグ変更が再現可能なパッケージビルドを損なうという具体的な証拠が示されています。
我々の発見は、タグはリリースソフトウェアの不変アンカーである、という広く想定されている仮定に挑戦する。
したがって、ビルドシステムとパッケージマネージャが暗号コミットハッシュへの依存関係をピン留めし、開発フォージがタグ変更監査ログを公開し、コミュニティが標準のサプライチェーンセキュリティプラクティスとしてタグ変更の体系的な監視を採用することを推奨する。
関連論文リスト
- Vero: Can AI Agents Build Formally Verified Software Repositories? [45.09790101960906]
Veroはリポジトリレベルで共同実装と証明を評価する最初のベンチマークである。
Python、Dafny、Verus、Coqにまたがる実世界のリポジトリから43のマルチモジュールインスタンスが含まれている。
ベンチマークの信頼性を改善するため、Veroには、エージェントが提供された仕様の不満足さを正式に証明できる監査メカニズムも含まれている。
論文 参考訳（メタデータ） (2026-08-13T17:41:27Z) - Independent Patch Verification for Coding Agents with a Bidirectional Reconstruct-and-Verify Framework [49.16055123488827]
大規模言語モデルを利用したコーディングエージェントは、バグレポートから直接コードパッチを生成することができる。
報告された問題を真に解決するかどうかを独立に検証するメカニズムは存在しない。
本稿では,RETRACE をトレーニング不要なポストジェネレーション検証フレームワークとして提案する。
論文 参考訳（メタデータ） (2026-08-09T22:59:13Z) - SemaDiff: Identifying Semantic-Changing Commits with Generated Code and Tests [5.3138104073306005]
変更点からのセマンティック保存コミットの排除は、ソフトウェアリポジトリのマイニングにおいて、依然としてオープンな課題である。
SemaDiffは、プレコミットとポストコミットバージョンでの同様のテスト実行の比較を通じて、セマンティック保存コミットを特定するための新しいアプローチである。
SemaDiffは、セマンティックな保存と -- 約76%のケースでコミットを変更する -- を正確に区別し、セマンティックなコミット検出の精度は100%である。
論文 参考訳（メタデータ） (2026-07-14T12:23:22Z) - SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers [55.39407031861402]
本稿では,スマートコントラクトデコンパイルのためのデータセットとベンチマーク手法であるSCDBenchを紹介する。
データセットには600の現実のSolidityコントラクトと、ペア化されたバイトコード入力、地味なソースコード、再生可能なセマンティックチェックポイントが含まれている。
我々は,GLM-5の変種を含むゼロショット逆コンパイル設定において,Claude Opus 4.7,GPT-5.3-Codex,GLM-5を評価した。
論文 参考訳（メタデータ） (2026-05-27T20:08:47Z) - Trace: Securing Smart Contract Repository Against Access Control Vulnerability [58.02691083789239]
GitHubはソースコード、ドキュメント、設定ファイルを含む多数のスマートコントラクトリポジトリをホストしている。
サードパーティの開発者は、カスタム開発中にこれらのリポジトリからコードを参照、再利用、フォークすることが多い。
スマートコントラクトの脆弱性を検出する既存のツールは、複雑なリポジトリを扱う能力に制限されている。
論文 参考訳（メタデータ） (2025-10-22T05:18:28Z) - AgentPack: A Dataset of Code Changes, Co-Authored by Agents and Humans [46.56091965723774]
コード編集のための微調整された大きな言語モデルは、一般的にコミットのマイニングやプルリクエストに依存しています。
我々は、Claude Code、OpenAI Codex、Cursor Agentが共著した1.3Mコード編集コーパスであるAgentPackを紹介する。
AgentPackで微調整されたモデルは、以前の人間のみのコミットコーパスで訓練されたモデルより優れていることを示す。
論文 参考訳（メタデータ） (2025-09-26T05:28:22Z) - Altered Histories in Version Control System Repositories: Evidence from the Trenches [4.71599202491734]
公開コードリポジトリでは,Git履歴の変更に関する最初の大規模調査を実施している。
1.22Mのリポジトリに履歴の修正があり、合計8.7Mのリライト履歴がある。
私たちはGitHistorianを紹介します。これは開発者がパブリックなGitリポジトリでヒストリ変更を見つけて記述するための自動化ツールです。
論文 参考訳（メタデータ） (2025-09-11T09:34:06Z) - ChangePrism: Visualizing the Essence of Code Changes [9.321152185934105]
本稿では,ChangePrismというツールがサポートする新しい可視化手法を提案する。
このツールは、git履歴からコード変更と関連する情報を取得する抽出と、コミット中のコード変更の一般的なビューと詳細なビューを提供する可視化の2つのコンポーネントで構成されている。
一般的なビューはコミット間で異なるタイプのコード変更の概要を提供し、詳細なビューはコミット毎のソースコードの正確な変更を表示する。
論文 参考訳（メタデータ） (2025-08-18T06:23:34Z) - Towards Better Comprehension of Breaking Changes in the NPM Ecosystem [12.392457751450374]
我々は,NPM生態系の破壊的変化を調査するため,大規模な実証的研究を行っている。
我々は381のNPMプロジェクトから明示的に文書化された破壊的変更のデータセットを構築した。
我々は、JavaScriptとTypeScript固有の構文的破壊変化の分類と、主要な行動的破壊変化の分類を生成する。
論文 参考訳（メタデータ） (2024-08-26T17:18:38Z) - Alibaba LingmaAgent: Improving Automated Issue Resolution via Comprehensive Repository Exploration [64.19431011897515]
本稿では,問題解決のためにソフトウェアリポジトリ全体を包括的に理解し,活用するために設計された,新しいソフトウェアエンジニアリング手法であるAlibaba LingmaAgentを提案する。
提案手法では,重要なリポジトリ情報を知識グラフに凝縮し,複雑さを低減し,モンテカルロ木探索に基づく戦略を採用する。
Alibaba Cloudの製品展開と評価において、LingmaAgentは、開発エンジニアが直面した社内問題の16.9%を自動で解決し、手作業による介入で43.3%の問題を解決した。
論文 参考訳（メタデータ） (2024-06-03T15:20:06Z) - MS-Former: Memory-Supported Transformer for Weakly Supervised Change
Detection with Patch-Level Annotations [50.79913333804232]
弱い教師付き変化検出のためのメモリ支援トランス (MS-Former) を提案する。
MS-Former は双方向注意ブロック (BAB) とパッチレベルの監視スキーム (PSS) から構成される。
3つのベンチマークデータセットの実験結果から,提案手法の有効性が示された。
論文 参考訳（メタデータ） (2023-11-16T09:57:29Z) - On the Security Blind Spots of Software Composition Analysis [46.1389163921338]
Mavenリポジトリで脆弱性のあるクローンを検出するための新しいアプローチを提案する。
Maven Centralから53万以上の潜在的な脆弱性のあるクローンを検索します。
検出された727個の脆弱なクローンを検出し、それぞれに検証可能な脆弱性証明プロジェクトを合成する。
論文 参考訳（メタデータ） (2023-06-08T20:14:46Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。