An extension of KLEE that supports memory objects whose size is symbolic. For more details, read this paper: https://davidtr1037.github.io/files/fse21main-p547-p-3b9f16ea68-52971-final.pdf

Source Code

The source code is available here: https://github.com/davidtr1037/klee-symsize.

Replication Package

The replication package is available here: https://doi.org/10.6084/m9.figshare.14724453