OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Zhiyang, Liu, Ye, Beillahi, Sidi Mohamed, Li, Yi, Long, Fan
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Cryptography and Security Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2407.10039