search

mojtaba-eshghie / HighGuard

The runtime monitoring tool for smart contracts high-level properties.
https://arxiv.org/abs/2305.08254
MIT License
5 stars 2 forks source link

Run through new block transactions instead of subscribing to events #25

Closed mojtaba-eshghie closed 1 year ago

mojtaba-eshghie commented 1 year ago

Subscribing to events demands SC code instrumentation for monitor-compatible events. Replace it by the approach suggested at title.