Skip to content

Commit 02bbb65

Browse files
committed
Minor
1 parent e961cf8 commit 02bbb65

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ Brought to you by [Trail of Bits](https://www.trailofbits.com/), this repository
3131
- [Program Analysis](./program-analysis): Using automated tools to secure contracts
3232
- [Echidna](./program-analysis/echidna): A fuzzer that checks your contract's properties
3333
- [Medusa](./program-analysis/medusa/docs/src): A next-gen fuzzer that checks your contract's properties
34-
- [Slither](./program-analysis/slither): A static analyzer with both CLI and scriptable interfaces
34+
- [Slither](./program-analysis/slither/secure_contracts_docs/src/): A static analyzer with both CLI and scriptable interfaces
3535
- [Manticore](./program-analysis/manticore): A symbolic execution engine that proves the correctness of properties
3636
- For each tool, this training material provides:
3737
- A theoretical introduction, an API walkthrough, and a set of exercises

0 commit comments

Comments
 (0)