gas dimension tracing: debug issues with access list tracer

Author: relyt29

eth/tracers/logger/access_list_tracer.go

@@ -17,6 +17,7 @@
 package logger
 
 import (
+	"fmt"
 	"maps"
 
 	"github.com/ethereum/go-ethereum/common"
@@ -116,6 +117,7 @@ type AccessListTracer struct {
 // An optional AccessList can be specified to occupy slots and addresses in
 // the resulting accesslist.
 func NewAccessListTracer(acl types.AccessList, addressesToExclude map[common.Address]struct{}) *AccessListTracer {
+	fmt.Println("new access list tracer", acl, addressesToExclude)
 	list := newAccessList()
 	for _, al := range acl {
 		if _, ok := addressesToExclude[al.Address]; !ok {
@@ -144,17 +146,20 @@ func (a *AccessListTracer) OnOpcode(pc uint64, opcode byte, gas, cost uint64, sc
 	op := vm.OpCode(opcode)
 	if (op == vm.SLOAD || op == vm.SSTORE) && stackLen >= 1 {
 		slot := common.Hash(stackData[stackLen-1].Bytes32())
+		fmt.Println("adding slot to access list tracer", slot, scope.Address())
 		a.list.addSlot(scope.Address(), slot)
 	}
 	if (op == vm.EXTCODECOPY || op == vm.EXTCODEHASH || op == vm.EXTCODESIZE || op == vm.BALANCE || op == vm.SELFDESTRUCT) && stackLen >= 1 {
 		addr := common.Address(stackData[stackLen-1].Bytes20())
 		if _, ok := a.excl[addr]; !ok {
+			fmt.Println("adding norm address to access list tracer", addr)
 			a.list.addAddress(addr)
 		}
 	}
 	if (op == vm.DELEGATECALL || op == vm.CALL || op == vm.STATICCALL || op == vm.CALLCODE) && stackLen >= 5 {
 		addr := common.Address(stackData[stackLen-2].Bytes20())
 		if _, ok := a.excl[addr]; !ok {
+			fmt.Println("adding call address to access list tracer", addr)
 			a.list.addAddress(addr)
 		}
 	}

eth/tracers/native/base_gas_dimension_tracer.go

@@ -85,13 +85,12 @@ func NewBaseGasDimensionTracer(cfg json.RawMessage, chainConfig *params.ChainCon
 		}
 		debug = config.Debug
 	}
-	accessListTracer := logger.NewAccessListTracer(types.AccessList{}, map[common.Address]struct{}{})
 	return &BaseGasDimensionTracer{
 		debug:                       debug,
 		chainConfig:                 chainConfig,
 		depth:                       1,
 		refundAccumulated:           0,
-		accessListTracer:            accessListTracer,
+		accessListTracer:            nil,
 		env:                         nil,
 		txHash:                      common.Hash{},
 		gasUsed:                     0,
@@ -301,6 +300,16 @@ func (t *BaseGasDimensionTracer) OnTxStart(env *tracing.VMContext, tx *types.Tra
 		t.rootIsPrecompile = slices.Contains(precompileAddressList, *tx.To())
 		t.rootIsStylus = isStylusContract(t, *tx.To())
 	}
+	// addressesToExclude is supposed to contain sender, receiver, precompiles and valid authorizations
+	addressesToExclude := map[common.Address]struct{}{from: {}, *tx.To(): {}}
+	for _, addr := range precompileAddressList {
+		addressesToExclude[addr] = struct{}{}
+	}
+	addressesToExclude[from] = struct{}{}
+	if tx.To() != nil {
+		addressesToExclude[*tx.To()] = struct{}{}
+	}
+	t.accessListTracer = logger.NewAccessListTracer(tx.AccessList(), addressesToExclude)
 }
 
 // OnTxEnd handles transaction end