View in EDS HTML Full Text PDF Full Text

FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution.

Saved in:

Bibliographic Details
Title:	FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution.
Authors:	Gou, Naixiang¹ (AUTHOR), Zhao, Xiangfu¹ (AUTHOR) xiangfuzhao@gmail.com, Wang, Shiji¹ (AUTHOR), Zhang, Hanfeng¹ (AUTHOR), Yang, Jiahui¹ (AUTHOR)
Source:	Security & Privacy. Mar/Apr2025, Vol. 8 Issue 2, p1-18. 18p.
Database:	Academic Search Ultimate
Full text is not displayed to guests. Login for full access.

Description
ISSN:	24756725
DOI:	10.1002/spy2.477