4 papers
Understanding Typing-Related Bugs in Solidity Compiler
Lantian Li, Yue Pan, Dan Wang +2
The correctness of the Solidity compiler is crucial for ensuring the security of smart contracts. However, the implementation complexity of its type system often introduces elusive…
Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
Lantian Li, Yuyu Chen, Jingwen Wu +2
Smart contracts enable contract terms to be automatically executed and verified on the blockchain, and recent years have witnessed numerous applications of them in areas such as fi…
IDOL: Improved Different Optimization Levels Testing for Solidity Compilers
Lantian Li, Yejian Liang, Zhongxing Yu
As blockchain technology continues to evolve and mature, smart contracts have become a key driving force behind the digitization and automation of transactions. Smart contracts gre…
Solsmith: Solidity Random Program Generator for Compiler Testing
Lantian Li, Zhihao Liu, Zhongxing Yu
Smart contracts are computer programs that run on blockchain platforms, with Solidity being the most widely used language for their development. As blockchain technology advances,…