├── .gitignore ├── .gitmodules ├── LICENSE ├── README.md ├── echidna-config.yaml ├── foundry.toml ├── medusa.json ├── remappings.txt └── test └── fuzzing ├── Fuzz.sol ├── FuzzSetup.sol ├── helper ├── BeforeAfter.sol ├── FuzzStorageVariables.sol ├── handlers │ └── HandlerDummy.sol ├── postconditions │ ├── PostconditionsBase.sol │ └── PostconditionsDummy.sol └── preconditions │ ├── PreconditionsBase.sol │ └── PreconditionsDummy.sol ├── properties ├── Properties.sol ├── PropertiesBase.sol ├── PropertiesDescriptions.sol └── Properties_DUMMY.sol └── util ├── FunctionCalls.sol └── FuzzConstants.sol /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/README.md -------------------------------------------------------------------------------- /echidna-config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/echidna-config.yaml -------------------------------------------------------------------------------- /foundry.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/foundry.toml -------------------------------------------------------------------------------- /medusa.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/medusa.json -------------------------------------------------------------------------------- /remappings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/remappings.txt -------------------------------------------------------------------------------- /test/fuzzing/Fuzz.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/Fuzz.sol -------------------------------------------------------------------------------- /test/fuzzing/FuzzSetup.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/FuzzSetup.sol -------------------------------------------------------------------------------- /test/fuzzing/helper/BeforeAfter.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/helper/BeforeAfter.sol -------------------------------------------------------------------------------- /test/fuzzing/helper/FuzzStorageVariables.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/helper/FuzzStorageVariables.sol -------------------------------------------------------------------------------- /test/fuzzing/helper/handlers/HandlerDummy.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/helper/handlers/HandlerDummy.sol -------------------------------------------------------------------------------- /test/fuzzing/helper/postconditions/PostconditionsBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/helper/postconditions/PostconditionsBase.sol -------------------------------------------------------------------------------- /test/fuzzing/helper/postconditions/PostconditionsDummy.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/helper/postconditions/PostconditionsDummy.sol -------------------------------------------------------------------------------- /test/fuzzing/helper/preconditions/PreconditionsBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/helper/preconditions/PreconditionsBase.sol -------------------------------------------------------------------------------- /test/fuzzing/helper/preconditions/PreconditionsDummy.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/helper/preconditions/PreconditionsDummy.sol -------------------------------------------------------------------------------- /test/fuzzing/properties/Properties.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/properties/Properties.sol -------------------------------------------------------------------------------- /test/fuzzing/properties/PropertiesBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/properties/PropertiesBase.sol -------------------------------------------------------------------------------- /test/fuzzing/properties/PropertiesDescriptions.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/properties/PropertiesDescriptions.sol -------------------------------------------------------------------------------- /test/fuzzing/properties/Properties_DUMMY.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/properties/Properties_DUMMY.sol -------------------------------------------------------------------------------- /test/fuzzing/util/FunctionCalls.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/util/FunctionCalls.sol -------------------------------------------------------------------------------- /test/fuzzing/util/FuzzConstants.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/perimetersec/arachne/HEAD/test/fuzzing/util/FuzzConstants.sol --------------------------------------------------------------------------------