diff --git a/README.md b/README.md index 83a73d2d..e7bd2c49 100644 --- a/README.md +++ b/README.md @@ -29,7 +29,7 @@ Brought to you by [Trail of Bits](https://www.trailofbits.com/), this repository - [Solana](./not-so-smart-contracts/solana) - [Program Analysis](./program-analysis): Using automated tools to secure contracts - [Echidna](./program-analysis/echidna): A fuzzer that checks your contract's properties - - [Medusa](./program-analysis/medusa): A next-gen fuzzer that checks your contract's properties + - [Medusa](./program-analysis/medusa/docs/src): A next-gen fuzzer that checks your contract's properties - [Slither](./program-analysis/slither): A static analyzer with both CLI and scriptable interfaces - [Manticore](./program-analysis/manticore): A symbolic execution engine that proves the correctness of properties - For each tool, this training material provides: diff --git a/book.toml b/book.toml index 40c30787..981bdf03 100644 --- a/book.toml +++ b/book.toml @@ -20,3 +20,8 @@ mathjax-support = true [output.html.fold] enable = true level = 1 + +[output.html.redirect] +"medusa/index.html" = "../program-analysis/medusa/docs/src" +"slither/index.html" = "../program-analysis/slither" +"echidna/index.html" = "../program-analysis/echidna" \ No newline at end of file