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

[Marko Dimjašević]

Hi Martin,

On Thu, 2016-05-19 at 15:32 +0200, Martin Nowack wrote:

> I guess you want to collect bugs found,
> in that case maybe hooking into the test generation function might be a good idea:
> 
> https://github.com/klee/klee/blob/master/tools/klee/main.cpp#L419
> void KleeHandler::processTestCase(const ExecutionState &state, const char *errorMessage, const char *errorSuffix)
> 
> This function gets called overtime a new test case is generated.

Thank you for the pointer! I'll start with that function and see how to
proceed from there.


> Another issue, which might be interesting for you is:
> https://github.com/klee/klee/issues/393
> So maybe you can get involved into the discussion as well.

I'm aiming for the Firehose XML format here because I want to integrate
KLEE into Debile, which is a software package analysis infrastructure
for Debian. Debile expects analysis tools to produce results in the
Firehose format.


-- 
Regards,
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/20160520/54cbe5cc/attachment.sig>