Inquiry About Buffer Bound Tracking

[Ryuanxue]

Hello,

I hope this message finds you well. I am currently using your tool in my research and have learned that the tool seems to rely on manually annotating the memory size that a pointer references. I am curious to know whether, for original C code, this tool can automatically retrieve the base and bound information of the buffer pointed to by a pointer. If this is possible, could you please provide detailed instructions on how to achieve this?

Thank you very much for your time, and I look forward to your response.

Best regards,
xue rao