search

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution
http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html
GNU General Public License v3.0
771 stars 137 forks source link

Make the string buffer of _sym_expr_to_string externally allocated #161

Closed rmalmain closed 2 months ago

rmalmain commented 3 months ago

For now, _sym_expr_to_string puts the string in an internal buffer limited to 4096 bytes.

This PR proposes to let the user create the buffer and manage its size externally, to avoid having issues for large-sized expressions.

aurelf commented 3 months ago

Thanks, could you look into the test errors ?

aurelf commented 2 months ago

This needs to be moved to symcc-rt now... Closing, could you please reopen there?