Requesting add new Publicly Available Security Analysis Techniques about web3bugs HOT 2 OPEN

Hi @soaphorn!

I am grateful for your contribution and would like to express my appreciation for the valuable material you have provided. I will review the material and update the list with your contributions shortly. Thank you for your positivity and willingness to assist with this project!

from web3bugs.

Hi @soaphorn!

Upon careful examination of the tools you suggested, I have decided to temporarily delay their integration into the list.

Regarding Kani and Prusti, it appears that they primarily serve as general Rust analyzers. As such, I believe it would be more appropriate not to include them in the list. However, I welcome and encourage you to share your thoughts on this matter.

As for the first two tools, I must admit that I am not an expert in Cario/StarkNet, which makes it difficult for me to accurately assess their value. Additionally, they have garnered a limited number of stars, leading me to wait for further community input before making a decision.

Your opinions are highly valued, so please feel free to share your thoughts and any additional information that you believe may be relevant. Thanks again for your understanding and collaboration.

from web3bugs.