From 54d28650968c0d71d2daf01d9473fa29213a0146 Mon Sep 17 00:00:00 2001 From: Feist Josselin Date: Mon, 7 Oct 2024 09:29:59 +0200 Subject: [PATCH 1/4] Update medusa --- program-analysis/medusa | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/program-analysis/medusa b/program-analysis/medusa index 67500325..e018eb31 160000 --- a/program-analysis/medusa +++ b/program-analysis/medusa @@ -1 +1 @@ -Subproject commit 6750032502ed64952435dc408be3d8a1a107eb5c +Subproject commit e018eb311c31feac24b37d2326990a4d3310566f From 848ae3caa7d6352c95792e81333440fc572b2030 Mon Sep 17 00:00:00 2001 From: Feist Josselin Date: Mon, 7 Oct 2024 09:33:16 +0200 Subject: [PATCH 2/4] enable medusa --- README.md | 1 + SUMMARY.md | 9 +++++++++ 2 files changed, 10 insertions(+) diff --git a/README.md b/README.md index cd16ee45..83a73d2d 100644 --- a/README.md +++ b/README.md @@ -29,6 +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 - [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/SUMMARY.md b/SUMMARY.md index 67a6edd3..37cb46a0 100644 --- a/SUMMARY.md +++ b/SUMMARY.md @@ -106,6 +106,15 @@ - [Exercise 6](./program-analysis/echidna/exercises/Exercise-6.md) - [Exercise 7](./program-analysis/echidna/exercises/Exercise-7.md) - [Exercise 8](./program-analysis/echidna/exercises/Exercise-8.md) + - [Medusa](./program-analysis/medusa/docs/src/README.md) - [Getting Started](./program-analysis/medusa/docs/src/getting_started/installation.md) + - [Project Configuration](./program-analysis/medusa/docs/src/project_configuration/overview.md) + the vast number of configuration options that can be set up based on your project needs. + - [Command Line Interface](./program-analysis/medusa/docs/src/cli/overview.md) + - [Writing Tests](./program-analysis/medusa/docs/src/testing/overview.md) + - [API (WIP)](./program-analysis/medusa/docs/src/api/api_overview.md) + - [Cheatcodes](./program-analysis/medusa/docs/src/cheatcodes/cheatcodes_overview.md) + - [Console Logging](./program-analysis/medusa/docs/src/console_logging.md) + - [FAQ](./program-analysis/medusa/docs/src/faq.md) - [Manticore](./program-analysis/manticore/README.md) - [Introduction to symbolic execution](./program-analysis/manticore/symbolic-execution-introduction.md): - [Running under Manticore](./program-analysis/manticore/running-under-manticore.md) From f9fe317fb019a9171c8d8fa5073a0779eb66a70e Mon Sep 17 00:00:00 2001 From: Feist Josselin Date: Mon, 7 Oct 2024 09:47:03 +0200 Subject: [PATCH 3/4] checkout submodules --- .github/workflows/lint_links.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/lint_links.yml b/.github/workflows/lint_links.yml index 61f57e8c..838c7582 100644 --- a/.github/workflows/lint_links.yml +++ b/.github/workflows/lint_links.yml @@ -20,6 +20,8 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 + with: + submodules: recursive - uses: gaurav-nelson/github-action-markdown-link-check@v1 with: use-quiet-mode: "yes" From 773f7cf336b6c6f710315158445ff694c9dbf30c Mon Sep 17 00:00:00 2001 From: Feist Josselin Date: Mon, 7 Oct 2024 10:10:32 +0200 Subject: [PATCH 4/4] minor --- SUMMARY.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/SUMMARY.md b/SUMMARY.md index 37cb46a0..dd82aae2 100644 --- a/SUMMARY.md +++ b/SUMMARY.md @@ -106,7 +106,8 @@ - [Exercise 6](./program-analysis/echidna/exercises/Exercise-6.md) - [Exercise 7](./program-analysis/echidna/exercises/Exercise-7.md) - [Exercise 8](./program-analysis/echidna/exercises/Exercise-8.md) - - [Medusa](./program-analysis/medusa/docs/src/README.md) - [Getting Started](./program-analysis/medusa/docs/src/getting_started/installation.md) + - [Medusa](./program-analysis/medusa/docs/src/README.md) + - [Getting Started](./program-analysis/medusa/docs/src/getting_started/installation.md) - [Project Configuration](./program-analysis/medusa/docs/src/project_configuration/overview.md) the vast number of configuration options that can be set up based on your project needs. - [Command Line Interface](./program-analysis/medusa/docs/src/cli/overview.md) @@ -114,6 +115,7 @@ - [API (WIP)](./program-analysis/medusa/docs/src/api/api_overview.md) - [Cheatcodes](./program-analysis/medusa/docs/src/cheatcodes/cheatcodes_overview.md) - [Console Logging](./program-analysis/medusa/docs/src/console_logging.md) + - [Coverage report](./program-analysis/medusa/docs/src/coverage_reports.md) - [FAQ](./program-analysis/medusa/docs/src/faq.md) - [Manticore](./program-analysis/manticore/README.md) - [Introduction to symbolic execution](./program-analysis/manticore/symbolic-execution-introduction.md):