symless
symless copied to clipboard
Structures members type propagation
This focuses more on the plugin version.
We have the following structure:
struct A {
struct B* field_0;
};
Let's say we use our plugin to propagate struct A
from register rcx
, and we reach this instruction:
mov rdx, [rcx]
rdx
now contains a pointer on struct B
, we should consider this and also propagate struct B
in rdx
.