angr.go.optimization_passes.global_types¶

class angr.go.optimization_passes.global_types.GoGlobalTypes¶

Bases: OptimizationPass

Give package-level variables referenced by this function the types the signature sources (DWARF) know for them, and the runtime’s itabs and type descriptors their struct types, pinned as manual types so type inference treats them as ground truth (an itab’s Type word read through go:itab.*T,I is then .Type, not field_8).

ARCHES = None¶

PLATFORMS = None¶

STAGE: OptimizationPassStage = 7¶

NAME = 'Pin Go package-level variable types'¶

__init__(func, manager, **kwargs)¶