symless
symless copied to clipboard
Missing xref on structure fields after conflict resolution
Let's say we have two classes A
& B
, with B
inheriting A
. Symless has propagated A
& B
into the same function: A:A()
(A
constructor).
After conflict resolution A
members should be applied to the corresponding offset operands in A:A()
. This will create xrefs on members of A
, but the corresponding members in B
will not have their xrefs. This does not allow to know where these B
members are used.
A solution would be to add custom xrefs on those B
members. After this every structures fields should have at least one xref, or the field is a padding field.