Skip to main content

Showing 1–1 of 1 results for author: Ruschioni, L

Searching in archive cs. Search in all archives.
.
  1. arXiv:2505.01282  [pdf, ps, other

    cs.SE cs.PL

    Micro-Patterns in Solidity Code

    Authors: Luca Ruschioni, Robert Shuttleworth, Rumyana Neykova, Barbara Re, Giuseppe Destefanis

    Abstract: Solidity is the predominant programming language for blockchain-based smart contracts, and its characteristics pose significant challenges for code analysis and maintenance. Traditional software analysis approaches, while effective for conventional programming languages, often fail to address Solidity-specific features such as gas optimization and security constraints. This paper introduces micr… ▽ More

    Submitted 2 May, 2025; originally announced May 2025.