[klee-dev] pathcondition for concrete values
leandro.shp at gmail.com
Wed Jun 29 00:09:45 PDT 2011
I'm forwarding this back to the list because it was sent only to me.
---------- Forwarded message ----------
From: Vijay Ganesh <hellovijay at gmail.com>
Date: Wed, Jun 29, 2011 at 4:45 AM
Subject: Re: [klee-dev] pathcondition for concrete values
To: Leandro Sales <leandro.shp at gmail.com>
Generalizing on Leonardo's question:
Have there been extensive experiments using KLEE in the whitebox
fuzzing mode (similar to SAGE), i.e., using a seed set of inputs to
extract paths, and then solving them (typically offline) to explore
branches on these paths? The goal here is to look for deep errors, as
opposed to the typical usage-scenario of coverage.
On Tue, Jun 28, 2011 at 3:21 PM, Leandro Sales <leandro.shp at gmail.com>
> Is there a way to use klee to extract the path condition followed for a
> given input (or file)?
> klee-dev mailing list
> klee-dev at keeda.stanford.edu
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the klee-dev