Let·s Get Started！

If you want to use our Salus Lightning Cat tool for automated detection of smart contracts, here is the entrance. Please follow the steps below:

1. Enter the Contract Address in the "Upload Contracts" module. This contract should already be deployed successfully and open-source.

2. Select the chain network on which this contract is deployed.

3. Wait a few minutes, and you will be able to view the detection reports in the "Dashboard" module. The detection reports will include a DOT graph of the entire smart contract project, showing the inheritance relationships between contracts, and also listing the security vulnerabilities present in these contracts. The Analyzing DOT Diagram, Analyzing Formal Verification Results, and Analyzing Fuzzing Test Results can help you analyze the detection reports.

Automated detection may have a probability of false positives. Please be sure to manually verify the results. If you need to obtain an authoritative audit report, please contact Salus for professional auditing.

Conclusions

Salus Lighting Cat tool integrates features such as DOT diagram visualization, formal verification, machine learning, and fuzzing test to enhance smart contract security for all users. Whether you have questions about Web3 security or smart contract auditing, please feel free to reach out to us anytime through Telegram or Twitter. Our team members will reply to you as soon as possible and provide assistance.