disadvantages:

1. Testing for Business Logic
2. Updating the knowledge base
3. False Positives

visualisation:

Static and Dynamic

Mythril Slither

1. Solidity Coverage
   1. require in the config ?
2. Visualisation
   1. audit tag and bookmarks
3. Slither
   1. Printers : call graph
   2. API?

public functions that are never called by the contract should be declared external to save gas