Papers

SMARTIAN: Enhancing Smart Contract Fuzzingwith Static and Dynamic Data-Flow Analyses

listed as: “arbitrary write” (Choi et al., 2021)
from: IEEE
file: PDF

SmartFuzzDriverGen: Smart ContractFuzzing Automation for Golang

listed as: “buffer-overwrite” (Pani et al., 2023)
from: ACM
file: PDF

teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts

listed as: “storage modification” (Krupp and Rossow, 2018)
from: Usenix
talk: Youtube
file: PDF

Securify: Practical Security Analysis of Smart Contracts

listed as: “unrestricted write” (Tsankov et al., 2018)
from: ACM
talk: On ACM page
file: PDF

“SWC-124: Write to Arbitrary Storage Location” (SmartContractSecurity, 2020)

from: SWCregistry