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

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

14 July 2024

Sidi Mohamed Beillahi

ArXiv (abs)PDF HTML Github (38★)

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

Title
No papers