search

hirosystems / clarinet

Write, test and deploy high-quality smart contracts to the Stacks blockchain and Bitcoin.
https://hiro.so/clarinet
GNU General Public License v3.0
290 stars 129 forks source link

Doubling down on security analysis #1464

Open lgalabru opened 1 month ago

lgalabru commented 1 month ago

A few years ago, @obycode introduced the check checker to clarinet. I wonder how far we could push this lead - https://github.com/nascentxyz/pyrometer could be an interesting approach to investigate.

smcclellan commented 1 month ago

@hugocaillard Thoughts on this?

hugocaillard commented 3 weeks ago

Definitely something we should do 💯