angr.go.typehoon.hints

angr.go.typehoon.hints.collect_call_result_hints(project, graph, variable_map, type_lifter)

Type hints for the results of calls with a Go signature: v = f(...) types v as the result type of f.

Type inference alone loses struct-shaped results (strings, slices, interfaces, tuples) held in register pairs to the default integer type of the same width, so the signature’s word is made binding.

Return type:

dict[int, TypeConstant]

angr.go.typehoon.hints.closure_context_vvars(project, graph)

The vvars that carry the closure context register into function (used, never defined).

Return type:

list[int]

angr.go.typehoon.hints.collect_closure_context_hints(project, function, graph, type_lifter)

Type hints for the closure context register of a closure body whose parent recorded the closure record (kb.go_signatures.closure_context): the undefined context vvars are pointers to that record.

Return type:

dict[int, TypeConstant]