updating medusa submodule and summary.md

crytic · Feb 5, 2025 · bf81031 · bf81031
1 parent 49b399d
commit bf81031
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/SUMMARY.md b/SUMMARY.md
@@ -118,6 +118,7 @@
       - [Testing Configuration](./program-analysis/medusa/docs/src/project_configuration/testing_config.md)
       - [Chain Configuration](./program-analysis/medusa/docs/src/project_configuration/chain_config.md)
       - [Compilation Configuration](./program-analysis/medusa/docs/src/project_configuration/compilation_config.md)
+      - [Slither Configuration](./program-analysis/medusa/docs/src/project_configuration/slither_config.md)
       - [Logging Configuration](./program-analysis/medusa/docs/src/project_configuration/logging_config.md)
     - [CLI Overview](./program-analysis/medusa/docs/src/cli/overview.md)
       - [init](./program-analysis/medusa/docs/src/cli/init.md)
@@ -135,6 +136,7 @@
       - [roll](./program-analysis/medusa/docs/src/cheatcodes/roll.md)
       - [fee](./program-analysis/medusa/docs/src/cheatcodes/fee.md)
       - [difficulty](./program-analysis/medusa/docs/src/cheatcodes/difficulty.md)
+      - [prevrandao](./program-analysis/medusa/docs/src/cheatcodes/prevrandao.md)
       - [chainId](./program-analysis/medusa/docs/src/cheatcodes/chain_id.md)
       - [store](./program-analysis/medusa/docs/src/cheatcodes/store.md)
       - [load](./program-analysis/medusa/docs/src/cheatcodes/load.md)

diff --git a/program-analysis/medusa b/program-analysis/medusa
+2 −0		.envrc
+5 −5		.github/workflows/ci.yml
+56 −0		.github/workflows/docker.yml
+7 −2		.gitignore
+0 −0		.gitmodules
+1 −1		CODEOWNERS
+10 −0		CONTRIBUTING.md
+53 −0		Dockerfile
+1 −1		README.md
+2 −1		chain/block_context.go
+11 −0		chain/config/config.go
+6 −0		chain/config/config_defaults.go
+124 −37		chain/standard_cheat_code_contract.go
+177 −0		chain/state/cache/caches_test.go
+26 −0		chain/state/cache/factory.go
+67 −0		chain/state/cache/non_persistent_cache.go
+238 −0		chain/state/cache/persistent_cache.go
+21 −0		chain/state/cache/types.go
+19 −0		chain/state/empty_backend.go
+58 −0		chain/state/factories.go
+246 −0		chain/state/factories_test.go
+149 −0		chain/state/fixtures_test.go
+244 −0		chain/state/remote_state_provider.go
+154 −0		chain/state/remote_state_provider_test.go
+124 −0		chain/state/rpc/client_pool.go
+64 −0		chain/state/rpc/structs.go
+173 −0		chain/state/rpc_backend.go
+166 −228		chain/test_chain.go
+6 −22		chain/test_chain_test.go
+33 −0		chain/types/base_block_context.go
+14 −2		chain/types/block.go
+32 −0		chain/types/medusa_statedb.go
+7 −7		chain/vendored/apply_transaction.go
+3 −3		cmd/fuzz.go
+82 −2		cmd/fuzz_flags.go
+3 −2		cmd/root.go
+1 −1		compilation/abiutils/solidity_errors.go
+251 −0		compilation/types/slither.go
+2 −0		docs/src/SUMMARY.md
+4 −1		docs/src/cheatcodes/cheatcodes_overview.md
+2 −15		docs/src/cheatcodes/difficulty.md
+22 −0		docs/src/cheatcodes/prevrandao.md
+42 −0		docs/src/cli/fuzz.md
+0 −44		docs/src/coverage_reports.md
+21 −0		docs/src/getting_started/installation.md
+30 −1		docs/src/project_configuration/chain_config.md
+1 −0		docs/src/project_configuration/compilation_config.md
+9 −1		docs/src/project_configuration/fuzzing_config.md
+3 −1		docs/src/project_configuration/overview.md
+37 −0		docs/src/project_configuration/slither_config.md
+13 −1		docs/src/static/medusa.json
+42 −0		docs/src/testing/coverage_reports.md
+130 −0		flake.lock
+66 −0		flake.nix
+25 −2		fuzzing/calls/call_sequence.go
+1 −1		fuzzing/calls/call_sequence_execution.go
+4 −0		fuzzing/config/config.go
+8 −0		fuzzing/config/config_defaults.go
+25 −9		fuzzing/corpus/corpus.go
+10 −3		fuzzing/coverage/coverage_maps.go
+1 −1		fuzzing/coverage/coverage_tracer.go
+193 −62		fuzzing/coverage/report_template.gohtml
+29 −10		fuzzing/executiontracer/execution_trace.go
+15 −12		fuzzing/executiontracer/execution_tracer.go
+77 −19		fuzzing/fuzzer.go
+5 −0		fuzzing/fuzzer_hooks.go
+128 −3		fuzzing/fuzzer_test.go
+123 −57		fuzzing/fuzzer_worker.go
+11 −0		fuzzing/fuzzer_worker_events.go
+2 −2		fuzzing/fuzzer_worker_sequence_generator.go
+2 −0		fuzzing/test_case_assertion_provider.go
+33 −12		fuzzing/test_case_optimization.go
+54 −30		fuzzing/test_case_optimization_provider.go
+2 −0		fuzzing/test_case_property_provider.go
+49 −0		fuzzing/testdata/contracts/cheat_codes/utils/label.sol
+20 −0		fuzzing/testdata/contracts/cheat_codes/vm/coinbase_permanent.sol
+5 −5		fuzzing/testdata/contracts/cheat_codes/vm/difficulty.sol
+20 −0		fuzzing/testdata/contracts/cheat_codes/vm/fee_permanent.sol
+17 −0		fuzzing/testdata/contracts/cheat_codes/vm/prevrandao.sol
+21 −0		fuzzing/testdata/contracts/cheat_codes/vm/roll_permanent.sol
+4 −3		fuzzing/testdata/contracts/cheat_codes/vm/warp.sol
+23 −0		fuzzing/testdata/contracts/cheat_codes/vm/warp_permanent.sol
+18 −0		fuzzing/testdata/contracts/slither/slither.sol
+16 −2		fuzzing/valuegeneration/abi_values.go
+31 −12		fuzzing/valuegeneration/generator_mutational.go
+51 −0		fuzzing/valuegeneration/value_set.go
+39 −0		fuzzing/valuegeneration/value_set_from_slither.go
+7 −6		go.mod
+14 −12		go.sum
+26 −1		utils/address_utils.go