Looking for the optimal datatype for data flow analysis
Thought I'd post this here because it would be fun. :)
I'm looking for an advanced algorithm for a data type for maintaining the state of both stack and local variables when analyzing a stack-based instruction set format. The idea is each PC is scanned, and for each PC the state of the local and stack variables (by slot) are maintained. Each frame may push or pop multiple items from the stack. Or may alter multiple local variables. Right now I just keep a list of instruction state instances, which does a COW for their stack[] and local[] variable sets. Looking to see if there is anything more efficient.
0 Replies