Implement VirtualRegister::EffectiveWriteSize and VirtualRegister::PreservesBytesOnWrite for flags and stack pointer registers

Granary / granary2

Dynamic binary translation framework for instrumenting x86-64 user space Linux programs

MIT License

39 stars 5 forks source link

Implement VirtualRegister::EffectiveWriteSize and VirtualRegister::PreservesBytesOnWrite for flags and stack pointer registers #81

Open pgoodman opened 9 years ago

pgoodman commented 9 years ago

Both these registers are currently considered to be KIND_ARCH_FIXED, and therefore are not considered scalable. But this isn't consistent with reality, and as more things are tracked by the SSA tracker, this could turn into a bug! Therefore, this must be dealt with.