FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution

Fuente: Wiley Open Access
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Naixiang Gou, Xiangfu Zhao, Shiji Wang, Hanfeng Zhang, Jiahui Yang
Format: Artículo Open Access
Publié: Wiley 2024
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!