BinHandle of the current binary.

CP core interface.

Default word size of the current analysis.

Executable edges from vid to vid. If there's no element for an edge, that means the edge is not executable.

Executed edges from vid to vid.

Worklist for blocks.

SSA mem values. Only store values of constant addresses. The second set contains addresses changed throughout the analysis (after initialization).

SSA var values.

SSA edges

Worklist for SSA stmt, this stack stores a list of def variables, and we will use SSAEdges to find all related SSA statements.

Uninitialized memory addresses found during CP.