I'm forwarding this back to the list because it was sent only to me. ---------- Forwarded message ---------- From: Vijay Ganesh <[email protected]> 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>
Hi, 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. Thanks, Vijay Ganesh. On Tue, Jun 28, 2011 at 3:21 PM, Leandro Sales <leandro.shp at gmail.com> wrote: > Hi, > Is there a way to use klee to extract the path condition followed for a > given input (or file)? > thanks, > Leandro > _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev > > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110629/280f671b/attachment.html
