From fafbb03a90c75e93c066ce2398db3845713b5769 Mon Sep 17 00:00:00 2001 From: Feist Josselin Date: Mon, 7 Oct 2024 10:59:01 +0200 Subject: [PATCH 1/6] Enable url redirect --- book.toml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/book.toml b/book.toml index 40c30787..81c51f97 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" = "./program-analysis/medusa/" +"slither" = "./program-analysis/slither/" +"echidna" = "./program-analysis/echidna/" \ No newline at end of file From 3b6d4429a062dbfe5ac89da68ca5e42451745eb3 Mon Sep 17 00:00:00 2001 From: Feist Josselin Date: Mon, 7 Oct 2024 11:03:01 +0200 Subject: [PATCH 2/6] minor --- book.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book.toml b/book.toml index 81c51f97..2e6440ba 100644 --- a/book.toml +++ b/book.toml @@ -22,6 +22,6 @@ enable = true level = 1 [output.html.redirect] -"medusa" = "./program-analysis/medusa/" +"medusa" = "./program-analysis/medusa/docs/src/" "slither" = "./program-analysis/slither/" "echidna" = "./program-analysis/echidna/" \ No newline at end of file From 2a15b7bcd7da4ced18d8046015c99587f2e29d3d Mon Sep 17 00:00:00 2001 From: Feist Josselin Date: Mon, 7 Oct 2024 11:09:31 +0200 Subject: [PATCH 3/6] minor --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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: From 84c335a7c6316ffabf2b774ccdc06e9622eddc70 Mon Sep 17 00:00:00 2001 From: Feist Josselin Date: Mon, 7 Oct 2024 11:12:29 +0200 Subject: [PATCH 4/6] Use index.html --- book.toml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/book.toml b/book.toml index 2e6440ba..ef8afeff 100644 --- a/book.toml +++ b/book.toml @@ -22,6 +22,6 @@ enable = true level = 1 [output.html.redirect] -"medusa" = "./program-analysis/medusa/docs/src/" -"slither" = "./program-analysis/slither/" -"echidna" = "./program-analysis/echidna/" \ No newline at end of file +"medusa" = "./program-analysis/medusa/docs/src/index.html" +"slither" = "./program-analysis/slither/index.html" +"echidna" = "./program-analysis/echidna/index.html" \ No newline at end of file From 5411f522f8c76c3606aabfb1bb51ad8890a408d0 Mon Sep 17 00:00:00 2001 From: Feist Josselin Date: Mon, 7 Oct 2024 11:16:43 +0200 Subject: [PATCH 5/6] Index.html on the right side --- book.toml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/book.toml b/book.toml index ef8afeff..7f06d376 100644 --- a/book.toml +++ b/book.toml @@ -22,6 +22,6 @@ enable = true level = 1 [output.html.redirect] -"medusa" = "./program-analysis/medusa/docs/src/index.html" -"slither" = "./program-analysis/slither/index.html" -"echidna" = "./program-analysis/echidna/index.html" \ No newline at end of file +"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 From 649ea30e85362deb938811c98764983467e7ff5c Mon Sep 17 00:00:00 2001 From: Feist Josselin Date: Mon, 7 Oct 2024 11:31:25 +0200 Subject: [PATCH 6/6] fix redirect --- book.toml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/book.toml b/book.toml index 7f06d376..981bdf03 100644 --- a/book.toml +++ b/book.toml @@ -22,6 +22,6 @@ 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 +"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