search

chains-project / scsc

smart contract supply chain
https://chains.proj.kth.se/scsc
2 stars 0 forks source link

Tools to analyze smart contract immutability #2

Open Mokita-J opened 3 months ago

Mokita-J commented 3 months ago

A subcategory of smart contracts is library smart contracts. Library contracts have common functionalities that are deployed once to the blockchain and multiple contracts can rely on them by calling their functions. Given a library contract how do we know if their behavior is completely static?

This issue lists tools that analyze smart contract immutability.

monperrus commented 3 months ago

Given a library contract how do we know if their behavior is completely static?

A easy case if when they declare no state/variable.

monperrus commented 1 month ago

https://github.com/a16z/metamorphic-contract-detector pointed by Karolina

is definitely related, we should give it a try and look how it's implemented