bloqade.analysis.address.impls.PyLen

← Module overview

classPyLen¶source

bloqade.analysis.address.impls.PyLen

Bases: interp.MethodTable

class PyLen

methodlen_¶source

bloqade.analysis.address.impls.PyLen.len_

Signature

def len_(interp_: AddressAnalysis, frame: ForwardFrame[Address], stmt: py.Len)

Parameters

Name	Type	Description
interp_	AddressAnalysis
frame	ForwardFrame[Address]
stmt	py.Len

source