論文の概要: OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
- arxiv url: http://arxiv.org/abs/2407.10039v1
- Date: Sun, 14 Jul 2024 01:35:22 GMT
- ステータス: 処理完了
- システム内更新日: 2024-07-16 19:48:19.191112
- Title: OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
- Title（参考訳）: OpenTracer: スマートコントラクト不変生成とそれ以外のための動的トランザクショントレースアナライザ
- Authors: Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long,
- Abstract要約: 現在、完全なトランザクション情報の包括的な追跡を提供するオープンソースツールは存在しない。
OpenTracerは、すべての実行ステップの包括的なトラッキングを保証し、完全なトランザクション情報を提供する。
このツールは完全にオープンソースであり、トランザクションの振る舞いを研究する開発者や研究者にとって貴重なリソースとなっている。
- 参考スコア（独自算出の注目度）: 8.848934430494088
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Smart contracts, self-executing programs on the blockchain, facilitate reliable value exchanges without centralized oversight. Despite the recent focus on dynamic analysis of their transaction histories in both industry and academia, no open-source tool currently offers comprehensive tracking of complete transaction information to extract user-desired data such as invariant-related data. This paper introduces OpenTracer, designed to address this gap. OpenTracer guarantees comprehensive tracking of every execution step, providing complete transaction information. OpenTracer has been employed to analyze 350,800 Ethereum transactions, successfully inferring 23 different types of invariant from predefined templates. The tool is fully open-sourced, serving as a valuable resource for developers and researchers aiming to study transaction behaviors or extract and validate new invariants from transaction traces. The source code of OpenTracer is available at https://github.com/jeffchen006/OpenTracer.
- Abstract（参考訳）: ブロックチェーン上の自己実行プログラムであるスマートコントラクトは、集中的な監視なしに信頼性の高い価値交換を促進する。
業界とアカデミックの両方におけるトランザクション履歴の動的解析に最近焦点が当てられているが、現在オープンソースツールは、不変関連データなどのユーザから望まれるデータを抽出するために、完全なトランザクション情報の包括的な追跡を提供している。
本稿では,このギャップに対処するために設計されたOpenTracerを紹介する。
OpenTracerは、すべての実行ステップの包括的なトラッキングを保証し、完全なトランザクション情報を提供する。
OpenTracerは350,800のEthereumトランザクションを分析し、事前に定義されたテンプレートから23種類の不変性を推論することに成功している。
このツールは完全にオープンソースであり、トランザクションの振る舞いを研究したり、トランザクショントレースから新しい不変性を抽出し、検証することを目的とした、開発者や研究者にとって貴重なリソースとして機能する。
OpenTracerのソースコードはhttps://github.com/jeffchen006/OpenTracerで入手できる。
関連論文リスト
- SmartInv: Multimodal Learning for Smart Contract Invariant Inference [10.468390413756863]
We present SmartInv, a accurate and fast smart contract invariant inference framework。
私たちの重要な洞察は、スマートコントラクトの期待される振る舞いは、マルチモーダル情報に対する理解と推論に依存している、ということです。
SmartInvを実世界の契約で評価し、数百万ドルの損失をもたらしたバグを再発見しました。
論文 参考訳（メタデータ） (2024-11-14T06:28:57Z) - How to Understand Whole Software Repository? [64.19431011897515]
リポジトリ全体に対する優れた理解は、自動ソフトウェアエンジニアリング(ASE)への重要な道になるでしょう。
本研究では,リポジトリ全体を包括的に理解するためのエージェントによるRepoUnderstanderという新しい手法を開発した。
リポジトリレベルの知識をより活用するために、エージェントをまとめ、分析し、計画する。
論文 参考訳（メタデータ） (2024-06-03T15:20:06Z) - Demystifying Invariant Effectiveness for Securing Smart Contracts [8.848934430494088]
本稿では,上位監査会社やセキュリティ専門家が支持する,著名なプロトコルに展開する8つのカテゴリの23種類の不変量について検討した。
我々は、その履歴トランザクションデータに基づいて、所定の契約用にカスタマイズされた新しい不変量を動的に生成するツールTrace2Invを開発した。
以上の結果から,最も有効な不変ガード単独で,ガスオーバーヘッドを最小限に抑えた27種のうち18種をブロックできることが判明した。
論文 参考訳（メタデータ） (2024-04-22T20:59:09Z) - Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction [10.723903783651537]
過去の取引履歴から契約仕様を推測するための仕様マイニング手法を提案する。
提案手法は,トランザクション履歴から統計的に推測されるプログラム不変量とともに,関数呼び出しの高レベルな挙動自動化を導出する。
論文 参考訳（メタデータ） (2024-03-20T03:39:51Z) - STraceBERT: Source Code Retrieval using Semantic Application Traces [0.0]
STraceBERTは、Javaの動的解析ツールを使用してコアJavaライブラリへの呼び出しを記録する新しいアプローチである。
本実験は,既存のアプローチと比較してソースコードの検索におけるSTraceBERTの有効性を実証するものである。
論文 参考訳（メタデータ） (2023-12-07T22:19:50Z) - Blockchain Large Language Models [65.7726590159576]
本稿では,異常なブロックチェーントランザクションを検出するための動的,リアルタイムなアプローチを提案する。
提案するツールであるBlockGPTは、ブロックチェーンアクティビティのトレース表現を生成し、大規模な言語モデルをスクラッチからトレーニングして、リアルタイム侵入検出システムとして機能させる。
論文 参考訳（メタデータ） (2023-04-25T11:56:18Z) - End-to-end Tracking with a Multi-query Transformer [96.13468602635082]
マルチオブジェクトトラッキング(MOT)は、時間とともにシーン内のオブジェクトの位置、外観、アイデンティティを同時に推論する必要がある課題である。
本研究の目的は、トラッキング・バイ・ディテクト・アプローチを超えて、未知のオブジェクト・クラスに対してもよく機能するクラスに依存しないトラッキングへと移行することである。
論文 参考訳（メタデータ） (2022-10-26T10:19:37Z) - Track to Detect and Segment: An Online Multi-Object Tracker [81.15608245513208]
TraDeSは、エンドツーエンドの検出を支援するために追跡の手がかりを利用するオンライン共同検出および追跡モデルです。
TraDeSは、以前のオブジェクトの機能を伝播するために使用されるコストボリュームでオブジェクト追跡オフセットを推測します。
論文 参考訳（メタデータ） (2021-03-16T02:34:06Z) - Utility-Optimized Synthesis of Differentially Private Location Traces [10.060822510822309]
提案するOptaTraceは,差分的にプライベートな位置トレース合成のためのユーティリティ最適化およびターゲットアプローチである。
我々は,OptaTraceの最適化された出力が,従来の作業に比べて実用性の向上とエラー低減をもたらすことを示す。
論文 参考訳（メタデータ） (2020-09-14T15:07:45Z) - Chained-Tracker: Chaining Paired Attentive Regression Results for
End-to-End Joint Multiple-Object Detection and Tracking [102.31092931373232]
そこで我々は,3つのサブタスク全てをエンド・ツー・エンドのソリューションに統合する簡単なオンラインモデルである Chained-Tracker (CTracker) を提案する。
鎖状構造と対の注意的回帰という2つの大きな特徴は、CTrackerをシンプルに、速く、効果的にする。
論文 参考訳（メタデータ） (2020-07-29T02:38:49Z) - Petri Nets with Parameterised Data: Modelling and Verification (Extended
Version) [67.99023219822564]
我々は、カタログネットと呼ばれるカラーペトリネットの拡張を紹介し、研究し、このタイプのプロセスを捉える2つの重要な特徴を提供する。
我々は、新しい価値注入が特に扱いにくい機能であることを示し、それを改ざんするための戦略について議論する。
論文 参考訳（メタデータ） (2020-06-11T17:26:08Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。