Merge pull request #373 from crytic/re-enable-medusa

Re enable medusa
crytic · Oct 7, 2024 · dfc510c · dfc510c
2 parents c3febc7 + 773f7cf
commit dfc510c
Show file tree

Hide file tree

Showing 4 changed files with 15 additions and 1 deletion.
diff --git 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"

diff --git 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
@@ -106,6 +106,17 @@
       - [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)
+    - [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):
     - [Running under Manticore](./program-analysis/manticore/running-under-manticore.md)

diff --git a/program-analysis/medusa b/program-analysis/medusa
+12 −6		.github/workflows/ci.yml
+1 −1		CODEOWNERS
+1 −1		CONTRIBUTING.md
+104 −0		DEV.md
+18 −1		README.md
+78 −64		chain/cheat_code_tracer.go
+16 −3		chain/config/config.go
+1 −0		chain/config/config_defaults.go
+2 −1		chain/console_log_cheat_code_contract.go
+45 −47		chain/standard_cheat_code_contract.go
+132 −78		chain/test_chain.go
+71 −85		chain/test_chain_deployments_tracer.go
+9 −9		chain/test_chain_test.go
+78 −49		chain/test_chain_tracer.go
+0 −2		chain/types/message_results.go
+26 −4		chain/vendored/apply_transaction.go
+9 −3		cmd/fuzz.go
+19 −1		cmd/init.go
+1 −1		cmd/root.go
+6 −4		compilation/abiutils/solidity_errors.go
+41 −12		compilation/platforms/crytic_compile.go
+22 −21		compilation/platforms/crytic_compile_test.go
+36 −18		compilation/platforms/solc.go
+204 −0		compilation/types/ast.go
+8 −18		compilation/types/compilation.go
+5 −2		compilation/types/compiled_contract.go
+5 −2		compilation/types/compiled_source.go
+6 −5		compilation/types/source_maps.go
+42 −1		docs/src/coverage_reports.md
+6 −0		docs/src/project_configuration/chain_config.md
+14 −0		docs/src/project_configuration/fuzzing_config.md
+1 −1		docs/src/project_configuration/overview.md
+15 −3		docs/src/project_configuration/testing_config.md
+7 −2		docs/src/static/medusa.json
+5 −5		docs/src/testing/writing-tests.md
+21 −1		fuzzing/calls/call_message.go
+2 −7		fuzzing/calls/call_sequence.go
+41 −3		fuzzing/calls/call_sequence_execution.go
+78 −6		fuzzing/config/config.go
+6 −1		fuzzing/config/config_defaults.go
+18 −0		fuzzing/config/gen_fuzzing_config.go
+41 −0		fuzzing/contracts/contract.go
+106 −63		fuzzing/corpus/corpus.go
+9 −9		fuzzing/corpus/corpus_test.go
+65 −25		fuzzing/coverage/coverage_maps.go
+89 −60		fuzzing/coverage/coverage_tracer.go
+33 −30		fuzzing/coverage/report_generation.go
+2 −2		fuzzing/coverage/report_template.gohtml
+157 −39		fuzzing/coverage/source_analysis.go
+2 −1		fuzzing/executiontracer/execution_trace.go
+83 −67		fuzzing/executiontracer/execution_tracer.go
+174 −47		fuzzing/fuzzer.go
+5 −4		fuzzing/fuzzer_hooks.go
+28 −3		fuzzing/fuzzer_metrics.go
+88 −6		fuzzing/fuzzer_test.go
+1 −1		fuzzing/fuzzer_test_methods_test.go
+32 −22		fuzzing/fuzzer_worker.go
+28 −6		fuzzing/fuzzer_worker_sequence_generator.go
+9 −29		fuzzing/test_case_assertion_provider.go
+11 −8		fuzzing/test_case_optimization.go
+8 −14		fuzzing/test_case_optimization_provider.go
+6 −13		fuzzing/test_case_property_provider.go
+148 −0		fuzzing/testdata/contracts/assertions/assert_constant_method.sol
+7 −0		fuzzing/testdata/contracts/deployments/deploy_payable_constructors.sol
+15 −0		fuzzing/testdata/contracts/deployments/predeploy_contract.sol
+35 −0		fuzzing/testdata/contracts/filtering/target_and_exclude.sol
+22 −4		fuzzing/utils/fuzz_method_utils.go
+60 −42		go.mod
+140 −333		go.sum
+3 −2		logging/logger_test.go
+63 −0		scripts/corpus_diff.py
+57 −0		scripts/corpus_stats.py
+29 −0		utils/fs_utils.go