A Semantic Ontology-Based Model for Solidity Smart Contracts With an LLM-Assisted Natural-Language Query Use Case
Smart contracts increasingly support high-value and governance-critical blockchain applications, making precise program understanding important for reliable analysis and tooling. Many existing analysis tools rely on task-specific pipelines in which extracted program knowledge is not readily available as reusable and in...