Tools to analyze smart contract immutability

[Mokita-J]

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]

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]

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

[monperrus]

See "In Code We Trust? Measuring the Control Flow Immutability of All Smart Contracts Deployed on Ethereum" DPM 2017

No tool available.