Root cause analysis with DCR graphs

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

Root cause analysis with DCR graphs #22

Closed mojtaba-eshghie closed 2 months ago

mojtaba-eshghie commented 1 year ago

The current design and implementation does not support any feature regarding finding the actual cause of the violation or potentially the ability to replay the simulation trace/logs that led to this violation. Therefore, you need to add this capability.

mojtaba-eshghie commented 2 months ago

Not any of our current evaluation goals align with this issue.