bloqade.analysis.address.impls.Cf

← Module overview

classCf¶source

bloqade.analysis.address.impls.Cf

Bases: interp.MethodTable

class Cf

methodbranch¶source

bloqade.analysis.address.impls.Cf.branch

Signature

def branch(interp_: AddressAnalysis, frame: ForwardFrame[Address], stmt: cf.Branch)

Parameters

Name	Type	Description
interp_	AddressAnalysis
frame	ForwardFrame[Address]
stmt	cf.Branch

source

methodconditional_branch¶source

bloqade.analysis.address.impls.Cf.conditional_branch

Signature

def conditional_branch(interp_: const.Propagate, frame: ForwardFrame[Address], stmt: cf.ConditionalBranch)

Parameters

Name	Type	Description
interp_	const.Propagate
frame	ForwardFrame[Address]
stmt	cf.ConditionalBranch

source