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ć <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