No proper server-side form validation for neither interface file address nor address fields

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

Closed mojtaba-eshghie closed 2 months ago

mojtaba-eshghie commented 1 year ago

The server just crashes if you hit start monitor without selecting any of the above inputs!

mojtaba-eshghie commented 2 months ago

No longer applicable as we don't use client-server architecture.