[klee-dev] Idea: Klee experiment on Coreutils reimplementation in Rust

[Cristian Cadar]

You should look at the work of Alastair Reid / Google on this topic:
https://project-oak.github.io/rust-verification-tools/2021/07/14/coreutils.html

Best,
Cristian

On 04/06/2022 22:26, gwpublic at wp.pl wrote:
> Klee got famous with coreutils experiments.
> 
> As they reimplement coreutils in Rust, maybe it would be interesting
> to prepare e.g. Dockerfile allowing to repeat experiment but on those:
> https://github.com/uutils/coreutils
> 
> _______________________________________________
> klee-dev mailing list
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev