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

Dynamically retrieving constructor parameters #84

Closed mojtaba-eshghie closed 3 weeks ago

mojtaba-eshghie commented 3 weeks ago

During a monitor deployment over the simulated environment, the contract itself will be deployed and configured, too. Thus, it is important to retrieve the correct parameters for the constructor of the contract while deploying the monitor. The constructor data type, retrieval type (static vs dynamic), as well as the source should be specified in the contract part of the global config yaml file.

Expecting to affect:

mojtaba-eshghie commented 3 weeks ago

The following parts are missing:

mojtaba-eshghie commented 3 weeks ago

The following parts are missing:

* Dynamic through on-chain function call is missing;

I will close this issue, and reopen when the tool evaluation is done.