Abstract: Smart contracts are self-executing digital agreements deployed on blockchain platforms, where ensuring security is crucial due to their immutable nature. Understanding token-level semantics ...