arosch / evmbytecodeanalyzer Goto Github PK

• use stack class and respectively extend/standardize
• remove duplicate implementation for Operation.processStack
• remove cyclic dependencies

• requires merge should check, whether the different stack elements and different stack heights have an impact on the basic block
• idea: calculation push +1 | pop -1 | ... = 0 -> no impact

bitset<256>:

• 0 frequently used
• 256 bit too big to display in uint64_t
• maxuint dummy element?

Reorder of tasks and domain to remove cyclic dependencies

Break condition is possibly too soon.
Stack might still differ for successors of current bb.