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ć <ma...@cs.utah.edu> . University of Utah https://dimjasevic.net/marko . PGP key ID: 1503F0AA Learn email self-defense! https://emailselfdefense.fsf.org
signature.asc
Description: This is a digitally signed message part
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev