paperbot · PL 论文追踪

全部论文 待读 收藏

P2 A graph-based framework for analysing the design of smart contracts

一个分析智能合约设计的基于图的框架
FSE Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2019匹配度 2/10 · 该论文属于程序分析与图分析在 Solidity 智能合约设计度量上的应用，与用户关注的 PL↔AI、LLM/Agent 静态分析、浮点程序分析或贝叶斯程序分析均无直接交集。引用 5 inbox
Bram Vandenbogaerde
程序分析与抽象解释
crossref: 2026-09-12

AI 速览

一句话：提出基于图的框架计算 Solidity 智能合约设计度量，并初步分析 505 个 GitHub 合约。

区块链作为智能合约执行平台催生了新的编程语言。本文针对 Solidity 提出一个基于图的框架，用于计算软件设计度量；该框架将程序结构表示为图并据此提取面向对象等设计指标。作者用该框架对从 GitHub 挖掘的 505 个智能合约进行初步研究，发现多数合约从面向对象角度看较为直接，并指出需要开发智能合约特有的设计度量。

问题
如何对 Solidity 智能合约的软件设计进行量化评估，以及通用软件设计度量是否适用于智能合约尚不明确。
方法
提出基于图的框架，将 Solidity 程序结构建模为图并据此计算软件设计度量。
评估
对 GitHub 上 505 个智能合约进行初步实证研究，观察其面向对象设计特征并讨论智能合约特定度量的需求。
原文摘要（Abstract）

Used as a platform for executing smart contracts, Blockchain technology has yielded new programming languages. We propose a graph-based framework for computing software design metrics for the Solidity programming language, and use this framework in a preliminary study on 505 smart contracts mined from GitHub. The results show that most of the smart contracts are rather straightforward from an objected-oriented point of view and that new design metrics specific to smart contracts should be developed.

链接与引用

DOI 原文 ·

BibTeX 
@inproceedings{paperbot5042,
  title = {A graph-based framework for analysing the design of smart contracts},
  author = {Bram Vandenbogaerde},
  booktitle = {FSE},
  year = {2019},
  doi = {10.1145/3338906.3342495}
}