<div dir="ltr">Hi all,<div><br></div><div>I am doing an information flow project in LLVM, and I need to do some annotations to start computing the data flow. </div><div><br></div><div>Typically, if I want to annotate a FILE* fp, I can take the following way:</div><div><br></div><div>FILE* <b>__attribute__</b>((annotate("my_annotation"))) fp;<br></div><div><br></div><div>and then analyze some @llvm.annotations instructions to capture the information flow.</div><div><br></div><div>However, if I want to do some further annotation like annotating the file that fp points to rather than annotating the FILE pointer only, is there a way(with <b>__attribute__ </b>grammar) to do that? For some simple types like int, float I can simply compute the data flow from the pointer to pointee, but for some complex types like FILE* I have no good idea now.</div><div><br></div><div>Any hints on that are welcome, thank you very much!</div><div><br></div><div><br></div><div>Best regards,</div><div><br></div><div>Shen</div><div><br></div><div><br></div></div>