where do you use Slither?

[zjuchenyuan]

As the slither repo points to your paper, and your paper states :

In order to obtain those features, one can use compilers such as Slither [16], a static analysis framework designed to provide human-readable information and insights into smart contracts written in the Solidity programming language. Slither allows the application of commonly used program analysis techniques such as dataflow and taint tracking. Moreover, Slither detects various important features and vulnerabilities, such as minting, reentrancy vulnerability, and pausable smart contracts.

But I cannot find any reference to Slither in your code? Do you use slither to get features?

Besides, could you share the usage of slither? Like how to determine pausable?

Thanks in advance

[BrunoMazorra]

Hey! We were using slither for some time, but at the end of the day we had used other features to obtain the similar results. So we did not use push it to this repo. Also, at the time of execution, we found that slither was falling with some of these features.