pyrometer even if it's in beta, it's getting more common as tool.
Pyrometer is a mix of symbolic execution, abstract interpretation, and static analysis - we take ideas from each and apply them with an engineering first mindset to create an effective tool (and avoid nerdsnipes by academic papers) aiming to help both auditors and developers.
Pyrometer may eventually be language agnostic, but for now it is targeting Solidity. The code isn't currently entirely structured for multi-language support, but it has some of the bones to be able to support other EVM-targeting languages.
Deivitto
commented
1 year ago
pyrometereven if it's in beta, it's getting more common as tool.https://github.com/nascentxyz/pyrometer