Open suyashmahar opened 3 years ago
Some bitcode files for firefox generate Write too large error.
Write too large
How to reproduce:
stack exec -- sys -c uninit -e prod -d firefox_ll_files/vp9_segmentation.ll-O2_p
Bitcode is available here.
And the error is raised here: https://github.com/PLSysSec/sys/blob/821c4d7cf924e68838c128cbe824be46c9955416/src/Symex/Symex/Memory.hs#L181
Which seems like some kind of arbitrary limit that can be changed? Changing it to 20k fixed the error. I'm not sure if that would break something in Sys.
(Using clang-9 and bleeding edge firefox)
-Suyash
CC @epyeh
Some bitcode files for firefox generate
Write too largeerror.How to reproduce:
Bitcode is available here.
And the error is raised here: https://github.com/PLSysSec/sys/blob/821c4d7cf924e68838c128cbe824be46c9955416/src/Symex/Symex/Memory.hs#L181
Which seems like some kind of arbitrary limit that can be changed? Changing it to 20k fixed the error. I'm not sure if that would break something in Sys.
(Using clang-9 and bleeding edge firefox)
-Suyash
CC @epyeh