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

[Martin Nowack]

Hi Marko,

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.

Maybe that helps you.

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.

Cheers,
Martin


> On 11 May 2016, at 05:12, Marko Dimjašević <marko at cs.utah.edu> wrote:
> 
> Dear all,
> 
> I would like to implement support for the Firehose reporting file format
> in KLEE:
> 
> https://github.com/fedora-static-analysis/firehose
> 
> 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.
> 
> 
> --
> 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
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev

---------------------------------------------------
Martin Nowack
Research Assistant

Technische Universität Dresden
Computer Science
Institute of Systems Architecture
Systems Engineering
01062 Dresden

Phone: +49 351 463 39608
Email: martin_nowack at tu-dresden.de
----------------------------------------------------

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://mailman.ic.ac.uk/pipermail/klee-dev/attachments/20160519/2bcb6cbb/attachment.sig>