[klee-dev] KLEE fork failed

[Cristian Cadar]

Hi Sicco,

As the message says, this happens when the system runs out of memory.  I 
assume this happens after KLEE runs for a while.  You could try running 
things with DFS (--search=dfs), which is less memory hungry.

Best,
Cristian

On 27/03/18 08:45, Sicco Verwer wrote:
> 
> Dear all,
> 
> I am trying to run KLEE in my class on concolic execution. Some student get the following message after which KLEE quits, and I cannot seem to find the cause, or solution. Does anyone know?
> 
> “KLEE: WARNING: fork failed (for STP) - Cannot allocate memory”
> 
> Thanks and all the best,
> Sicco Verwer
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>