update summary

Author: montyly

SUMMARY.md

@@ -169,12 +169,33 @@
       - [Example](./program-analysis/manticore/exercises/example.md)
       - [Exercise 1](./program-analysis/manticore/exercises/exercise1.md)
       - [Exercise 2](./program-analysis/manticore/exercises/exercise2.md)
-  - [Slither](./program-analysis/slither/README.md)
-    - [Static Analysis](./program-analysis/slither/static_analysis.md)
-    - [API](./program-analysis/slither/api.md)
-    - [Exercise 1](./program-analysis/slither/exercise1.md)
-    - [Exercise 2](./program-analysis/slither/exercise2.md)
-    - [Exercise 3](./program-analysis/slither/exercise3.md)
+  - [Slither](./program-analysis/slither/secure_contracts_docs/src/README.md)
+    - [Usage](./program-analysis/slither/secure_contracts_docs/src/Usage.md)
+    - [API](./program-analysis/slither/secure_contracts_docs/src/api/README.md)
+      - [Static Analysis](./program-analysis/slither/secure_contracts_docs/src/api/static_analysis.md)
+      - [API](./program-analysis/slither/secure_contracts_docs/src/api/api.md)
+      - [SlithIR](./program-analysis/slither/secure_contracts_docs/src/api/SlithIR.md)
+      - [SSA](./program-analysis/slither/secure_contracts_docs/src/api/SlithIR-SSA.md)
+      - [Data dependency](./program-analysis/slither/secure_contracts_docs/src/api/Data-dependency.md)
+      - [JSON output](./program-analysis/slither/secure_contracts_docs/src/api/JSON-output.md)
+    - [Detectors](./program-analysis/slither/secure_contracts_docs/src/detectors/Detector-Documentation.md)
+      - [Detectors](./program-analysis/slither/secure_contracts_docs/src/detectors/Detector-Documentation.md)
+      - [Adding a detector](./program-analysis/slither/secure_contracts_docs/src/detectors/Adding-a-new-detector.md)
+    - [Printers](./program-analysis/slither/secure_contracts_docs/src/printers/Printer-documentation.md)
+    - [Tools](./program-analysis/slither/secure_contracts_docs/src/tools/Adding-a-new-utility.md)
+      - [Addning a new tool](./program-analysis/slither/secure_contracts_docs/src/tools/Adding-a-new-utility.md)
+      - [Path Finding Utility](./program-analysis/slither/secure_contracts_docs/src/tools/Path-Finding-Utility.md)
+      - [Code Similarity](./program-analysis/slither/secure_contracts_docs/src/tools/Code-Similarity-detector.md)
+      - [Contract Flattening](./program-analysis/slither/secure_contracts_docs/src/tools/Contract-Flattening.md)
+      - [Format](./program-analysis/slither/secure_contracts_docs/src/tools/Slither-format.md)
+      - [ERC Conformance](./program-analysis/slither/secure_contracts_docs/src/tools/ERC-Conformance.md)
+      - [Property Generation](./program-analysis/slither/secure_contracts_docs/src/tools/Property-generation.md)
+      - [Upgradeability checks](./program-analysis/slither/secure_contracts_docs/src/tools/Upgradeability-Checks.md)
+    - [Tutorials](./program-analysis/slither/secure_contracts_docs/src/tutorials/README.md)
+      - [Exercise 1](./program-analysis/slither/secure_contracts_docs/src/tutorials/exercise1.md)
+      - [Exercise 2](./program-analysis/slither/secure_contracts_docs/src/tutorials/exercise2.md)
+      - [Exercise 3](./program-analysis/slither/secure_contracts_docs/src/tutorials/exercise3.md)
+
 - [Resources](./resources/tob_blogposts.md)
   - [Security contact](./resources/contact.md)
   - [Blog posts](./resources/tob_blogposts.md)