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

Make the system extensible with new properties added #21

Open mojtaba-eshghie opened 1 year ago

mojtaba-eshghie commented 1 year ago

You should make it possible for anybody to add any plugin to the system as a new property violation checker (PVC)! Maybe looking at this might help: https://javascript.plainenglish.io/how-to-build-a-plugin-system-with-node-js-68c097eb3a2e https://www.youtube.com/watch?v=yuEKbs934e0 https://fusebit.io/blog/build-a-plugin-system-with-node/?utm_source=www.google.com&utm_medium=referral&utm_campaign=none

mojtaba-eshghie commented 1 year ago

Also this might be helpful: https://github.com/e0ipso/plugnplay