laundervictim state

gVal

gPtr

gImm

gBuf

init.4

GetVal

GetVal returns g by VALUE (caller gets a copy).

GetPtr

GetPtr returns the pointer to gPtr's underlying Object. The returned pointer aliases the victim's persisted state.

GetValAddr

GetValAddr returns &gVal — a pointer to the value-typed slot. The returned pointer aliases the victim's persisted state.

GetImm

GetImm returns the pointer to gImm — a \*Immutable, which has no mutator method in /p/launderpkg. Victim's intent: callers can read but not write.

GetBuf

GetBuf returns the victim's own byte buffer. The returned slice aliases the victim's persisted backing array (/r/laundervictim-stamped).

ReadVal

ReadVal / ReadPtr / ReadImm / ReadBuf report the current values for after-attack verification.

ReadPtr

ReadImm

ReadBuf

Exploiter

Exploiter is the interface the victim accepts. The attacker supplies an implementation; the victim invokes Something(g) passing its own g. This is the "victim hands attacker the data" vector.

Invoke

Invoke calls the attacker's methods passing the victim's g by both value and by pointer.