Hi Bowen,
I think the rationale was that KLEE is likely to run into memory and/or
constraint solving issues for very large memory objects. However, I
don't see any point to have an early abort there, so I will change the
code to only emit a warning.
Thanks,
Cristian
On 14/11/12 22:34, Bowen Zhou wrote:
> Hello,
>
> When I was testing an application, KLEE failed with message "KLEE:
> WARNING: failing large alloc: 16000000 bytes". I found the following
> code in MemoryManager.cpp that prevents allocation greater than
> 10*1024*1024. What is the reason for setting this restriction?
>
> MemoryObject *MemoryManager::allocate(uint64_t size, bool isLocal,
> bool isGlobal,
> const llvm::Value *allocSite) {
> if (size>10*1024*1024) {
> klee_warning_once(0, "failing large alloc: %u bytes", (unsigned) size);
> return 0;
> }
>
> Cheers,
> Bowen Zhou
> _______________________________________________
> klee-dev mailing list
> [email protected]
> http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
