[SloopJon]

Interesting choices:

   * https://wiki.debian.org/ReproducibleBuilds
   * https://fuzzing-project.org/
   * http://trust-in-soft.com/tis-interpreter

Regarding the TIS Interpreter, I hope it is a useful tool in its own right, rather than acting as an advertisement for other TIS products and services.

Edit: updated TIS link per the reply.

[pascal_cuoq]

A better link for tis-interpreter is http://trust-in-soft.com/tis-interpreter/

I was going to advertise it more at some point, but I just announced it here and already we are saturated with new OpenSSL tests that the interpreter cannot digest yet: https://www.mail-archive.com/[e-mail]/msg3930...

My personal trajectory would make no sense if tis-interpreter ended up as an advertisement. It may end up helping convince the general population that it's possible to detect all practical undefined behavior in a useful C program, by giving everyone access to a piece of software that does it along one execution. Then TrustInSoft will only be asking its more dubitative prospects that its other products can do it for all possible input vectors, instead of just one. I'm not even claiming this is an unintended consequence. But tis-interpreter will be a self-contained, useful product for the largest number. You have my word.

[SloopJon]

Thanks for commenting, and congratulations on the grant. Looking forward to the release.