Improve slither performance

[aviggiano]

Describe the desired feature

Hello

Are there any plans to improve Slither's performance?

I am using Echidna on a big project, and I think slither is one of the main bottlenecks in my iterative process of compiling --> changing --> testing

$ echidna EchidnaTester.sol --test-mode assertion --contract EchidnaTester --config config.yaml 
[2023-08-31 14:33:53.84] Compiling EchidnaTester.sol... Done! (3.685049s)
Analyzing contract: EchidnaTester.sol:EchidnaTester
[2023-08-31 14:33:58.63] Running slither on EchidnaTester.sol... Done! (59.362562s)

Is this expected, or may I be running into any kind of issue?

[smonicas]

Hello, can you try this PR and see if it improves. Additionally you could also try it with thisa commit Cache contract functions declared. Thank you.

[aviggiano]

@smonicas thanks for the quick reply

I'm using the dev-echidna branch and it worked!

[2023-08-31 15:10:19.64] Compiling EchidnaTester.sol... Done! (5.228761s)
Analyzing contract: EchidnaTester.sol:EchidnaTester
[2023-08-31 15:10:25.96] Running slither on EchidnaTester.sol... Done! (6.352373s)

I guess I'll close this issue