Question on realloc function.

[seccompgeek]

Hi,
I realize handling the realloc function has been commented out. I was wondering whether there's a specific reason or should I just go ahead and uncomment it?

Thanks a lot in advance.

[agurfinkel]

I am not sure what exactly you are referring to.

SeaDsa provides a generic way to provide specifications to external functions. We provide such specification to realloc.
It is not well tested though since we usually stub realloc with a custom implementation prior to analysis.