Есть много отладчиков EThereum.Но большинство из них не в состоянии выполнить символическую отладку: для этого необходимо понять связи между кодами операций и строками источника, а также стеком / памятью и переменными.
Я не эксперт по EVM.Как отладить строку по линии целостности и отслеживать содержимое переменной по имени?
Это будет для отладки транзакций с развернутыми контрактами в mainet.