[klee-dev] Implementing support for the Firehose file format

Marko Dimjašević marko at cs.utah.edu
Wed May 11 04:12:23 BST 2016

Dear all,

I would like to implement support for the Firehose reporting file format
in KLEE:


So far I haven't really looked at KLEE's code base, so I am not familiar
with it. If you have any pointers where to start looking where this
would be implemented, that would be highly appreciated.

Marko Dimjašević <marko at cs.utah.edu> .   University of Utah
https://dimjasevic.net/marko         . PGP key ID: 1503F0AA
Learn email self-defense!  https://emailselfdefense.fsf.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20160510/1aff3e6c/attachment.sig>

More information about the klee-dev mailing list