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
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