> For the complete documentation index, see [llms.txt](https://docs.salusec.io/untitled/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.salusec.io/untitled/lightning-cat/lightning-cat-overview.md).

# Lightning Cat Overview

## What is Lightning Cat？

[Salus Lightning Cat ](https://salusec.io/)is a smart contract quick detection tool. It aims to provide users with efficient, simple, and cost-effective vulnerability detection services. This tool integrates various key features, including machine learning, DOT Diagram generation, formal verification, and fuzzing test. All of these features are integrated into a user-friendly interface, working together to provide you with a report in as little as 20 minutes. If you have business needs including but not limited to due diligence, security assessments, code quality assessments and optimization, Lightning Cat can provide professional services for you.

## Lightning Cat Core Features

Now, we will introduce the four core features of the Salus Lightning Cat tool and how to analyze their respective detection results.

1. [**Machine Learning**](/untitled/lightning-cat/machine-learning.md): Salus security solution uses machine learning and deep learning to conduct smart contract security testing.
2. [**DOT Diagram**](/untitled/lightning-cat/dot-diagram.md): Used to display the inheritance relationships, functions, variables, and their visibility in smart contracts.
3. [**Formal Verification**](/untitled/lightning-cat/formal-verification.md): By verifying the bytecode of smart contracts, Lightning Cat can discover potential vulnerabilities and security issues.
4. [**Fuzzing Test**](/untitled/lightning-cat/fuzzing-test.md): By generating and inputting a large amount of random data, Lightning Cat can detect vulnerabilities in ERC20 and ERC721 Token contracts.

{% content-ref url="/pages/gAWpPqMuJTjkZM6t5Ezv" %}
[Machine Learning](/untitled/lightning-cat/machine-learning.md)
{% endcontent-ref %}

{% content-ref url="/pages/NPteIY8hUWTdy9T1wtIK" %}
[DOT Diagram](/untitled/lightning-cat/dot-diagram.md)
{% endcontent-ref %}

{% content-ref url="/pages/lcXwgmcjoBku6CoMeWkh" %}
[Formal Verification](/untitled/lightning-cat/formal-verification.md)
{% endcontent-ref %}

{% content-ref url="/pages/d8Ui3LMs04YH0Vh8YVZp" %}
[Fuzzing Test](/untitled/lightning-cat/fuzzing-test.md)
{% endcontent-ref %}