search

seahorn / sea-dsa

A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
Other
157 stars 29 forks source link

Question on realloc function. #135

Open seccompgeek opened 3 years ago

seccompgeek commented 3 years ago

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 commented 3 years ago

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.