github.com/akwick/gotcha @main

Latticer describes the lattice interface. A lattice contains ssa.Values which points to a Valuer [1 implementers]

VcIdentifier provides all the necessary methods to compare two value contexts [1 implementers]

Semanticer is an interface for a transfer function A transfer function describes the change in a Lattice caused by an ex [1 …

Pter describes the methods a pointer lattice needs [1 implementers]

(no doc) [1 implementers]

PlainFF describes a plain flow function without any connection to an instruction.

Valuer defines the methods of a value inside a Latticer

called by 62

called by 50

called by 40

called by 40

called by 38

called by 36

called by 32

called by 30