How to maintain structure field-sensitivity across functions (in C)?

[TrivikramAT]

Hello!

I am trying to write a simple taint analysis where one member of a structure is tainted and the others take on constant values.
When the pointer to this structure is returned to the caller, the field-specific taint information is lost in the SVFG.

Is there any way to preserve this field sensitivity information?

PS: I am using svf-ex.cpp as a starting point and assuming argc and argv (main arguments) are tainted.