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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Chen, Zhiyang, Liu, Ye, Beillahi, Sidi Mohamed, Li, Yi, Long, Fan
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Software Engineering Cryptography and Security Programming Languages
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/2407.10039