feat: allow disabling account checks so contract's can be pranked

chain/config/config.go

@@ -14,6 +14,9 @@ type TestChainConfig struct {
 	// CheatCodeConfig indicates the configuration for EVM cheat codes to use.
 	CheatCodeConfig CheatCodeConfig `json:"cheatCodes"`
 
+	// SkipAccountChecks skips account pre-checks like nonce validation and disallowing non-EOA tx senders (this is done in eth_call, for instance).
+	SkipAccountChecks bool `json:"skipAccountChecks"`
+
 	// ContractAddressOverrides describes contracts that are going to be deployed at deterministic addresses
 	ContractAddressOverrides map[common.Hash]common.Address `json:"contractAddressOverrides,omitempty"`
 }

chain/config/config_defaults.go

@@ -10,6 +10,7 @@ func DefaultTestChainConfig() (*TestChainConfig, error) {
 			CheatCodesEnabled: true,
 			EnableFFI:         false,
 		},
+		SkipAccountChecks: true,
 	}
 
 	// Return the generated configuration.

docs/src/project_configuration/chain_config.md

@@ -9,6 +9,12 @@ The chain configuration defines the parameters for setting up `medusa`'s underly
 - > 🚩 Setting `codeSizeCheckDisabled` to `false` is not recommended since it complicates the fuzz testing process.
 - **Default**: `true`
 
+### `skipAccountChecks`
+
+- **Type**: Boolean
+- **Description**: If `true`, account-related checks (nonce validation, transaction origin must be an EOA) are disabled in `go-ethereum`.
+- **Default**: `true`
+
 ## Cheatcode Configuration
 
 ### `cheatCodesEnabled`

docs/src/static/medusa.json

@@ -1,72 +1,85 @@
 {
-  "fuzzing": {
-    "workers": 10,
-    "workerResetLimit": 50,
-    "timeout": 0,
-    "testLimit": 0,
-    "callSequenceLength": 100,
-    "corpusDirectory": "",
-    "coverageEnabled": true,
-    "targetContracts": [],
-    "targetContractsBalances": [],
-    "constructorArgs": {},
-    "deployerAddress": "0x30000",
-    "senderAddresses": ["0x10000", "0x20000", "0x30000"],
-    "blockNumberDelayMax": 60480,
-    "blockTimestampDelayMax": 604800,
-    "blockGasLimit": 125000000,
-    "transactionGasLimit": 12500000,
-    "testing": {
-      "stopOnFailedTest": true,
-      "stopOnFailedContractMatching": false,
-      "stopOnNoTests": true,
-      "testAllContracts": false,
-      "traceAll": false,
-      "assertionTesting": {
-        "enabled": true,
-        "testViewMethods": false,
-        "panicCodeConfig": {
-          "failOnCompilerInsertedPanic": false,
-          "failOnAssertion": true,
-          "failOnArithmeticUnderflow": false,
-          "failOnDivideByZero": false,
-          "failOnEnumTypeConversionOutOfBounds": false,
-          "failOnIncorrectStorageAccess": false,
-          "failOnPopEmptyArray": false,
-          "failOnOutOfBoundsArrayAccess": false,
-          "failOnAllocateTooMuchMemory": false,
-          "failOnCallUninitializedVariable": false
-        }
-      },
-      "propertyTesting": {
-        "enabled": true,
-        "testPrefixes": ["property_"]
-      },
-      "optimizationTesting": {
-        "enabled": true,
-        "testPrefixes": ["optimize_"]
-      }
-    },
-    "chainConfig": {
-      "codeSizeCheckDisabled": true,
-      "cheatCodes": {
-        "cheatCodesEnabled": true,
-        "enableFFI": false
-      }
-    }
-  },
-  "compilation": {
-    "platform": "crytic-compile",
-    "platformConfig": {
-      "target": ".",
-      "solcVersion": "",
-      "exportDirectory": "",
-      "args": []
-    }
-  },
-  "logging": {
-    "level": "info",
-    "logDirectory": "",
-    "noColor": false
-  }
-}
+	"fuzzing": {
+		"workers": 10,
+		"workerResetLimit": 50,
+		"timeout": 0,
+		"testLimit": 0,
+		"shrinkLimit": 5000,
+		"callSequenceLength": 100,
+		"corpusDirectory": "",
+		"coverageEnabled": true,
+		"targetContracts": [],
+		"predeployedContracts": {},
+		"targetContractsBalances": [],
+		"constructorArgs": {},
+		"deployerAddress": "0x30000",
+		"senderAddresses": [
+			"0x10000",
+			"0x20000",
+			"0x30000"
+		],
+		"blockNumberDelayMax": 60480,
+		"blockTimestampDelayMax": 604800,
+		"blockGasLimit": 125000000,
+		"transactionGasLimit": 12500000,
+		"testing": {
+			"stopOnFailedTest": true,
+			"stopOnFailedContractMatching": false,
+			"stopOnNoTests": true,
+			"testAllContracts": false,
+			"traceAll": false,
+			"assertionTesting": {
+				"enabled": true,
+				"testViewMethods": false,
+				"panicCodeConfig": {
+					"failOnCompilerInsertedPanic": false,
+					"failOnAssertion": true,
+					"failOnArithmeticUnderflow": false,
+					"failOnDivideByZero": false,
+					"failOnEnumTypeConversionOutOfBounds": false,
+					"failOnIncorrectStorageAccess": false,
+					"failOnPopEmptyArray": false,
+					"failOnOutOfBoundsArrayAccess": false,
+					"failOnAllocateTooMuchMemory": false,
+					"failOnCallUninitializedVariable": false
+				}
+			},
+			"propertyTesting": {
+				"enabled": true,
+				"testPrefixes": [
+					"property_"
+				]
+			},
+			"optimizationTesting": {
+				"enabled": true,
+				"testPrefixes": [
+					"optimize_"
+				]
+			},
+			"targetFunctionSignatures": [],
+			"excludeFunctionSignatures": []
+		},
+		"chainConfig": {
+			"codeSizeCheckDisabled": true,
+			"cheatCodes": {
+				"cheatCodesEnabled": true,
+				"enableFFI": false
+			},
+			"skipAccountChecks": true
+		}
+	},
+	"compilation": {
+		"platform": "crytic-compile",
+		"platformConfig": {
+			"target": ".",
+			"solcVersion": "",
+			"exportDirectory": "",
+			"args": []
+		}
+	},
+	"logging": {
+		"level": "info",
+		"logDirectory": "",
+		"noColor": false
+	}
+}

fuzzing/fuzzer_worker_sequence_generator.go

@@ -321,6 +321,10 @@ func (g *CallSequenceGenerator) generateNewElement() (*calls.CallSequenceElement
 		InputValues: args,
 	})
 
+	if g.worker.fuzzer.config.Fuzzing.TestChainConfig.SkipAccountChecks {
+		msg.SkipAccountChecks = true
+	}
+
 	// Determine our delay values for this element
 	blockNumberDelay := uint64(0)
 	blockTimestampDelay := uint64(0)