Max Ammann

Not required, but could simplify?

Shortcoming: Implement traces with all extensions to be confident they are sane -> Solution: Keep statistics during fuzzing about fuction symbols which succeed to be evaluated -> Coverage of sucessfully...

There are errors happening during fuzzing. Some are because of FN, SSL or TERM. We only have counters, extend this to a de-duplicated set of errors.

Quite a lot of captabilities (function symbols) just have been implemented by guessing. A lot of parameters are not instantiable

Add a intro to lib.rs

There are Rust crages which create fuzzed versions of structs: * https://github.com/microsoft/lain * https://docs.rs/arbitrary/1.0.1/arbitrary/

https://github.com/maxammann/rustls/compare/clone-message...maxammann:remove-checks Search by `fn read(r: &mut Reader) -> Option