I have been learning smart contracts, especially EVM-based ones like Solidity. Currently, I am trying to learn Hyperledger Fabric chaincodes. I have implemented a few contracts. However, there are no code analyzers that I am aware of for chaincode. I am looking for a static code analyzer, a fuzzing test tool, and a formal verification tool. So far, I have seen reviveCC, which seems good. Chaincode-Analyzer was deprecated in 2022. I have tried Gosec and Golint; however, they are not suitable for chaincode. Can you recommend code analyzers for Hyperledger Fabric chaincode?

Thank you.