Y Li, W Song,
J Huang - Proceedings of the ACM on Programming …, 2024 - dl.acm.org
Since funds or tokens in smart contracts are maintained through specific state variables,
contract audit, an effective means for security assurance, particularly focuses on these …