angr.go.analysesΒΆ

Submodules

block_scan

Raw-AIL block scanning shared by the project-level Go analyses: lift blocks straight from VEX (no SSA, no simplification) and track which constants and call results the machine registers hold.

dwarf_signatures

Read Go function signatures and named types from the DWARF that cmd/compile/cmd/link emit.

go_globals_recovery

package_variables

Type package-level variables from their initializers.

runtime_globals

Locate the Go runtime's own package-level variables by shape when no data symbol names them:

type_descriptors

Read Go runtime type descriptors (internal/abi.Type) and itabs out of a binary's runtime.moduledata.