Dear KLEE developers, Can anyone comment on what's the connection between the POSIX runtime in KLEE and in Cloud9?
As mentioned in a paper on Cloud9: http://doi.acm.org/10.1145/1966445.1966463 Cloud9 builds on KLEE. Have some or all POSIX features from Cloud9 been back-ported to KLEE? The paper was published in 2011 so I'm trying to understand the timeline of how KLEE and Cloud9 developed. For example, the paper mentions that unlike KLEE, Cloud9 supports network and pipe parts of POSIX. My hunch is those features haven't been ported back to KLEE, yet Cloud9 seems to be an outdated project, at least according to a commit history of its Git repository: https://github.com/dslab-epfl/cloud9 It would be nice to have these features in KLEE, but probably no one found time, energy, motivation, or all of it to make it happen. -- Regards, Marko Dimjašević <[email protected]> . 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 [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
