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
